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 41  next >
Issue DateTitleAuthor(s)
2014Applying runtime verification techniques to an enterprise service busDimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2013-10Applying runtime verification techniques to enterprise service bus architecturesColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2003Calculating τ-confluence compositionallyPace, Gordon J.; Lang, Frederic; Mateescu, Radu
2012-11Combining testing and runtime verificationColombo, Christian
2012Combining testing and runtime verification techniquesFalzon, Kevin; Pace, Gordon J.
2004Counter-example generation in symbolic abstract model-checkingPace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal
2005Describing and verifying FFT circuits using SharpHDLPace, Gordon J.; Vella, Christine
2012-11Designing correct runtime-monitors for ErlangSeychell, Aldrin; Francalanza, Adrian
2015Device centric monitoring on mobile devicesChircop, Luke; Colombo, Christian; Pace, Gordon J.
2010Dynamic automata in LarvaCassar, John Paul; Colombo, Christian; Pace, Gordon J.
2002An embedded language framework for hardware compilationClaessen, Koen; Pace, Gordon J.
2017Engineering adaptive user interfaces using monitoring-oriented programmingBuhagiar, Aaron John; Pace, Gordon J.; Ebejer, Jean-Paul
2014-11Event-based characterisation of temporal properties over system statesColombo, Christian; Pace, Gordon J.; Scicluna, Justine
2017Exploring the link between test suite quality and automatic specification inferenceChircop, Luke; Colombo, Christian; Micallef, Mark
2009-09FLACOS’09 Workshop proceedingsPace, Gordon J.; Schneider, Gerardo
1998Formal reasoning with Verilog HDLPace, Gordon J.; He, Jifeng
1998Hardware design based on Verilog HDLPace, Gordon J.
2015KeY + LARVA = STARVOORSAhrendt, Wolfgang; Pace, Gordon J.
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo