|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 15 keywords
|
|
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta |
Symbolic Model Checking and Safety Assessment of Altarica models.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalizing requirements with object models and temporal constraints. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
Safety, Dependability and Performance Analysis of Extended AADL Models. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri |
Conformant Planning via Symbolic Model Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev |
A Comprehensive Approach to On-Board Autonomy Verification and Validation. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Kratos - A Software Model Checker for SystemC. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri |
Semi-formal functional verification by EFSM traversing via NuSMV. |
HLDVT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Verifying SystemC: A software model checking approach. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kowalewski, Marco Roveri (eds.) |
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri |
Tighter integration of BDDs and SMT for Predicate Abstraction. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
RATSY - A New Requirements Analysis Tool with Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini |
Formalization and validation of a subset of the European Train Control System. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
formal methods, methodology, requirements validation |
| 1 | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta |
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalization and Validation of Safety-Critical Requirements |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Codesign of dependable systems: A component-based modeling language. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta |
Supporting Requirements Validation: The EuRailCheck Tool. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
EuRailCheck, formal methods, requirements validation, ETCS |
| 1 | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri |
Structure-aware computation of predicate abstraction. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Requirements Validation for Hybrid Systems. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Verification and performance evaluation of aadl models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
performability, model checking, reliability, dependability, aadl |
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Symbolic Compilation of PSL. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Object Models with Temporal Constraints. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
From Informal Requirements to Property-Driven Formal Validation. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
Diagnostic Information for Realizability. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri |
Symbolic Implementation of Alternating Automata. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Marco Roveri, Fabio Somenzi |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Syntactic Optimizations for PSL Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
Boolean Abstraction for Temporal Logic Satisfiability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev |
RAT: A Tool for the Formal Analysis of Requirements. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
Strong planning under partial observability. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
From PSL to NBA: a Modular Symbolic Encoding. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti |
Formal analysis of hardware requirements. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
property assurance, property simulation, specification, requirements analysis, hardware design |
| 1 | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini |
Symbolic Implementation of Alternating Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Marco Roveri, Paolo Busetta |
Requirements-Driven Verification of Web Services. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso |
Specifying and analyzing early requirements in Tropos. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Early requirements specifications, Model checking, Formal methods |
| 1 | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
Conformant planning via symbolic model checking and heuristic search. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
Formal Verification of Requirements using SPIN: A Case Study on Web Services. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Daniel Sheridan |
Bounded Verification of Past LTL. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
A Framework for Integrating Business Processes and Business Requirements. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso |
Weak, strong, and strong cyclic planning via symbolic model checking. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos |
Specifying and Analyzing Early Requirements: Some Experimental Results. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi |
Agent-Oriented Modeling by Interleaving Formal and Informal Specification. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
Integrating BDD-Based and SAT-Based Symbolic Model Checking. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
Improving the Encoding of LTL Model Checking into SAT. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri |
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri |
Conformant Planning via Symbolic Model Checking. |
J. Artif. Intell. Res. (JAIR) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
NUSMV: A New Symbolic Model Checker. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Tools for technology transfer, Temporal logics, Symbolic model checking, Automatic verification |
| 1 | Alessandro Cimatti, Marco Roveri |
Conformant Planning via Model Checking. |
ECP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
NUSMV: A New Symbolic Model Verifier. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Paolo Traverso |
Strong Planning in Non-Deterministic Domains Via Model Checking. |
AIPS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Paolo Traverso |
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani |
A New Method for Testing Decision Procedures in Modal Logics. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani |
A New Method for Testing Decision Procedures in Modal and Terminological Logics. |
Description Logics |
1996 |
DBLP BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")