Marco Bozzano
Orcid: 0000-0002-4135-103X
According to our database1,
Marco Bozzano
authored at least 68 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 7th International Conference on System Reliability and Safety, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022
2021
The VALU3S ECSEL project: Verification and validation of automated systems safety and security.
Microprocess. Microsystems, November, 2021
ACM Trans. Intell. Syst. Technol., 2021
Formal Aspects Comput., 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
2019
Formal Aspects Comput., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2017
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Sci. Comput. Program., 2015
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic.
Log. Methods Comput. Sci., 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Reliab. Eng. Syst. Saf., 2014
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits.
Formal Aspects Comput., 2013
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits.
Formal Aspects Comput., 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013
2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Comput. J., 2011
Proceedings of the IJCAI 2011, 2011
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
Proceedings of the Computer Safety, 2009
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
2007
Int. J. Softw. Tools Technol. Transf., 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.
Proceedings of the Computer Safety, 2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
2005
J. Autom. Reason., 2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols.
J. Symb. Comput., 2004
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
2003
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.
Proceedings of the Computer Safety, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Theory Pract. Log. Program., 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the Declarative Programming, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1997
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997