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 6 to 25 of 57 < previous next >

Issue Date	Title	Author(s)
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
2017	Exploring the link between test suite quality and automatic specification inference	Chircop, Luke; Colombo, Christian; Micallef, Mark
2009-09	FLACOS’09 Workshop proceedings	Pace, Gordon J.; Schneider, Gerardo
1998	Formal reasoning with Verilog HDL	Pace, Gordon J.; He, Jifeng
2014	Frequency analyser to VGA display	Manduca, Christine (2014)
1998	Hardware design based on Verilog HDL	Pace, Gordon J.

Showing results 6 to 25 of 57 < previous next >