1. OAR@UM

Browsing by Author Schneider, Gerardo

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 42  next >
Issue DateTitleAuthor(s)
2008Algorithmic analysis of polygonal hybrid systems, part II : phase portrait and toolsAsarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2016An automata-based approach to evolving privacy policies for social networksPardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009Automatic conflict detection on contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2009Challenges in the specification of full contractsPace, Gordon J.; Schneider, Gerardo
2009CLAN : a tool for contract analysis and conflict discoveryFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2006A compositional algorithm for parallel model checking of polygonal hybrid systemsPace, Gordon J.; Schneider, Gerardo
2008Computation and visualisation of phase portraits for model checking SPDIsPace, Gordon J.; Schneider, Gerardo
2015Conditional permissions in contractsPace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2008Conflict analysis of deontic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2016Contract automata : an operational view of contracts between interactive partiesAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2019COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; Falcone, Yliès; Krstić, Srđan; Leucker, Martin; Lorber, Florian; Lourenço, Joa̋o M.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2018COST Action IC1402 runtime verification beyond monitoringColombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2008Detection of conflicts in electronic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2008Dynamic event-based runtime monitoring of real-time and contextual propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009-09FLACOS’09 Workshop proceedingsPace, Gordon J.; Schneider, Gerardo
2011Guest editors’ forewordPace, Gordon J.; Schneider, Gerardo
2006Improving polygonal hybrid systems reachability analysis through the use of the phase portraitPace, Gordon J.; Schneider, Gerardo
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2007Model checking contracts : a case studyPace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo
2004Model checking polygonal differential inclusions using invariance kernelsPace, Gordon J.; Schneider, Gerardo
Showing results 1 to 20 of 42  next >