OAR@UM: Browsing OAR@UM

Browsing by Subject Computer software -- Verification

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 21 to 40 of 132 < previous next >

Issue Date	Title	Author(s)
2020	Developing theoretical foundations for runtime enforcement	Cassar, Ian (2020)
2016	Device-centric monitoring for mobile device management	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2011	Distributed and highly available key value stores : analysis and variations	Mangion, Andy (2011)
2016	Do exploratory testers need formal training? An investigation using HCI techniques	Micallef, Mark; Porter, Chris; Borg, Andrea
2017	A domain specific language integrating testing and runtime verification	Attard, Natasha
2011	Driver fatigue monitoring system	Sacco, Matthew (2011)
2010	Dynamic automata in LARVA	Cassar, John Paul (2010)
2013	An Eclipse plug-in for polyLARVA	Chetcuti, Silvan (2013)
2011	Elarva : runtime verification for message passing concurrency	Gatt, Rudolph (2011)
2010	Enterprise API support tool	Sultana, Kurt (2010)
2018	Expressing runtime verification properties using regular expression in LARVA	Chatlani, Avinash
2014	Extending detectEr, a runtime verification tool for Erlang	Said, Simon (2014)
2015	Extracting runtime monitors from Gherkin specifications	Spiteri, Keith
2013	Facilitating and extending software testing through monitoring techniques	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2012	Fast-forward runtime monitoring - an industrial case study	Colombo, Christian; Pace, Gordon J.
2019	First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014	Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; Colombo, Christian; Decker, Normann; Havelund, Klaus; Joshi, Yogi; Klaedtke, Felix; Milewicz, Reed; Reger, Giles; Rosu, Grigore; Signoles, Julien; Thoma, Daniel; Zalinescu, Eugen; Zhang, Yi
2018	A framework for parameterized monitorability	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2021	Graft : general purpose raft consensus in Elixir	Le Brun, Matthew Alan; Attard, Duncan Paul; Francalanza, Adrian
2010	How audit software helps to achieve quality in auditing	Vella, Angele
2015	Improving runtime overheads for detectEr	Cassar, Ian; Francalanza, Adrian; Said, Simon

Showing results 21 to 40 of 132 < previous next >