Marco Roveri

Co-authors (155)

Conferences (29)

CAV

7
FMCAD

6
SEFM

3
TACAS

3
IJCAI

2

Journals (23)

Keywords (219)

Embed

Subscribe

Academic

Marco Roveri

Marco Roveri

Fondazione Bruno Kessler

Publications: 109 | Citations: 2435 | G-Index: 48 | H-Index: 24

Interests: Software Engineering, Artificial Intelligence, Geology

Collaborated with 155 co-authors from 1990 to 2011; Cited by 2952 authors

Homepage |

Bing

Cumulative Annual

Order by:

Publications (109)

BibTeX | RIS | RefWorks Download

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
System-Software Co-Engineering: Dependability and Safety Perspective (Citations: 1)

Yuri Yushstein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri

Conference: IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT , 2011
Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Citations: 2)

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Conference: Tools and Algorithms for Construction and Analysis of Systems - TACAS , pp. 341-356, 2011
The record of the Messinian salinity crisis in the Tertiary Piedmont Basin (NW Italy): The Alba section revisited

Francesco Dela Pierre, Elisa Bernardi, Simona Cavagna, Pierangelo Clari, Rocco Gennari, Andrea Irace, Francesca Lozar, Stefano Lugli, Vinicio Manzi, Marcello Natalicchio, Marco Roveri, Donata Violanti

Journal: Palaeogeography Palaeoclimatology Palaeoecology - PALAEOGEOGR PALAEOCLIMATOL , vol. 310, no. 3, pp. 238-255, 2011
Safety, Dependability, and Performance Analysis of Extended AADL Models (Citations: 8)

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri

Journal: The Computer Journal - CJ , vol. doi: 10.10, no. 7, 2010

Order by:

Citations (2435 times by 1798 publications)

Agent-based execution of personalised home care treatments (Citations: 4)

David Isern, Antonio Moreno, David Sánchez, Ákos Hajnal, Gianfranco Pedone, László Zsolt Varga

Journal: Applied Intelligence - APIN , vol. 34, no. 2, pp. 155-180, 2011
Synsedimentary structural control on foredeep turbidites: An example from Miocene Marnoso-arenacea Formation, Northern Apennines, Italy (Citations: 5)

Roberto Tinterri, Pierre Muzzi Magalhaes

Journal: Marine and Petroleum Geology - MAR PETROL GEOL , vol. 28, no. 3, pp. 629-657, 2011
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
System-Software Co-Engineering: Dependability and Safety Perspective (Citations: 1)

Yuri Yushstein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri

Conference: IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT , 2011
Toward verification of material handling systems (Citations: 1)

Thomas Klotz, Bernd Straube, Eva Fordran, Jurgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt

Conference: IEEE International Conference on Industrial Informatics - INDIN , 2011

Comments