Mover, Sergio
Mover, Sergio
Sviluppo delle Risorse Umane
Efficient Scenario VeriFIcation for Hybrid Automata
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Formal Verification of Infinite-State BIP Models
2015-01-01 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
From Sequential Extended Regular Expressions to NFA with Symbolic Labels
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
HYCOMP - an SMT-based model checker for hybrid systems
2015-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Infinite-state invariant checking with IC3 and predicate abstraction
2016-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
2016-01-01 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Model Checking of Hybrid Systems using Shallow Synchronization
2010-01-01 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
NuSMV
2002-01-01 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
Parameter Synthesis with IC3
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of hybrid systems with non-linear dynamics
2012-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of invariants for hybrid systems
2014-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
SMT-based scenario verification for hybrid systems
2013-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
2023-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
SMT-Based Verification of Hybrid Systems
2012-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Efficient Scenario VeriFIcation for Hybrid Automata | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Formal Verification of Infinite-State BIP Models | 1-gen-2015 | Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang | |
From Sequential Extended Regular Expressions to NFA with Symbolic Labels | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
HYCOMP - an SMT-based model checker for hybrid systems | 1-gen-2015 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
IC3 Modulo Theories via Implicit Predicate Abstraction | 1-gen-2014 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Infinite-state invariant checking with IC3 and predicate abstraction | 1-gen-2016 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations | 1-gen-2016 | Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio | |
Model Checking and Safety Assessment of Altarica models | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
Model Checking of Hybrid Systems using Shallow Synchronization | 1-gen-2010 | Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano | |
NuSMV | 1-gen-2002 | Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala | |
Parameter Synthesis with IC3 | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems | 1-gen-2011 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Quantifier-free encoding of hybrid systems with non-linear dynamics | 1-gen-2012 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Quantifier-free encoding of invariants for hybrid systems | 1-gen-2014 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Safety Assessment of AltaRica Models via Symbolic Model Checking | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
SMT-based scenario verification for hybrid systems | 1-gen-2013 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
SMT-Based Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2023 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios | |
SMT-Based Verification of Hybrid Systems | 1-gen-2012 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Supporting Requirements Validation: The EuRailCheck Tool | 1-gen-2009 | Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano |