Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(29)
Alessandro Cimatti
8
Marco Roveri
6
Simone Semprini
3
Roderick Bloem
3
Ingo Pill
3
Conferences
(5)
DAC
2
FMCAD
2
IJCAI
1
ASE
1
CAV
1
Keywords
(26)
Embed
Subscribe
Academic
Authors
Roberto Cavada
Edit
Roberto Cavada
Fondazione Bruno Kessler
Publications: 10
|
Citations: 109
|
G-Index: 10
|
H-Index: 5
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Hardware & Architecture
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
29 co-authors
from 2003 to 2010
; Cited by
185 authors
Bing
Cumulative
Annual
Order by:
Publications
(10)
BibTeX
|
RIS
|
RefWorks
Download
Formal Verification and Validation of AADL Models
(
Citations: 3
)
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
Published in 2010.
Supporting Requirements Validation: The EuRailCheck Tool
Roberto Cavada
,
Alessandro Cimatti
,
Alessandro Mariotti
,
Cristian Mattarei
,
Andrea Micheli
,
Sergio Mover
,
Marco Pensallorto
,
Marco Roveri
,
Angelo Susi
,
Stefano Tonetta
Conference:
Automated Software Engineering - ASE
, pp. 665-667, 2009
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
(
Citations: 22
)
Roberto Cavada
,
Alessandro Cimatti
,
Anders Franzén
,
Krishnamani Kalyanasundaram
,
Marco Roveri
,
R. K. Shyamasundar
Conference:
Formal Methods in Computer-Aided Design - FMCAD
, pp. 69-76, 2007
RAT: A Tool for the Formal Analysis of Requirements
(
Citations: 6
)
Roderick Bloem
,
Roberto Cavada
,
Ingo Pill
,
Marco Roveri
,
Andrei Tchaltsev
Conference:
Computer Aided Verification - CAV
, pp. 263-267, 2007
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
Roberto Cavada
,
Alessandro Cimatti
,
Anders Franz´en
,
Krishnamani Kalyanasundaram
,
Marco Roveri
,
R. K. Shyamasundar
Conference:
Formal Methods in Computer-Aided Design - FMCAD
, 2007
Order by:
Citations
(109 times by 103 publications)
Formalizing requirements with object models and temporal constraints
(
Citations: 2
)
Alessandro Cimatti
,
Marco Roveri
,
Angelo Susi
,
Stefano Tonetta
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 147-160, 2011
Modeling and Verification of Kerberos Protocol Using Symbolic Model Verifier
Punit Mundra
,
Shobhit Shukla
,
Madhavi Sharma
,
Radhika M. Pai
,
Sanjay Singh
Conference:
International Conference on Communication Systems and Network Technologies - CSNT
, 2011
Integrating AADL-Based Tool Chain into Existing Industrial Processes
Alexey Khoroshilov
,
Igor Koverninskiy
,
Alexander Petrenko
,
Alexander Ugnenko
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
Stefan Björnander
,
Cristina Seceleanu
,
Kristina Lundqvist
,
Paul Pettersson
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Model checking of Control Interpreted Petri Nets
Iwona Grobelna
,
Marian Adamski
Published in 2011.
Comments