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 18 to 37 of 42 < previous   next >
Issue DateTitleAuthor(s)
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
2021On the specification and monitoring of timed normative systemsAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2009On the specification of full contractsFenech, Stephen; Pace, Gordon J.; Okika, Joseph C.; Ravn, Anders P.; Schneider, Gerardo
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008Proceedings of FLACOS’08Pace, Gordon J.; Schneider, Gerardo
2008Relaxing goodness is still goodPace, Gordon J.; Schneider, Gerardo
2008Relaxing goodness is still good for SPDIsPace, Gordon J.; Schneider, Gerardo
2020Reliable smart contractsPace, Gordon J.; Sánchez, César; Schneider, Gerardo
2009Resource-bounded runtime verification of Java programs with real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2021Runtime verification: passing on the batonColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009Safe runtime verification of real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2002SPeeDI - a verification tool for polygonal hybrid systemsAsarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2016StaRVOOrS - episode II : strengthen and distribute the forceAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : a tool for combined static and runtime verification of JavaChimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : unifying static and runtime verification of JavaAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2006Static analysis for state-space reduction of polygonal hybrid systemsPace, Gordon J.; Schneider, Gerardo
Showing results 18 to 37 of 42 < previous   next >