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 36  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
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
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
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo