OAR@UM: Browsing OAR@UM

Browsing by Subject Computer programs -- 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 1 to 20 of 57 next >

Issue Date	Title	Author(s)
2014	Applying runtime verification techniques to an enterprise service bus	Dimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2013-10	Applying runtime verification techniques to enterprise service bus architectures	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2003	An asynchronous interaction mechanism between the kernel and the user application	Sant, Ian (2003)
2005	Automatic tune search	Briffa, Caroline (2005)
2016	Automatically generating runtime monitors from tests	Cauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2003	Calculating τ-confluence compositionally	Pace, Gordon J.; Lang, Frederic; Mateescu, Radu
2012-11	Combining testing and runtime verification	Colombo, Christian
2012	Combining testing and runtime verification techniques	Falzon, Kevin; Pace, Gordon J.
2021	Comparing controlled system synthesis and suppression enforcement	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2014	Compiling compensating automata	Borg, Dylan (2014)
2018	Contracts over smart contracts : recovering from violations dynamically	Colombo, Christian; Ellul, Joshua; Pace, Gordon J.
2004	Counter-example generation in symbolic abstract model-checking	Pace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal
2005	Describing and verifying FFT circuits using SharpHDL	Pace, Gordon J.; Vella, Christine
2012-11	Designing correct runtime-monitors for Erlang	Seychell, Aldrin; Francalanza, Adrian
2015	Device centric monitoring on mobile devices	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2010	Dynamic automata in Larva	Cassar, John Paul; Colombo, Christian; Pace, Gordon J.
2010	Dynamic automata in LARVA	Cassar, John Paul (2010)
2002	An embedded language framework for hardware compilation	Claessen, Koen; Pace, Gordon J.
2017	Engineering adaptive user interfaces using monitoring-oriented programming	Buhagiar, Aaron John; Pace, Gordon J.; Ebejer, Jean Paul
2014-11	Event-based characterisation of temporal properties over system states	Colombo, Christian; Pace, Gordon J.; Scicluna, Justine

Showing results 1 to 20 of 57 next >