OAR@UM: Browsing 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 43 next >

Issue Date	Title	Author(s)
2008	Algorithmic analysis of polygonal hybrid systems, part II : phase portrait and tools	Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2016	An automata-based approach to evolving privacy policies for social networks	Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009	Automatic conflict detection on contracts	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2009	Challenges in the specification of full contracts	Pace, Gordon J.; Schneider, Gerardo
2009	CLAN : a tool for contract analysis and conflict discovery	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2006	A compositional algorithm for parallel model checking of polygonal hybrid systems	Pace, Gordon J.; Schneider, Gerardo
2008	Computation and visualisation of phase portraits for model checking SPDIs	Pace, Gordon J.; Schneider, Gerardo
2015	Conditional permissions in contracts	Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2008	Conflict analysis of deontic contracts	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2016	Contract automata : an operational view of contracts between interactive parties	Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2019	COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1	Ahrendt, 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
2018	COST Action IC1402 runtime verification beyond monitoring	Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2008	Detection of conflicts in electronic contracts	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2008	Dynamic event-based runtime monitoring of real-time and contextual properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009-09	FLACOS’09 Workshop proceedings	Pace, Gordon J.; Schneider, Gerardo
2011	Guest editors’ foreword	Pace, Gordon J.; Schneider, Gerardo
2006	Improving polygonal hybrid systems reachability analysis through the use of the phase portrait	Pace, Gordon J.; Schneider, Gerardo
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2007	Model checking contracts : a case study	Pace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo
2004	Model checking polygonal differential inclusions using invariance kernels	Pace, Gordon J.; Schneider, Gerardo

Showing results 1 to 20 of 43 next >