Marco Bozzano

Co-authors (67)

Conferences (13)

Journals (8)

ENTCS

4
TPLP

2
CORR

2
IANDC

1
STTT

1

Keywords (114)

Embed

Subscribe

Academic

Marco Bozzano

Marco Bozzano

Fondazione Bruno Kessler

Publications: 46 | Citations: 585 | G-Index: 22 | H-Index: 14

Interests: Software Engineering, Programming Languages, Algorithms & Theory

Collaborated with 67 co-authors from 1997 to 2011; Cited by 551 authors

Homepage |

Bing

Cumulative Annual

Order by:

Publications (46)

BibTeX | RIS | RefWorks Download

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
Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A

Christel Seguin, Pierre Bieber, Eckard Boede, Marco Bozzano, Matthias Bretschneider, Antonella Cavallo, Jean-Pierre Heckmann, Oleg Lisagor, Marion Morel, Chris Papadopoulos, Laurent Sagaspe, Valerie Sartorhttp://academic.research.microsoft.com/io.ashx?type=5&id=51204124&selfId1=1147688&selfId2=0&maxNumber=12&query=

Published in 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
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.
A Model Checker for AADL (Citations: 1)

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

Published in 2010.

Order by:

Citations (585 times by 380 publications)

Path-oriented bounded reachability analysis of composed linear hybrid systems (Citations: 2)

Lei Bu, Xuandong Li

Journal: International Journal on Software Tools for Technology Transfer - STTT , vol. 13, no. 4, pp. 307-317, 2011
Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems (Citations: 2)

Tino Teige, Andreas Eggers, Martin Fränzle

Journal: Nonlinear Analysis: Hybrid Systems , vol. 5, no. 2, pp. 343-366, 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
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
On validation of the safety analysis of modern railway systems

Oleg Lisagor, Linling Sun, Tim Kelly, Chao Liu, Ru Niu

Conference: IEEE International Conference on Service Operations and Logistics, and Informatics - SOLI , 2011

Comments