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 26 to 42 of 42 < previous 
Issue DateTitleAuthor(s)
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
2006Static analysis of SPDIs for state-space reductionPace, Gordon J.; Schneider, Gerardo
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo