Alessandro Cimatti

Publications

1. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA = COMPASS + TASTE
2. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, P-stable abstractions of hybrid systems
3. Tosello Elisa; Bonel Paolo; Buranello Alberto; Carraro Marco; Cimatti Alessandro; Granelli Lorenzo; Panjkovic Stefan; Micheli Andrea, Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture
4. Bombardelli Alberto; Cimatti Alessandro; Tonetta Stefano; Zamboni Marco, Symbolic Model Checking of Relative Safety LTL Properties
5. Koenig Lukas; Heinzemann Christian; Griggio Alberto; Klauck Michaela; Cimatti Alessandro; Henze Franziska; Tonetta Stefano; Kueperkoch Stefan; Fassbender Dennis; Hanselmann Michael, Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development
6. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, GR(1) is equivalent to R(1)
7. Cimatti Alessandro; Cristoforetti Luca; Griggio Alberto; Tonetta Stefano; Corfini Sara; Di Natale Marco; Barrau Florian, EVA: a Tool for the Compositional Verification of AUTOSAR Models
8. Xia Yechuan; Becchi Anna; Cimatti Alessandro; Griggio Alberto; Li Jianwen; Pu Geguang, Searching for i-Good Lemmas to Accelerate Safety Model Checking
9. Tierno Antonio; Turri Giuliano; Cimatti Alessandro; Passerone Roberto, Scalable Design Space Exploration for the Synthesis of Redundant Architectures
10. Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Susi Angelo, A Formal IDE for Railways: Research Challenges
11. Basagiannis Stylianos; Battista Ludovico; Becchi Anna; Cimatti Alessandro; Giantamidis Georgios; Mover Sergio; Tacchella Alberto; Tonetta Stefano; Tsachouridis Vassilios, SMT-Based Stability Verification of an Industrial Switched PI Control Systems
12. Lanzani Isabella; Scattolini Riccardo; Zio Enrico; Cimatti Alessandro; Bozzano Marco; Tonetta Stefano, Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis
13. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA: Integrating COMPASS Functionality into TASTE
14. Casagrande Alberto; Cimatti Alessandro; Dorigo Luca; Piazza Carla; Tonetta Stefano, Set-Based Invariants over Polynomial Systems
15. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, A first-order logic characterization of safety and co-safety languages
16. Stefenon Stefano Frizzo; Cristoforetti Marco; Cimatti Alessandro, Towards Automatic Digitalization of Railway Engineering Schematics
17. Bozzano Marco; Cimatti Alessandro; Tonetta Stefano; Vozárová Viktória, Searching for Ribbon-Shaped Paths in Fair Transition Systems
18. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Jonas Martin, Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
19. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping
20. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Vozárová Viktória, Diagnosability of fair transition systems
21. Tierno A.; Turri G.; Cimatti A.; Passerone R., Automatic Design Space Exploration of Redundant Architectures
22. Stefenon Stefano Frizzo; Singh Gurmail; Yow Kin-Choong; Cimatti Alessandro, Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures
23. Cimatti A.; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, A first-order logic characterisation of safety and co-safety languages
24. Amendola Arturo; Becchi Anna; Cavada Roberto; Cimatti Alessandro; Ferrando Andrea; Pilati Lorenzo; Scaglione Giuseppe; Tacchella Alberto; Zamboni Marco, NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
25. Becchi Anna; Cimatti Alessandro, Abstraction Modulo Stability for Reverse Engineering
26. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Jonas Martin; Kimberly Greg, Analysis of Cyclic Fault Propagation via ASP
27. Cimatti Alessandro; Griggio Alberto; Magnago Enrico, LTL falsification in infinite-state systems
28. Bombardelli Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano, COMPASTA: Extending TASTE with Formal Design and Verification Functionality
29. Amendola Arturo; Barruffo Lorenzo; Bozzano Marco; Cimatti Alessandro; De Simone Salvatore; Fedeli Eugenio; Gabbasov Artem; Ernesto Garrubba Domenico; Girardi Massimiliano; Serra Diana; Tiella Roberto; Zampedri Gianni, Formal Design and Validation of an Automatic Train Operation Control System
30. Cimatti Alessandro; Corfini Sara; Cristoforetti Luca; Di Natale Marco; Griggio Alberto; Puri Stefano; Tonetta Stefano, A comprehensive framework for the analysis of automotive systems
31. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Verification of SMT Systems with Quantifiers
32. Cimatti Alessandro; Griggio Alberto; Lipparini Enrico; Sebastiani Roberto, Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
33. Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, The VMT-LIB Language and Tools
34. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-based Runtime Verification
35. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Jones David; Mattarei Cristian, Model-based Safety Assessment of a Triple Modular Generator with XSAP
36. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
37. Cimatti Alessandro; Griggio Alberto; Magnago Enrico, Proving the Existence of Fair Paths in Infinite-State Systems
38. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Griggio Alberto; Jonas Martin; Kimberly Greg, Efficient SMT-Based Analysis of Failure Propagation
39. Bozzano Marco; Cimatti Alessandro; Roveri Marco, A Comprehensive Approach to On-board Autonomy Verification and Validation
40. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-Based Runtime Verification of Infinite-State Systems
41. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
42. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Expressiveness of Extended Bounded Response LTL
43. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems
44. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
45. Mover Sergio; Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Tonetta Stefano, Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
46. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
47. Bartali Ruben; Christodoulaki Rosie; Drosou Vassiliki; Baker Derek Keith; Svaizer Piergiorgio; Alarcón-Padilla Diego-César; Osório Tiago; Kramer Wolfgang; Bolognese Michele; Pratticò Luca; Viesi Diego; Roca Sobrino Lidia; Guillen Burrieza Elena; Fluch Juergen; Bayer Özgür; Pınarlı Deniz; Erdoğan Selin; Brunner Christoph; Cavada Roberto; Bonizzi Alberto; Cimatti Alessandro; Zanetti Alberto; Crema Luigi, Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C)
48. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Reverse engineering with P-stable Abstractions
49. Bigarella Filippo; Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Jonáš Martin; Roveri Marco; Sebastiani Roberto; Trentin Patrick, Optimization Modulo Non-linear Arithmetic via Incremental Linearization
50. Cimatti Alessandro; Griggio Alberto; Magnago Enrico, Automatic Discovery of Fair Paths in Infinite-State Transition Systems
51. Cimatti Alessandro; Griggio Alberto; Magnago Enrico; Roveri Marco; Tonetta Stefano, SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators
52. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects
53. Cimatti Alessandro; Geatti Luca; Gigante Nicola; Montanari Angelo; Tonetta Stefano, Reactive Synthesis from Extended Bounded Response LTL Specifications
54. Cimatti Alessandro; Geatti Luca; Griggio Alberto; Kimberly Greg; Tonetta Stefano, Safe Decomposition of Startup Requirements: Verification and Synthesis
55. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
56. Beirami H.; Calzà D.; Cimatti A.; Islam M. M.; Roveri M.; Svaizer P., Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System
57. Beirami H.; Calzà D.; Cimatti A.; Islam M.; Roveri M.; Svaizer P., A Data-driven Approach for RUL Prediction of an Experimental Filtration System
58. Amendola Arturo; Becchi Anna; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Scaglione Giuseppe; Susi Angelo; Tacchella Alberto; Tessi Matteo, A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
59. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Synthesis of P-Stable Abstractions
60. Bozzano M.; Cimatti A.; Mattarei C., Formal reliability analysis of redundant architectures
61. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, COMPASS 3.0
62. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans
63. Cimatti Alessandro; Griggio Alberto; Magnago Enrico; Roveri Marco; Tonetta Stefano, Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
64. Cimatti Alessandro; Delong Rance; Stojic Ivan; Tonetta Stefano, Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
65. Cimatti Alessandro; Tian Chun; Tonetta Stefano, Assumption-based Runtime Verification with Partial Observability and Resets
66. Cimatti Alessandro; Tian Chun; Tonetta Stefano, NuRV: a nuXmv Extension for Runtime Verification
67. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations
68. Cimatti Alessandro; Demasi Ramiro Adrian; Tonetta Stefano, Tightening the contract refinements of a system architecture
69. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization
70. Cimatti Alessandro; Stojic Ivan; Tonetta Stefano, Formal Specification and Verification of Dynamic Parametrized Architectures
71. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
72. Cavada Roberto; Cimatti Alessandro; Mover Sergio; Sessa Mirko; Cadavero Giuseppe; Scaglione Giuseppe, Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks
73. Cimatti Alessandro; Ghilardi Silvio; Ranise Silvio, Model checking: teoria ed applicazioni
74. Mechtaev Sergey; Griggio Alberto; Cimatti Alessandro; Roychoudhury Abhik, Symbolic execution with existential second-order constraints
75. Cimatti Alessandro; Delong Rance; Stojic Ivan; Tonetta Stefano, Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation
76. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
77. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
78. Cimatti Alessandro; Griggio Alberto; Irfan Ahmed; Roveri Marco; Sebastiani Roberto, Satisfiability Modulo Transcendental Functions via Incremental Linearization
79. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic
80. Cimatti Alessandro; Mover Sergio; Sessa Mirko, SMT-based analysis of switching multi-domain linear Kirchhoff networks
81. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
82. Bozzano Marco; Bruintjes Harold; Cimatti Alessandro; Katoen Joost-Pieter; Noll Thomas; Tonetta Stefano, Formal Methods for Aerospace Systems
83. Bittner Benjamin; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto; Mattarei Cristian; Micheli Andrea; Zampedri Gianni, The xSAP Safety Analysis Platform
84. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata
85. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Zampedri Gianni, Automated Verification and Tightening of Failure Propagation Models
86. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro, Automated Synthesis of Timed Failure Propagation Graphs
87. Ábrahám Erika; Abbott John; Becker Bernd; Bigatti Anna M.; Brain Martin; Buchberger Bruno; Cimatti Alessandro; Davenport James H.; England Matthew; Fontaine Pascal; Forrest Stephen; Griggio Alberto; Kroening Daniel; Seiler Werner M.; Sturm Thomas, SC^2: Satisfiability Checking Meets Symbolic Computation
88. Jakub Daniel; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano; Mover Sergio, Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
89. Irfan Ahmed; Cimatti Alessandro; Griggio Alberto; Roveri Marco; Sebastiani Roberto, Verilog2SMV: A Tool for Word-level Verification
90. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
91. Gario Marco Elio Gustavo; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano; Rozier Kristin Yvonne, Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
92. Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Lazy Approach to Temporal Epistemic Logic Model Checking
93. Cimatti Alessandro; Demasi Ramiro Adrian; Tonetta Stefano, Tightening a Contract Refinement
94. Cimatti Alessandro; Mover S.; Sessa Mirko, From Electrical Switched Networks to Hybrid Automata
95. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Infinite-state invariant checking with IC3 and predicate abstraction
96. Cavada Roberto; Cimatti Alessandro; Crema Luigi; Roccabruna Mattia; Tonetta Stefano, Model-Based Design of an Energy-System Embedded Controller Using Taste
97. Ábrahám E.; Fontaine P.; Forrest S.; Griggio A.; Kroening D.; Seiler W. M.; Sturm T.; Abbott J.; Becker B.; Bigatti A. M.; Brain M.; Buchberger B.; Cimatti A.; Davenport J. H.; England M., Satisfiability checking and symbolic computation
98. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT
99. Cimatti Alessandro; Tonetta Stefano, Contracts-refinement proof system for component-based embedded systems
100. Bozzano Marco; Cimatti Alessandro; Oleg Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Safety Assessment of AltaRica Models via Symbolic Model Checking
101. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
102. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs
103. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, HYCOMP - an SMT-based model checker for hybrid systems
104. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
105. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
106. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, HRELTL: A temporal logic for hybrid systems
107. Bozzano Marco; Cimatti Alessandro; Griggio Alberto; Mattarei Cristian, Efficient Anytime Techniques for Model-Based Safety Analysis
108. Mattarei Cristian; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano; Rozier Kristin Yvonne, Comparing Different Functional Allocations in Automated Air Traffic Control Design
109. Bliudze Simon; Cimatti Alessandro; Jaber Mohamad; Mover Sergio; Roveri Marco; Saab Wajeb; Wang Qiang, Formal Verification of Infinite-State BIP Models
110. Bozzano Marco; Cimatti Alessandro; Fernandes Pires Anthony; Jones D.; Kimberly G.; Petri T.; Robinson R.; Tonetta Stefano, Formal Design and Safety Analysis of AIR6110 Wheel Brake System
111. Cimatti Alessandro; Delong Rance; Marcantonio Davide; Tonetta Stefano, Combining MILS with Contract-Based Design for Safety and Security Requirements
112. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
113. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Quantifier-free encoding of invariants for hybrid systems
114. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, IC3 Modulo Theories via Implicit Predicate Abstraction
115. Robin Steel; Alexander Hoffmann; Marc Niezette; Cimatti Alessandro; Roveri Marco; Konstantinos Kapellos; Alessandro Donati; Nicola Policella, Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure
116. Bozzano Marco; Cimatti Alessandro; Katoen J. P.; Katsaros P.; Mokos K.; Nguyen V. Y.; Noll T.; Postma B.; Roveri Marco, Spacecraft Early Design Validation using Formal Methods
117. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Verifying LTL Properties of Hybrid Systems with K-Liveness
118. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker
119. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian; Tonetta Stefano, Formal Safety Assessment via Contract-Based Design.
120. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto, Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions
121. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
122. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Posenato R; Roveri Marco, Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
123. Guiotto A.; De Ferluc R.; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Yushtein Y., FAME Process: A Dedicated Development and V&V Process for FDIR
124. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; De Ferluc R.; Gario Marco Elio Gustavo; Guiotto A.; Yushtein Y., An Integrated Process for FDIR Design in Aerospace
125. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; De Ferluc R.; Gario Marco Elio Gustavo; Guiotto A.; Yushtein Y., FAME: A Model-Based Environment for FDIR Design in Aerospace
126. Laura Baracchi; Cimatti Alessandro; Gerald Garcia; Silvia Mazzini; Stefano Puri; Tonetta Stefano, Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
127. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, SMT-based scenario verification for hybrid systems
128. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian, Automated Analysis of Reliability Architectures
129. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Software Model Checking SystemC
130. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty
131. Cimatti Alessandro; Griggio Alberto; Bastiaan Joost Schaafsma; Roberto Sebastiani, The MathSAT5 SMT Solver
132. Cimatti Alessandro; Griggio Alberto; Bastiaan Joost Schaafsma; Roberto Sebastiani, A Modular Approach to MaxSAT Modulo Theories
133. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
134. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Tonetta Stefano, Formal Specification and Synthesis of FDI through an Example
135. Mover Sergio; Cimatti Alessandro; Tiwari A.; Tonetta Stefano, Time-aware Relational Abstractions for Hybrid Systems
136. Cimatti Alessandro; Griggio Alberto; Mover Sergio; Tonetta Stefano, Parameter Synthesis with IC3
137. Bozzano Marco; Cimatti Alessandro; Mattarei Cristian, Efficient Analysis of Reliability Architectures via Predicate Abstraction
138. Cimatti Alessandro; Dorigatti Michele; Tonetta Stefano, OCRA: A tool for checking the refinement of temporal contracts
139. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Xavier Olive, Symbolic Synthesis of Observability Requirements for Diagnosability
140. Cimatti Alessandro; Griggio Alberto, Software Model Checking via IC3
141. Cimatti Alessandro; Raffaele Corvino; Armando Lazzaro; Narasamdya Iman; Tiziana Rizzo; Roveri Marco; Angela Sanseviero; Andrei Tchaltsev, Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
142. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Verification of Parametric System Designs
143. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Software Model Checking with Explicit Scheduler and Symbolic Threads
144. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability
145. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability
146. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, SMT-Based Verification of Hybrid Systems
147. Cimatti Alessandro; Tonetta Stefano, A Property-Based Proof System for Contract-Based Design
148. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Quantifier-free encoding of hybrid systems with non-linear dynamics
149. Elena Alaña; Héctor Naranjo; Yuri Yushtein; Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Régis de Ferluc; Gérard Garcia, Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
150. Cimatti Alessandro; Sebastiani Roberto, Theory and Applications of Satisfiability Testing – SAT 2012
151. Cimatti Alessandro, Application of SMT solvers to hybrid system verification
152. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Validation of Requirements for Hybrid Systems: a Formal Approach
153. Robin Steel; Alexander Hoffman; Mark Niézette; Cimatti Alessandro; Roveri Marco; Konstantinos Kapellos; Alessandro Donati; Nicola Policella, Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground
154. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation
155. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction
156. Bittner Benjamin; Bozzano Marco; Cimatti Alessandro; Xavier Olive, Symbolic Synthesis of Observability Requirements for Diagnosability
157. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Safety, Dependability and Performance Analysis of Extended AADL Models
158. Cimatti Alessandro; Mover Sergio; Roveri Marco; Tonetta Stefano, From Sequential Extended Regular Expressions to NFA with Symbolic Labels
159. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
160. Cimatti Alessandro; Narasamdya Iman; Roveri Marco, Boosting Lazy Abstraction for SystemC with Partial Order Reduction
161. Robin Steel; Alexander Hoffman; Cimatti Alessandro; Roveri Marco; Konstantinos Kapellos; Alessandro Donati; Nicola Policella, Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead
162. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Efficient Scenario VeriFIcation for Hybrid Automata
163. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC
164. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Tchaltsev Andrei, A Comprehensive Approach to On-Board Autonomy Verification and Validation
165. Campana Daniele; Cimatti Alessandro; Narasamdya Iman; Roveri Marco, An Analytic Evaluation of SystemC Encodings in Promela
166. Cimatti Alessandro; Mover Sergio; Tonetta Stefano, Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems
167. Bozzano Marco; Cimatti Alessandro; O. Lisagor; Mattarei Cristian; Mover Sergio; Roveri Marco; Tonetta Stefano, Model Checking and Safety Assessment of Altarica models
168. Cimatti Alessandro; Susi Angelo; Tonetta Stefano; Roveri Marco, Formalizing requirements with object models and temporal constraints
169. Cimatti Alessandro; Micheli Andrea; Narasamdya Iman; Roveri Marco, Verifying SystemC: a Software Model Checking Approach
170. Anders Franzen; Cimatti Alessandro; Alexander Nadel; Sebastiani Roberto; Jonathan Shalev, Applying SMT in Symbolic Execution of Microcode
171. Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Xavier Olive, Formal Verification and Validation of AADL Model
172. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient generation of craig interpolants in satisfiability modulo theories
173. Cimatti Alessandro, SMT-Based Software Model Checking
174. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS
175. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer; Cavada Roberto, COMPASS Tool
176. Thi Thieu Hoa Le; Luigi Palopoli; Roberto Passerone; Ramadian Yusi; Cimatti Alessandro, Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study
177. Cimatti Alessandro; Anders Franzen; Griggio Alberto; Kalyanasundaram Krishnamani; Roveri Marco, Tighter Integration of BDD and SMT for Predicate Abstraction
178. Cimatti Alessandro; Anders Franzén; Griggio Alberto; Sebastiani Roberto; Cristian Stenico, Satisfiability Modulo the Theory of Costs: Foundations and Applications
179. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Formalization and Validation of Safety-Critical Requirements
180. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco; Ralf Wimmer, A Model Checker for AADL
181. Roderick Bloem; Cimatti Alessandro; Karin Greimel; Georg Hofferek; Robert Koenighofer; Roveri Marco; Schuppan Viktor; Richard Seeber, RATSY - A new Requirements Analysis Tool with Synthesis
182. Lei Bu; Cimatti Alessandro; Xuandong Li; Mover Sergio; Tonetta Stefano, Model Checking of Hybrid Systems using Shallow Synchronization
183. Angelo Chiappini; Cimatti Alessandro; Macchi Luca; Oscar Rebollo; Roveri Marco; Susi Angelo; Tonetta Stefano; Berardino Vittorini, Formalization and validation of a subset of the European Train Control System
184. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll, Codesign of Dependable Systems: A Component-Based Modeling Language
185. Roveri Marco; Cimatti Alessandro; Schuppan Viktor; Tchaltsev Andrei; Cavada Roberto, NuGAT
186. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Interpolant Generation for UTVPI
187. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Requirements Validation for Hybrid Systems
188. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version
189. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Codesign of Dependable Systems: A Component-Based Language
190. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
191. Cimatti Alessandro; Jori Juhani Dubrovin; Tommi Antero Junttila; Roveri Marco, Structure-Aware Computation of Predicate Abstraction
192. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding
193. Cavada Roberto; Cimatti Alessandro; Mariotti Alessandro; Mattarei Cristian; Micheli Andrea; Mover Sergio; Pensallorto Marco; Roveri Marco; Susi Angelo; Tonetta Stefano, Supporting Requirements Validation: The EuRailCheck Tool
194. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Andrei Tchaltsev, A Comprehensive Approach to On-Board Autonomy Verification and Validation
195. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
196. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
197. Dirk Beyer; Cimatti Alessandro; Griggio Alberto; Erkan Keremoglu; Sebastiani Roberto, Software Model Checking via Large-Block Encoding
198. Bozzano Marco; Cimatti Alessandro; Roveri Marco; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll, Verification and performance evaluation of AADL models
199. Bozzano Marco; Cimatti Alessandro; Joost Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Roveri Marco, Model-Based Codesign of Critical Embedded Systems
200. Cimatti Alessandro; Bozzano Marco; Adolfo Villafiorita, FSAP
201. Cimatti Alessandro; Pistore Marco; Traverso Paolo, Automated Planning
202. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, The MathSAT 4SMT Solver
203. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, Efficient Interpolant Generation in Satisfiability Modulo Theories
204. Cimatti Alessandro; Roveri Marco; Schuppan Viktor; Tchaltsev Andrei, Diagnostic Information for Realizability
205. Cimatti Alessandro, Beyond Boolean SAT: Satisfiability Modulo Theories
206. Cimatti Alessandro; Luigi Palopoli; Ramadian Yusi, Symbolic Computation of Schedulability Regions using parametric timed automata
207. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Symbolic Compilation of PSL
208. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, Object Models with Temporal Constraints
209. Cimatti Alessandro; Roveri Marco; Susi Angelo; Tonetta Stefano, From Informal Requirements to Property-Driven Formal Validation
210. Bozzano Marco; Cimatti Alessandro; Andrea Guiotto; Andrea Martelli; Roveri Marco; Tchaltsev Andrei; Yuri Yushtein, On-Board Autonomy via Symbolic Model Based Reasoning
211. Cimatti Alessandro; Andrea Guiotto; Roveri Marco, On Board Model Checking for Space Applications
212. Cimatti Alessandro; Robert B. Jones, Formal Methods in Computer-Aided Design, Portland, Oregon, USA, 17-20 November 2008
213. Bertoli Piergiorgio; Bozzano Marco; Cimatti Alessandro, A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
214. Roberto Bruttomesso; Cimatti Alessandro; Roberto Sebasatiani; Griggio Alberto; Anders Franzen, MathSAT
215. Bozzano Marco; Cimatti Alessandro; Francesco Tapparo, Symbolic Fault Tree Analysis for Reactive Systems
216. Zvonimir Rakamaric; Bruttomesso Roberto; Alan J. Hu; Cimatti Alessandro, Verifying Heap-Manipulating Programs in an SMT Framework
217. Cimatti Alessandro; Roveri Marco; Schuppan Viktor; Tonetta Stefano, Boolean Abstraction for Temporal Logic Satisfiability
218. Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Ziyad Hanna; Alexander Nadel; Amit Palti; Sebastiani Roberto, A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems
219. Cavada Roberto; Cimatti Alessandro; Anders Franzen; Kalyanasundaram Krishnamani; Roveri Marco; R. K. Shyamasundar, Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
220. Cimatti Alessandro; Griggio Alberto; Sebastiani Roberto, A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
221. Cimatti Alessandro; Roveri Marco; Tonetta Stefano, Syntactic Optimizations for PSL Verification
222. Roderick Bloem; Cimatti Alessandro; Ingo Pill; Roveri Marco, Symbolic Implementation of Alternating Automata
223. Armando Alessandro; Cimatti Alessandro, Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning
224. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi A. Junttila; Ranise Silvio; Peter van Rossum; Sebastiani Roberto, Efficient theory combination via boolean search
225. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Anders Franzen; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Sebastiani Roberto, Encoding RTL Constructs for Mathsat: A preliminary report
226. Roderick Bloem; Cimatti Alessandro; Ingo Pill; Roveri Marco; Simone Semprini; Tchaltsev Andrei, RAT: A tool for formal analysis of requirements
227. Cimatti Alessandro; Roveri Marco; Simone Semprini; Tonetta Stefano, From PSL to NBA: a Modular Symbolic Encoding
228. Cimatti Alessandro; Sebastiani Roberto, Building Efficient Decision Procedures on top of SAT solvers
229. Armando Alessandro; Cimatti Alessandro, Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)
230. Piergiorgio Bertoli; Cimatti Alessandro; Marco Pistore, Towards strong cyclic planning under partial observability
231. Roberto Bruttomesso; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Alessandro Santuari; Sebastiani Roberto, To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)
232. Roberto Bruttomesso; Cimatti Alessandro; Anders Franzen; Griggio Alberto; Sebastiani Roberto, Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis
233. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco; Traverso Paolo, Strong Planning under Partial Observability
234. Marco Bernardo; Cimatti Alessandro, Formal Methods for Hardware Verification
235. R. Bloem; Cimatti Alessandro; I. Pill; Roveri Marco; S. Semprini, Symbolic Implementation of Alternating Automata
236. I. Pill; S. Semprini; Cavada Roberto; Roveri Marco; R. Bloem; Cimatti Alessandro, Formal analysis of hardware requirements
237. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco, Strong Cyclic Planning Under Partial Observability
238. Gilles Audemard; Bozzano Marco; Cimatti Alessandro; Sebastiani Roberto, Verifying Industrial Hybrid Systems with MathSAT
239. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi Junttila; Peter van Rossum; Stephan Schulz; Sebastiani Roberto, Mathsat: Tight Integration of SAT and Mathematical Decision Procedures
240. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi Junttila; Ranise Silvio; Peter van Rossum; Sebastiani Roberto, Efficient Satisfiability Modulo Theories via Delayed Theory Combination
241. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. A. Junttila; Rossum Peter Van; S. P. Schulz; Sebastiani Roberto, An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
242. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Tommi A. Junttila; Peter van Rossum; Stephan Peter Schulz; Sebastiani Roberto, The Mathsat3 System
243. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. Antero Junttila; Ranise Silvio; Rossum Peter Van; Sebastiani Roberto, Efficient Theory Combination via Boolean Search
244. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; T. A. Junttila; R. Peter van; S. P. Schulz; Sebastiani Roberto, MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures
245. Bozzano Marco; R. Brutomesso; Cimatti Alessandro; T. A. Junttila; Ranise Silvio; Rossen Peter Van; Sebastiani Roberto, Efficient Satisfiability Modulo Theories via Delayed Theory Combination
246. Roveri Marco; Cimatti Alessandro; Tchaltsev Andrei; Cavada Roberto; Simone Semprini; Roderick Bloem; Ingo Pill, RAT
247. Bertoli Piergiorgio; Cimatti Alessandro; Traverso Paolo, Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains
248. Bozzano Marco; Cimatti Alessandro; Gabriele Colombini; Veselin Kirov; Sebastiani Roberto, The MathSAT solver -- a progress report
249. Cimatti Alessandro; Roveri Marco; Bertoli Piergiorgio, Conformant Planning via Symbolic Model Checking and Heuristic Search
250. Cimatti Alessandro; Roveri Marco; D. Sheridan, Bounded Verification of Past LTL
251. Bozzano Marco; Cimatti Alessandro; G. Colombini; V. Kirov; Sebastiani Roberto, The MAthSAT Solver. A progress report
252. Bozzano Marco; Bruttomesso Roberto; Cimatti Alessandro; Sebastiani Roberto, The MathSAT Solver - a comparative evaluation
253. Roelofsen Floris; Serafini Luciano; Cimatti Alessandro, Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
254. Bertoli Piergiorgio; Cimatti Alessandro; Lago U. Dal; Pistore Marco, Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans
255. Benedetti Marco; Cimatti Alessandro, Bounded Model Checking for past LTL
256. Cimatti Alessandro; Charles Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking
257. Armin Biere; Cimatti Alessandro; E. M. Clarke; Ofer Strichman; Yunshan Zhu, Bounded Model Checking
258. Audemard Gilles; Bozzano Marco; Cimatti Alessandro; Sebastiani Roberto, Verifying Industrial Hybrid Systems with MathSAT
259. Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking
260. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Traverso Paolo, A Framework for Planning with Extended Goals under Partial Observability
261. Bertoli Piergiorgio; Cimatti Alessandro; Lago U. Dal; Pistore Marco, Extending PDDL to mondeterminism, limited sensing and iterative conditional plans
262. Bozzano Marco; Villafiorita Monteleone Adolfo; O. Akerlund; P. Bieber; C. Bougnol; E. Boede; M. Bretschneider; A. Cavallo; C. Castel; M. Cifaldi; Cimatti Alessandro; A. Griffault; C. Kehren; B. Lawrence; A. Luedtke; S. Metge; C. Papadopoulos; R. Passarello; T. Peikenkamp; P. Persson; C. Seguin; L. Trotta; L. Villafiorita A. Valacca; Zacco Gabriele, ESACS: an integrated methodology for design and safety analysis of complex systems
263. Bertoli Piergiorgio; Cimatti Alessandro; Traverso Paolo, Interleaving Execution and Planning via Symbolic Model Checking
264. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: A Model Based Planner
265. Cimatti Alessandro; C. Pecheur; Cavada Roberto, Formal Verification of Diagnosability via Symbolic Model Checking
266. 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, NuSMV
267. Cimatti Alessandro; Pistore Marco; Roveri Marco; Sebastiani Roberto, Improving the encoding of LTL Model Checking into SAT
268. Audemard Gilles; Cimatti Alessandro; Kornilowicz Artur; Sebastiani Roberto, Bounded Model Checking for Timed Systems
269. Cimatti Alessandro; E. Giunchiglia; Roveri Marco; Pistore Marco; Sebastiani Roberto; A. Tacchella, Integrating BDD-based and SAT-based Symbolic Model Checking
270. Bertoli Piergiorgio; Cimatti Alessandro; J. Slaney; S. Thiebaux, Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking
271. Audemard Gilles; Bertoli Piergiorgio; Cimatti Alessandro; Kornilowicz Artur; Sebastiani Roberto, A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
272. Audemard Gilles; Bertoli Piergiorgio; Cimatti Alessandro; Kornilowicz Artur; Sebastiani Roberto, Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements
273. Cimatti Alessandro; E. M. Clarke; Enrico Giunchiglia; Fausto Giunchiglia; Pistore Marco; Roveri Marco; Roberto Sebastiani; A. Tacchella, NuSMV 2: An OpenSource Tool for Symbolic model Checking
274. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Traverso Paolo, Plan Validation for Extended Goals under Partial Observability (preliminary report)
275. Cimatti Alessandro; Roveri Marco; Bertoli Piergiorgio, Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking
276. Cimatti Alessandro, Industrial Applications of Model Checking
277. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco, Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
278. Cimatti Alessandro; E. Giunchiglia; Pistore Marco; Roveri Marco; Sebastiani Roberto; A. Tacchella, NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking
279. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco, Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space
280. Bertoli Piergiorgio; Cimatti Alessandro; Roveri Marco; Traverso Paolo, Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
281. Massimo Benerecetti; Cimatti Alessandro, Symbolic model checking for multi-agent systems
282. Bertoli Piergiorgio; Cimatti Alessandro; Pistore Marco; Roveri Marco; Traverso Paolo, MBP: a Model Based Planner
283. Bertoli Piergiorgio; Cimatti Alessandro, Improving Heuristics for Planning and Search in Belief Space
284. Cimatti Alessandro; Serafini Luciano, A Context-Based Mechanization of Multi-Agent Reasoning
285. Cimatti Alessandro; Roveri Marco, Forward Conformant Planning via Symbolic Model Checking
286. V. Hartonas Garmhausen; E. M. Clarke; S. Campos; Cimatti Alessandro; Giunchiglia Fausto, Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
287. Cimatti Alessandro; E. M. Clarke; Giunchiglia Fausto; Roveri Marco, NuSMV: a new symbolic model checker
288. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking
289. Bertoli Piergiorgio; Cimatti Alessandro; Traverso Paolo, Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System
290. Cimatti Alessandro; Roveri Marco, Conformant Planning via Symbolic Model Checking
291. Cimatti Alessandro; E. M. Clarke; Fausto Giunchiglia; Roveri Marco, NuSMV: a New Symbolic Model Verifier
292. Cimatti Alessandro; P. L. Pieraccini; Sebastiani Roberto; Traverso Paolo; Villafiorita Monteleone Adolfo, Formal Specification and validation of a Vital Communication Protocol
293. A. Chiappini; Cimatti Alessandro; C. Porzia; G. Rotondo; Sebastiani Roberto; Traverso Paolo; Villafiorita Monteleone Adolfo, Formal Specification and Development of a Safety-Critical Train Management
294. Cimatti Alessandro; Roveri Marco, Conformant Planning via Model Checking
295. Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo; Villafiorita Monteleone Adolfo, Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study
296. Cimatti Alessandro; Giunchiglia Fausto; R. W. Weyhrauch, A Many Sorted Natural Deduction
297. Cimatti Alessandro; E. M. Clarke; Giunchiglia Fausto; Roveri Marco, NuSMV: A Reimplementation of SMV
298. Cimatti Alessandro; Roveri Marco; Traverso Paolo, Strong Planning in Non-Deterministic Domains via Model Checking
299. Cimatti Alessandro; Roveri Marco; Traverso Paolo, Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
300. Cimatti Alessandro; Sebastiani Roberto, Servizi forniti dagli strati Safety Layer e Connection Manager
301. Cimatti Alessandro; Sebastiani Roberto, Specifica formale dei protocolli Safety Layer e Connection Manager
302. Cimatti Alessandro; Sebastiani Roberto, Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL
303. Bertoli Piergiorgio; Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo, A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
304. Cimatti Alessandro; Giunchiglia Fausto; Roveri Marco, Abstraction in Planning via Model Checking
305. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System
306. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Formal Verification of a Railway Interlocking System Using Model Checking
307. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; B. Pietra; D. Romano; F. Torielli; Traverso Paolo, Formal Validation of an Interlocking System for Large Railway Stations: A Case Study
308. Cimatti Alessandro; Giunchiglia Fausto; P. Pecchiari; B. Pietra; J. Profeta; D. Romano; Traverso Paolo; B. Yu, A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
309. Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Traverso Paolo, A Model Based Decision Procedure for Common Sense Temporal Reasoning
310. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System
311. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; B. Pietra; D. Romano; F. Torielli; Traverso Paolo, Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO
312. Bertoli Piergiorgio; Cimatti Alessandro; Giunchiglia Fausto; Traverso Paolo, Certification of Translators via Off-line and On-line Proof Logging and Checking
313. Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Traverso Paolo, Planning via Model Checking: A Decision Procedure for AR
314. Bouquet Paolo; Cimatti Alessandro, Mechanizing Local Reasoning with Contexts
315. Cimatti Alessandro; Serafini Luciano, Mechanizing Multi-Agent Reasoning with Belief Contexts
316. Massimo Benerecetti; Cimatti Alessandro; Enrico Giunchiglia; Giunchiglia Fausto; Serafini Luciano, Context-Based Formal Specification of Multi-Agent Systems
317. Cimatti Alessandro; Traverso Paolo, Computational Reflection via Mechanized Logical Deduction
318. Enrico Giunchiglia; Armando Alessandro; Traverso Paolo; Cimatti Alessandro, Visual Representation of Natural Language Scene Descriptions
319. Giuliano Antoniol; Caprile Bruno Giovanni; Cimatti Alessandro; Roberto Fiutem, Experiencing Real-Life Interactions with the Mobile Platform of MAIA
320. Cimatti Alessandro; Serafini Luciano, Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization
321. Cimatti Alessandro; Serafini Luciano, Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study
322. Cimatti Alessandro; Serafini Luciano, Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance
323. Armando Alessandro; Cimatti Alessandro; E. Giunchiglia; P. Pecchiari; L. Spalazzi; Traverso Paolo, Flexible Planning by Integrating Multilevel Reasoning
324. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Enrico Giunchiglia; Armando Alessandro, MRG: Building planners for real world complex applications
325. Giunchiglia Fausto; Armando Alessandro; Cimatti Alessandro; Traverso Paolo, First steps towards provably correct system synthesis of system code
326. Cimatti Alessandro; Giunchiglia Fausto; G. Mongardi; D. Romano; F. Torielli; Traverso Paolo, Valutazione del CBR-tool orientato all`help desk `Case Advisor`
327. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari, MRG: sistema di ragionamento
328. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Armando Alessandro; Paolo Pecchiari, MRG: un nucleo di ragionamento per un sistema integrato multifunzionale
329. Traverso Paolo; Luca Spalazzi; Cimatti Alessandro, A planning language and a semantics for real world autonomous agents
330. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi, Beyond the single planning paradigm: introspective planning
331. Luca Spalazzi; Cimatti Alessandro; Traverso Paolo, Implementing planning as tactical reasoning
332. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Enrico Giunchiglia, Building planners with explicit control mechanism
333. Cimatti Alessandro; Traverso Paolo; Luca Spalazzi, Programming Planners with Flexible Architectures
334. Cimatti Alessandro; Traverso Paolo; Sandro Dalbosco; Armando Alessandro, Navigation by Combining Reactivity and Planning
335. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Paolo Pecchiari, A System for Multi-Level Reasoning
336. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi, Tactics: extending the notion of plan
337. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Armando Alessandro; Paolo Pecchiari, Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento
338. Giunchiglia Fausto; Cimatti Alessandro; Sandro Dalbosco; Traverso Paolo; Luca Spalazzi, MRG: un sistema di ragionamento distribuito per applicazioni complesse