The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessandro Cimatti" ( http://dblp.L3S.de/Authors/Alessandro_Cimatti )

URL (Homepage):  https://es-static.fbk.eu/people/cimatti/  Author page on DBLP  Author page in RDF  Community of Alessandro Cimatti in ASPL-2

Publication years (Num. hits)
1992-1998 (19) 1999-2002 (23) 2003-2006 (28) 2007-2008 (17) 2009-2010 (25) 2011-2012 (26) 2013-2014 (26) 2015 (16) 2016 (17) 2017-2018 (19) 2019 (9)
Publication types (Num. hits)
article(57) incollection(1) inproceedings(162) proceedings(5)
Venues (Conferences, Journals, ...)
FMCAD(17) CAV(16) TACAS(13) AAAI(11) CoRR(11) Artif. Intell.(5) ATVA(5) ECAI(5) IJCAI(5) SAFECOMP(5) CADE(4) CAV (1)(4) Electr. Notes Theor. Comput. S...(4) Formal Methods in System Desig...(4) SAT(4) FM(3) More (+10 of total 99)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 19 keywords

Results
Found 226 publication records. Showing 225 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro Valentini, Andrea Micheli, Alessandro Cimatti Temporal Planning with Intermediate Conditions and Effects. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Formal reliability analysis of redundancy architectures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta NuRV: A nuXmv Extension for Runtime Verification. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta Assumption-Based Runtime Verification with Partial Observability and Resets. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi Robustness Envelopes for Temporal Plans. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta COMPASS 3.0. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Search on Bibsonomy ARCH@CPSIoTWeek The full citation details ... 2019 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta Tightening the contract refinements of a system architecture. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith Strong temporal planning with uncontrollable durations. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Ivan Stojic, Stefano Tonetta Formal Specification and Verification of Dynamic Parametrized Architectures. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury Symbolic execution with existential second-order constraints. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marina Zanella, Ingo Pill, Alessandro Cimatti (eds.) 28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017 Search on Bibsonomy DX The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. Search on Bibsonomy IMBSA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Mirko Sessa SMT-based analysis of switching multi-domain linear Kirchhoff networks. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marjan Sirjani (eds.) Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri Dynamic controllability via Timed Game Automata. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Infinite-state invariant checking with IC3 and predicate abstraction. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani Verilog2SMV: A tool for word-level verification. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Mirko Sessa From Electrical Switched Networks to Hybrid Automata. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta Model-Based Design of an Energy-System Embedded Controller Using Taste. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri Automated Verification and Tightening of Failure Propagation Models. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti Automated Synthesis of Timed Failure Propagation Graphs. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta Tightening a Contract Refinement. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Gario, Stefano Tonetta A Lazy Approach to Temporal Epistemic Logic Model Checking. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving strong controllability of temporal problems with uncertainty using SMT. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Safety assessment of AltaRica models via symbolic model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Stefano Tonetta Contracts-refinement proof system for component-based embedded systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta HRELTL: A temporal logic for hybrid systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson, Stefano Tonetta Formal Design and Safety Analysis of AIR6110 Wheel Brake System. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei Efficient Anytime Techniques for Model-Based Safety Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta Combining MILS with Contract-Based Design for Safety and Security Requirements. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang Formal Verification of Infinite-State BIP Models. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli SMT-Based Validation of Timed Failure Propagation Graphs. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta HyComp: An SMT-Based Model Checker for Hybrid Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Parameter Synthesis with IC3 (Informal Presentation). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier Comparing Different Functional Allocations in Automated Air Traffic Control Design. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku Automated Planning and Model Checking (Dagstuhl Seminar 14482). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri Spacecraft early design validation using formal methods. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta Quantifier-free encoding of invariants for hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta The nuXmv Symbolic Model Checker. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Verifying LTL Properties of Hybrid Systems with K-Liveness. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta Formal Safety Assessment via Contract-Based Design. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein An Integrated Process for FDIR Design in Aerospace. Search on Bibsonomy IMBSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio Towards Pareto-optimal parameter synthesis for monotonic cost functions. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta SMT-based scenario verification for hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Software Model Checking SystemC. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Cimatti SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Timelines with Temporal Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
1Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta Time-aware relational abstractions for hybrid systems. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani A Modular Approach to MaxSAT Modulo Theories. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani The MathSAT5 SMT Solver. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Efficient Analysis of Reliability Architectures via Predicate Abstraction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta OCRA: A tool for checking the refinement of temporal contracts. Search on Bibsonomy ASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Parameter synthesis with IC3. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Automated Analysis of Reliability Architectures. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Software Model Checking with Explicit Scheduler and Symbolic Threads Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Validation of requirements for hybrid systems: A formal approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio Software Model Checking via IC3. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving Temporal Problems Using SMT: Weak Controllability. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta SMT-Based Verification of Hybrid Systems. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive Symbolic Synthesis of Observability Requirements for Diagnosability. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Roberto Sebastiani (eds.) Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Stefano Tonetta A Property-Based Proof System for Contract-Based Design. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving Temporal Problems Using SMT: Strong Controllability. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Verification of parametric system designs. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti Application of SMT solvers to hybrid system verification. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta A quantifier-free SMT encoding of non-linear hybrid automata. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 225 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license