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 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
2003An asynchronous interaction mechanism between the kernel and the user applicationSant, Ian (2003)
2005Automatic tune searchBriffa, Caroline (2005)
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.
2021Comparing controlled system synthesis and suppression enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2014Compiling compensating automataBorg, Dylan (2014)
2018Contracts over smart contracts : recovering from violations dynamicallyColombo, Christian; Ellul, Joshua; 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.
2010Dynamic automata in LARVACassar, John Paul (2010)
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