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 26 to 45 of 57 < previous   next >
Issue DateTitleAuthor(s)
2015KeY + LARVA = STARVOORSAhrendt, Wolfgang; Pace, Gordon J.
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008LARVA converter user manualColombo, Christian
2010LarvaStat : monitoring of statistical propertiesColombo, Christian; Gauci, Andrew; Pace, Gordon J.
2014Lifelong verification of software systemsColombo, Christian; Micallef, Mark; Pace, Gordon J.
2015An LTL proof system for runtime verificationCini, Clare; Francalanza, Adrian
2012M-Commerce QR ticket payment systemCamilleri, Andrea (2012)
1993Midi-PC InterfaceZammit, Ivan J. (1993)
2007Model checking : concurrent assembly algorithmsFenech, Stephen (2007)
2007Model checking concurrent assembly algorithmsCordina, Joseph; Fenech, Stephen; Pace, Gordon J.
2007Model checking contracts : a case studyPace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo
2007Model checking gamesCalleja, Andrew (2007)
2008Model checking user interfacesCauchi, Abigail; Pace, Gordon J.; Spina, Sandro
2008Model checking user interfacesCauchi, Abigail (2008)
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2013PolyLarva : technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2021PrefaceLeucker, Martin; Colombo, Christian
2008Proceedings of FLACOS’08Pace, Gordon J.; Schneider, Gerardo
2006Runtime validation using interval temporal logicD’Emanuele, Karlston; Pace, Gordon J.
2012Runtime verification and compensationsColombo, Christian