Giuseppe Della Penna :: Bibliography ▷ Model Checking

Filtered for keywords: model checking reset

2009

Giuseppe Della Penna, Benedetto Intrigila and Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311 https://doi.org/10.1007/978-3-642-02282-1_38 control model checking

2007

Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila and Daniele Magazzeni:
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA 2007: 230-241 https://doi.org/10.1007/978-3-540-74782-6_21 control model checking
Fernando Brizzolari, Igor Melatti, Enrico Tronci and Giuseppe Della Penna:
Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365 https://doi.org/10.1109/APSEC.2007.43 cmurphi model checking
Giuseppe Della Penna, Benedetto Intrigila and Daniele Magazzeni:
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics 2007: 54-59 https://doi.org/10.1007/978-1-4020-8737-0_11 control model checking
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
Automatic Synthesis of Robust Numerical Controllers Third International Conference on Autonomic and Autonomous Systems (ICAS'07) 2007: 4-15 https://doi.org/10.1109/CONIELECOMP.2007.59 control model checking

2006

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8(4-5) : 397-409 (2006) https://doi.org/10.1007/s10009-005-0216-7 cmurphi model checking
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO 2006: 26-33 control model checking

2005

Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila and Enrico Tronci:
Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68 https://doi.org/10.1007/11562948_7 model checking cmurphi

2004

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6(4) : 320-341 (2004) https://doi.org/10.1007/s10009-004-0149-6 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Murφ Verifier FMCAD 2004: 214-229 https://doi.org/10.1007/978-3-540-30494-4_16 cmurphi model checking

2003

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Integrating RAM and Disk Based Verification within the Murphi Verifier. CHARME 2003: 277-282 https://doi.org/10.1007/978-3-540-39724-3_25 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Markov Chains with the Murphi Verifier. CHARME 2003: 394-409 https://doi.org/10.1007/978-3-540-39724-3_34 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci and Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Murphi Verifier. HSCC 2003: 141-155 https://doi.org/10.1007/3-540-36580-X_13 model checking cmurphi control
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier. ICTCS 2003: 58-71 https://doi.org/10.1007/978-3-540-45208-9_6 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier Theoretical Computer Science. ICTCS 2003 2003 https://doi.org/10.1007/978-3-540-45208-9_6 cmurphi model checking
Benedetto Intrigila, Giuseppe Della Penna and Daniela Ciccomartino:
Extending Boerger's JVM Model to Compile Safe C++ Code: The Pointers' Problem Abstract State Machines - Theory and Applications: International Workshop 2003 cmurphi model checking

2002

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci and Marisa Venturini Zilli:
Exploiting Transition Locality in the Disk Based Murphi Verifier. FMCAD 2002: 202-219 https://doi.org/10.1007/3-540-36126-X_13 model checking cmurphi

2001

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila and Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324 https://doi.org/10.1109/APSEC.2001.991495 cmurphi model checking
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila and Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274 https://doi.org/10.1007/3-540-44798-9_22 model checking cmurphi