Marco
Bozzano's Publications
- [CEAS23] A. Bombardelli, A. Bonizzi, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, E. Nicolodi, S. Tonetta, G. Zampedri. COMPASTA = COMPASS + TASTE. In CEAS Space Journal 16(2), pages 169-181, 2024.
- [AUJ23] A. Bombardelli, A. Bonizzi, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, M. Nazaria, E. Nicolodi, S. Tonetta, G. Zampedri. COMPASTA: Integrating COMPASS Functionality into TASTE. In Ada User Journal 44(1), 2023.
- [AII23] M. Bozzano, R. Bussola, M. Cristoforetti, S. Goyal, M. Jonas, K. Kapellos, A. Micheli, D. Solda, S. Tonetta, C. Tranoris, A. Valentini. RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets. In The Use of Artificial Intelligence for Space Applications, AII 2022. Studies in Computational Intelligence, vol 1088. Springer, 2023.
Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [ICSRS23] I. Lanzani, R. Scattolini, E. Zio, A. Cimatti, M. Bozzano, S. Tonetta. Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. In Proc. ICSRS, pages 376-383, 2023. Download: pdf
Please note that © IEEE
holds
the copyright of this paper
- [IMBSA22] A. Bombardelli, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, M. Nazaria, E. Nicolodi, S. Tonetta.
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. In Proc. IMBSA 2022.
Munich, Germany, September 5-7, 2022. LNCS 13525, pages 21-27. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [LPNMR22] M. Bozzano, A. Cimatti, A. Griggio, M. Jonas and G. Kimberly. Analysis of Cyclic Fault Propagation via ASP. In Proc. LPNMR 2022.
Genova, Italy, September 5-9, 2022. LNCS 13416, pages 470-483. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [AI22] B. Bittner, M. Bozzano, A. Cimatti, M. Gario, S. Tonetta, V. Vozarova. Diagnosability of fair transition systems.
Artificial Intelligence 309, 2022.
Please note that © Elsevier
holds
the copyright of this paper
- [RSSRAIL22] A. Amendola, L. Barruffo, M. Bozzano, A. Cimatti, S. De Simone, E. Fedeli, A. Gabbasov, D.E. Garrubba, M. Girardi, D. Serra, R. Tiella, G. Zampedri.
Formal Design and Validation of an Automatic Train Operation Control System. In Proc. RSSRAIL 2022.
Paris, France, June 1-2, 2022. LNCS 13294, pages 169-178. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [TACAS22b] M. Bozzano, A. Cimatti, S. Tonetta, V. Vozarova. Searching for Ribbon-Shaped Paths in Fair Transition Systems. In Proc. TACAS 2022.
Munich, Germany, April 2-7, 2022. LNCS 13243, pages 543-560. Download:
pdf
- [TACAS22a] M. Bozzano, A. Cimatti, A. Griggio and M. Jonas. Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. In Proc. TACAS 2022.
Munich, Germany, April 2-7, 2022. LNCS 13244, pages 273-291. Download:
pdf
- [TIST21] M. Bozzano, A. Cimatti, M. Roveri. A Comprehensive Approach to On-Board Autonomy Verification and Validation. ACM Transactions on Intelligent Systems and Technology 12:4(1-29), 2021.
Please note that © ACM
holds
the copyright of this paper
- [CAV21] M. Bozzano, A. Cimatti, A.F. Pires, A. Griggio, M. Jonas, G. Kimberly. Efficient SMT-based Analysis of Failure Propagation. In
Proceedings CAV 2021. LNCS 12760, pages 209-230. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [FAOC21] M. Bozzano, A. Cimatti, M. Gario, D. Jones, C. Mattarei. Model-based Safety Assessment of a Triple Modular Generator with xSAP. In Formal Aspects of Computing 33(2):251-295, 2021.
Please note that © Springer
holds
the copyright of this paper
- [SAFECOMP20] M. Bozzano, P. Munk, M. Schweizer, S. Tonetta, V. Vozárová. Model-Based Safety Analysis of Mode Transitions. In Proceedings of
SAFECOMP 2020. LNCS 12234, pages 99-114. Lisbon, Portugal, September 16-18, 2020.
Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [IMBSA-PROC-19] Model-Based Safety and Assessment, 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, September 16-18, 2019, Proceedings. Editors: Yiannis Papadopoulos, Koorosh Aslansafat, Panagiotis Katsaros, Marco Bozzano (Eds.). Springer, 2019.
- [TACAS19] M. Bozzano, H. Bruintjes, A. Cimatti, J.-P. Katoen, T. Noll and S. Tonetta. COMPASS 3.0. In Proc. TACAS 2019. Prague, Czech Republic, April 6-11, 2019. Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [FAOC19] M. Bozzano, A. Cimatti and C. Mattarei. Formal reliability analysis of redundant architectures. Formal Aspects of Computing 31(1):59-94, 2019.
Please note that © Springer
holds
the copyright of this paper
- [CREST 2017] M. Bozzano. Causality and Temporal Dependencies in the Design of Fault Management Systems. In Proceedings of CREST@ETAPS 2017. Uppsala, Sweden, 29th April 2017. EPTCS 259, pages 39-46, 2017.
- [IMBSA-PROC-17] Model-Based Safety and Assessment, 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Editors: Marco Bozzano, Yiannis Papadopoulos (Eds.). Springer, 2017.
- [IMBSA17] B. Bittner, M. Bozzano and A. Cimatti. Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. In Proceedings of IMBSA 2017. Trento, Italy, August 11-13, 2017.
Download: pdf
Please note that © Springer holds the copyright of this paper
- [SHONAN17] M. Bozzano, H. Bruintjes, A. Cimatti, J.-P. Katoen, T. Noll, and S. Tonetta. Formal Methods for Aerospace Systems. In Nakajima, S., Talpin, J.-P., Toyoshima, M., Yu, H. (Eds.), Cyber-Physical System Design from an Architecture Analysis Viewpoint, pages 133-159. Springer, 2017.
- [IJCAI16] B. Bittner, M. Bozzano, A. Cimatti. Automated Synthesis of Timed Failure Propagation Graphs. In Proceedings of IJCAI 2016. New York City, July 9-15, 2016.
Download: pdf
Please note that © AAAI holds the copyright of this paper
- [TACAS16] B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli and G. Zampedri. The xSAP Safety Analysis Platform. In Proceedings of TACAS 2016. Eindhoven, The Netherlands, April 2-8, 2016.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [AAAI16] B. Bittner, M. Bozzano, A. Cimatti and G. Zampedri. Automated Verification and Tightening of Failure Propagation Models. In Proceedings of AAAI 2016, pages 907-913. Phoenix, Arizona, February 12-17, 2016.
Download: pdf
Please note that © AAAI
holds
the copyright of this paper
- [LMCS15] M. Bozzano, A. Cimatti, M. Gario and S. Tonetta. Formal Design of Asynchronous FDI Components using Temporal
Epistemic Logic . Logical Methods in Computer Science. Volume 11, 2015.
- [CAV15b] M. Bozzano, A. Cimatti, Alberto Griggio and Cristian Mattarei. Efficient Anytime Techniques for Model-Based Safety Analysis. In Proceedings of CAV 2015. San Francisco, California, july 18-24, 2015.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [CAV15a] M. Bozzano, A. Cimatti, A.F. Pires, D. Jones, G. Kimberly,
T. Petri, R. Robinson and S. Tonetta. Formal Design and Safety Analysis of AIR6110 Wheel Brake System. In Proceedings of CAV 2015. San Francisco, California, july 18-24, 2015.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [SCP15] M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri and S. Tonetta. Safety Assessment of AltaRica models via Symbolic Model Checking. Science of Computer Programming 98(4):464-483. February 2015.
Please note that © Elsevier
holds
the copyright of this paper
- [AAAI15] M. Bozzano and A. Cimatti and M. Gario and Andrea Micheli. SMT-based Validation of Timed Failure Propagation Graphs. In Proceedings of AAAI 2015, pages 3724-3730. Austin, Texas, January 25-30, 2015.
Download: pdf
Please note that © AAAI
holds
the copyright of this paper
- [RESS14] M. Bozzano, A. Cimatti, J.-P. Katoen, P. Katsaros, K. Mokos, V.Y. Nguyen , T. Noll, B. Postma and M. Roveri. Spacecraft Early Design Validation using Formal Methods. Reliability Engineering & System Safety 132:20-35. December 2014.
Please note that © Elsevier
holds
the copyright of this paper
- [IMBSA14b] B. Bittner, M. Bozzano, A. Cimatti, R. de Ferluc, M. Gario, A. Guiotto and Y. Yushtein. An Integrated Process for FDIR Design in Aerospace. In Proceedings of IMBSA 2014, LNCS 8822, pages 82-95. Munich, Germany, October 27-29, 2014.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [IMBSA14a] B. Bittner, M. Bozzano, A. Cimatti, R. de Ferluc, M. Gario, A. Guiotto and Y. Yushtein. FAME: A Model-Based Environment for FDIR Design in Aerospace. In Short & Tutorial Proceedings of IMBSA 2014. Munich, Germany, October 27-29, 2014.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [ATVA14] M. Bozzano, A. Cimatti, C. Mattarei and S. Tonetta. Formal Safety Assessment via Contract-Based Design. In Proceedings of ATVA 2014, LNCS 8837, pages 81-97. Sydney, Australia, November 3-7, 2014.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [FMCAD14] B. Bittner, M. Bozzano, A. Cimatti, M. Gario and A. Griggio. Towards Pareto-optimal parameter synthesis for monotonic cost functions. In Proceedings of FMCAD 2014. Lausanne, Switzerland, October 21-24, 2014.
Download: pdf
- [DASIA14] A. Guiotto, R. De Ferluc, M. Bozzano, A. Cimatti, M. Gario and Y.Yushtein. Fame process: A dedicated development and V&V process for FDIR. In Proceedings of DASIA 2014, Warsaw, Poland, June 3-5, 2014.
Download: pdf
- [TACAS14] M. Bozzano, A. Cimatti, M. Gario and S. Tonetta. Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. In Proceedings of TACAS 2014. Grenoble, France, April 5-13, 2014.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [HVC13] . M. Bozzano, A. Cimatti and C. Mattarei. Efficient Analysis of Reliability Architectures via Predicate Abstraction. In Proceedings of HVC 2013. Haifa, Israel, November 5-7, 2013.
Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [DX13] . M. Bozzano, A. Cimatti, M. Gario and S.Tonetta. Formal Specification and Synthesis of FDI through an Example. In Proceedings of DX 2013. Jerusalem, Israel, October 1-4, 2013.
Download: pdf
- [ICECCS13] . M. Bozzano, A. Cimatti and C. Mattarei. Automated Analysis of Reliability Architectures. In Proceedings of ICECCS 2013. Singapore, July 17-19, 2013.
Download: pdf
Please note that © IEEE
holds
the copyright of this paper
- [AAAI13] . M. Bozzano, A. Cimatti, M. Gario and S.Tonetta. A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. In AAAI 2013 (late breaking paper). Bellevue, WA, July 14-18, 2013.
Download: pdf
- [FAOC13b] R. Banach and M.Bozzano. The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits. Formal Aspects of Computing 25(4):609-657.
Please note that © Springer
holds
the copyright of this paper
- [FAOC13a] R.Banach and M. Bozzano. The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits. Formal Aspects of Computing 25(4):573-607.
Please note that © Springer
holds
the copyright of this paper
- [CHAPTER13] M.Bozzano and A. Villafiorita. Safety Critical Systems. Encyclopedia of Software Engineering.
CRC Press (Taylor & Francis Group). ISBN: 1-4200-5977-7.
Published online January 2013.
- [AAAI12] B. Bittner, M. Bozzano, A. Cimatti and X. Olive. Symbolic Synthesis of Observability Requirements for Diagnosability. In Proceedings of AAAI 2012. Toronto, Canada, July 22-26, 2012. AAAI Press. Download: pdf
Please note that © AAAI
holds
the copyright of this paper
- [DASIA12] E. Alaña, H. Naranjo, Y. Yushtein, M. Bozzano, A. Cimatti, M. Gario, R. de Ferluc, G. Garcia. Automated generation of FDIR for the compass integrated toolset (AUTOGEF). In Proceedings of DASIA 2012. Dubrovnik, Croatia. May 14-16, 2012. Download: pdf
- [CJ11] M.Bozzano, A.Cimatti, J.-P.Katoen, V. Y.Nguyen, T.Noll and M.Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal, 54(5):754-775, 2011.
Please note that © Oxford University Press
holds
the copyright of this paper
- [AVOCS11] M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri and S. Tonetta. Symbolic Model Checking and Safety Assessment of Altarica models. In Proceedings of AVOCS 2011. Newcastle, UK, September 12-14, 2011. AAAI Press. Download:
pdf
Please note that © AAAI
holds
the copyright of this paper
- [IJCAI11] M. Bozzano, A. Cimatti, M. Roveri and A.
Tchaltsev. A Comprehensive Approach to On-Board Autonomy Verification and Validation. In Proceedings of IJCAI 2011. Barcelona, Spain, July 16-22, 2011. AAAI Press. Download:
pdf
Please note that © AAAI
holds
the copyright of this paper
- [ASTRA11] B. Bittner, M. Bozzano, A. Cimatti and X.
Olive. Symbolic Synthesis of Observability Requirements for Diagnosability. In Proceedings of ASTRA 2011. Noordwijk, the Netherlands, April 12-14, 2011. Download:
pdf
- [BOOK10] M.Bozzano and A. Villafiorita. Design and Safety Assessment of Critical Systems. CRC Press (Taylor & Francis Group), An Auerbach Book. 1st Edition, November 2010. ISBN 9781439803325.
Click here for book info.
- [ISSC10] O. Lisagor, M.Bozzano, M. Bretschneider and T.P. Kelly.
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results. In Proceedings of ISSC 2010. Minneapolis, Minnesota, August 30 - September 3, 2010. System Safety Society. Download:
pdf
- [CAV10] M.Bozzano, A.Cimatti, J.-P.Katoen, V. Y.Nguyen, T.Noll, M.Roveri and R.Wimmer. A Model Checker for AADL. In Proceedings of CAV 2010, LNCS 6174, pages 562-565. Edinburgh, UK, July 15-19, 2010.
Download
Please note that © Springer
holds
the copyright of this paper
- [ERTS10] M.Bozzano, R.Cavada, A.Cimatti, J.-P.Katoen, V. Y.Nguyen, T.Noll, and X.Olive. Formal
Verification and Validation of AADL Model. In Proceedings of ERTS2 2010. Toulouse, France, May 19-21, 2010.
Download
- [ACESMB09] M.Bozzano, A.Cimatti, J.-P.Katoen, V.Y.Nguyen, T.Noll and M.Roveri. Model-Based Codesign of Critical Embedded Systems. In Proceedings of ACES-MB 2009, LNCS. Denver, Colorado, October 6, 2009. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [VVPS09] M.Bozzano, A.Cimatti, M.Roveri and A.Tchaltsev. A Comprehensive Approach to On-Board Autonomy Verification and Validation. In Proceedings of VV&PS 2009. Thessaloniki, Greece, September 20, 2009. Download:
pdf
- [SAFECOMP09] M.Bozzano, A.Cimatti, J.-P.Katoen, V.Y.Nguyen, T.Noll and M.Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In Proceedings of SAFECOMP 2009, LNCS 5775, pages 173-186. Hamburg, Germany, September 15-18, 2009. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [ESECFSE09] M.Bozzano, A.Cimatti, M.Roveri, J.-P.Katoen, V.Y.Nguyen and T.Noll. Verification and Performance Evaluation of AADL Models (Tool Demonstration). In Proceedings of ESEC/FSE 2009, pages 285-286. Amsterdam, The Netherlands, August 24-28, 2009. Download:
pdf
Please note that © ACM Press
holds
the copyright of this paper
- [MEMOCODE09] M.Bozzano, A.Cimatti, M.Roveri, J.-P.Katoen, V.Y.Nguyen and T.Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. In Proceedings of MEMOCODE 2009, pages 121-130. Cambridge, Massachusetts - USA, July 13-15, 2009. Download:
pdf
Please note that © ACM Press
holds
the copyright of this paper
- [ASTRA08] M.Bozzano, A.Cimatti, A.Guiotto, A.Martelli, M.Roveri, A.Tchaltsev and Y.Yushtein. On-Board Autonomy via Symbolic Model Based Reasoning. In Proceedings of ASTRA 2008. ESA/ESTEC, Noordwijk, The Netherlands, September 11-13, 2008. Download:
pdf
- [ATVA07] M.Bozzano, A.Cimatti and F.Tapparo. Symbolic Fault Tree Analysis for Reactive Systems. To be presented at ATVA 2007, LNCS 4762, pages 162-176. Tokyo, Japan, October 22-25, 2007. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [MOCHART07] P.Bertoli, M.Bozzano and A.Cimatti. A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. In Model Checking and Artificial Intelligence , LNCS 4428, pages 1-18, 2007. Download: pdf
Please note that © Springer
holds
the copyright of this paper
- [STTT07] M.Bozzano and A.Villafiorita. The FSAP/NuSMV-SA Safety
Analysis Platform. International
Journal on Software Tools for Technology Transfer, 9(1):5-24, 2007.
Please note that © Springer
holds
the copyright of this paper
- [SAFECOMP06] R.Banach and M.Bozzano. Retrenchment, and the
Generation of Fault Trees for Static, Dynamic and Cyclic Systems. In Proceedings of SAFECOMP 2006, LNCS 4166, pages
127-141. Gdansk,
Poland, September 26-29, 2006. Download:
pdf
Please note that © Springer
holds
the copyright of this paper
- [ECAI06] M.Bozzano, C.Jochim and F.Tapparo. The FSAP/NuSMV-SA
Safety
Analysis Platform. (Demo presentation). Presented at ECAI 2006. Riva
del Garda, Italy, August 28 - September 1, 2006. Download: pdf
- [IC06] M.Bozzano, R.Bruttomesso, A.Cimatti,
T.Junttila, S.Ranise, P.v.Rossum, and R.Sebastiani. Efficient Theory
Combination via Boolean Search. Information
and Computation, Special Issue
on Combining Logical Systems, 204(10): 1493-1525, 2006.
Please note that ©
Elsevier Science holds
the copyright of this paper
- [ERTS06] O.Akerlund, P.Bieber, E.Boede, M.Bozzano,
M.Bretschneider, C.Castel, A.Cavallo, M.Cifaldi, J.Gauthier,
A.Griffault, O.Lisagor, A.Luedtke, S.Metge, C.Papadopoulos,
T.Peikenkamp, L.Sagaspe, C.Seguin, H.Trivedi, and L.Valacca. ISAAC, a
framework for integrated safety analysis of functional, geometrical and
human aspects. In Proceedings of
ERTS 2006. Toulouse, France, January 25-27, 2006. Download: pdf
- [ENTCS06] M.Bozzano, R.Bruttomesso, A.Cimatti, A.Franzen,
Z.Hanna, Z.Kasidashvili, A.Palti and R.Sebastiani. Encoding RTL
Constructs for Mathsat: A preliminary report. ENTCS 144(2), pages 3-14 (Proc. PDPAR 2005). Edinburgh, UK, July 12, 2005. Download: pdf
Please note that © Elsevier
Science holds the copyright of this
paper
- 2005
- [JAR05] M.Bozzano, R.Bruttomesso, A.Cimatti,
T.Junttila, P.v.Rossum,
S.Schulz and R.Sebastiani. Mathsat: Tight Integration of SAT and
Mathematical Decision Procedures. Journal
of Automated Reasoning, 35: 265-293, October 2005.
Please note that © Springer holds
the copyright of this paper
- [CADE05] M.Bozzano, R.Bruttomesso, A.Cimatti,
T.Junttila, P.v.Rossum,
S.Schulz and R.Sebastiani. The MathSAT 3 System. In Proceedings of CADE-20, LNAI 3632,
pages 315-321. Tallin, Estonia,
July 22-27 2005. Download: pdf
Please note that © Springer holds
the copyright of this paper
- [CAV05] M.Bozzano, R.Bruttomesso, A.Cimatti,
T.Junttila, S.Ranise, P.v.Rossum and R.Sebastiani. Efficient
Satisfiability Modulo Theories via Delayed Theory Combination. In Proceedings of CAV 2005, LNCS 3576,
pages
335-349, Edinburgh, UK, July 6-10, 2005. Download: ps
Please note that © Springer
holds
the copyright of this paper
- [TACAS05] M.Bozzano, R.Bruttomesso, A.Cimatti,
T.Junttila, P.v.Rossum,
S.Schulz and R.Sebastiani. An incremental and Layered
Procedure for the Satisfiability of Linear Arithmetic Logic. In Proceedings of TACAS 2005, LNCS
3440, pages 317-333, Edinburgh, U.K, April 4-8 2005. Download: ps
Please note that ©
Springer holds the copyright of this paper
- [ENTCS05] G.Audemard, M.Bozzano, A.Cimatti, and R.Sebastiani.
Verifying Industrial Hybrid Systems with MathSAT. ENTCS 119(2),
pages 17-32 (Proc. BMC 2004. Boston, Massachussets, July 18, 2004).
Download: pdf
Please note that © Elsevier
Science holds the copyright of this
paper
- 2004
- [JSC04] M.Bozzano and G.Delzanno. Automatic Verification of
Secrecy Properties for Linear Logic Specifications of Cryptographic
Protocols. Journal of
Symbolic Computation, 38(5): 1375-1415, 2004.
Please note that © Elsevier
Science holds the copyright of this
paper
- [PDPAR04] M.Bozzano, A.Cimatti, G.Colombini, V.Kirov, and
R.Sebastiani. The MathSAT solver -- a progress report. In
Proceedings of PDPAR 2004. Cork, Ireland, July 5 2004. An extended
version is available as technical report. Download: pdf
- [TPLP04] M.Bozzano, G.Delzanno and M.Martelli. Model Checking
Linear
Logic Specifications. Theory and Practice of Logic Programming,
4(5-6):573-619, 2004. Download
Please note that © Cambridge
University Press holds the copyright of this paper
- 2003
- [SAFECOMP03] M.Bozzano and A.Villafiorita. Improving System
Reliability via Model Checking: the FSAP / NuSMV-SA Safety Analysis
Platform. In Proceedings of SAFECOMP 2003, LNCS 2788, pages
49-62, Edimburgh, Scotland, United Kingdom, September 23-26, 2003.
Download: pdf
Please note that ©
Springer holds the copyright of this paper
- [FM03] M.Bozzano, A.Cavallo, M.Cifaldi, L.Valacca and
A.Villafiorita. Improving Safety Assessment of Complex Systems: An
Industrial case study. In Proceedings of FM 2003, LNCS 2805,
pages 208-222, Pisa, Italy, September 8-14, 2003. Download: pdf
Please note that ©
Springer holds the copyright of this paper
- [PDPAR03] G.Audemard, M.Bozzano, A.Cimatti, and R.Sebastiani.
Verifying Industrial Hybrid Systems with MathSAT. In Proceedings of
PDPAR 2003, Miami, Florida, July 29, 2003. Download: ps
- [ESREL03a] M.Bozzano et al. ESACS: an integrated methodology
for design and safety analysis of complex systems. In Proceedings
of ESREL 2003, pages 237-245, Maastricht, The Netherlands, June
15-18, 2003. Download: pdf
Please note that © Balkema Publishers holds
the
copyright of this paper
- [ESREL03b] M.Bozzano and A.Villafiorita. Integrating fault
tree
analysis with event ordering information. In Proceedings of ESREL
2003, pages 247-254, Maastricht, The Netherlands, June 15-18, 2003.
Download: pdf
Please note that © Balkema Publishers holds
the
copyright of this paper
- 2002
- [PPDP02] M.Bozzano and G.Delzanno. Automated Protocol
Verification in Linear Logic. In Proceedings of PPDP 2002,
Pittsburgh, Pennsylvania, October 6-8, 2002. Download: pdf
Please note that ©
ACM Press holds the copyright of this paper
- [CAV02] M.Bozzano and G.Delzanno. Algorithmic Verification of
Invalidation-based Protocols. In Proceedings of CAV 2002, LNCS
2404, pages 295-308, Copenhagen, Denmark, July 27-31, 2002. Download: pdf
Please note that ©
Springer holds the copyright of this paper
- [THESIS02] M.Bozzano. A Logic-Based Approach to Model
Checking of
Parameterized and Infinite-State Systems. PhD Thesis, DISI,
University of Genova, June 2002. Download: abstract, pdf
- [TACAS02] M.Bozzano and G.Delzanno. Beyond Parameterized
Verification. In Proceedings of TACAS 2002, LNCS 2280, pages
221-235, Grenoble, France, April 8-12, 2002. Download: pdf
Please note that ©
Springer holds the copyright of this paper
- [TPLP02] M.Bozzano, G.Delzanno, and M.Martelli. An Effective
Fixpoint Semantics for Linear Logic Programs. Theory and Practice
of Logic Programming, 2(1):85-122, 2002. Download
Please note that © Cambridge
University Press holds the copyright of this paper
- 2001
- [SAVE01] M.Bozzano. Ensuring Security through Model Checking
in a Logical Environment (Preliminary Results). In Proceedings of
SAVE 2001, a workshop of ICLP 2001, Paphos, Cyprus, 1st December
2001. Download: pdf
- [TR-CMU-01] M.Bozzano. Fixpoint Semantics for a Fragment of
First-Order Linear Logic. Technical Report CMU-CS-01-129, Carnegie
Mellon University, May 2001. Download: pdf
See also
CMU Technical Reports
- [ENTCS01] M.Bozzano, G.Delzanno, and M.Martelli. On the
Relations between Disjunctive and Linear Logic Programming. Electronic
Notes in Theoretical Computer Science, volume 48, 2001. Download: pdf
Please note that ©
Elsevier Science holds the copyright of this paper
- [FLOPS01] M.Bozzano, G.Delzanno, and M.Martelli. An Effective
Bottom-Up Semantics for First Order Linear Logic Programs. In
Proceedings of FLOPS 2001, LNCS 2024, pages 138-152, Tokyo, Japan,
March 7-9, 2001. Download: pdf
Please note that ©
Springer holds the copyright of this paper
- 2000
- [GULP00] M.Bozzano, G.Delzanno, and M.Martelli. DLP as an
Abstraction of LO (On the relations between disjunctive and linear
logic programming). In Proceedings of APPIA-GULP-PRODE 2000,
La Habana, Cuba, December 4-7, 2000. An extended and revised
version of this paper is available, see [ENTCS01]
- [PPDP00] M.Bozzano, G.Delzanno, and M.Martelli. A Bottom-up
Semantics for Linear Logic Programs. In Proceedings of PPDP 2000,
pages 92-102, Montreal, Canada, September 20-22, 2000. Download: pdf
Please note that ©
ACM Press holds the copyright of this paper
- 1999
- [BOOK99] M.Bozzano, G.Delzanno, V.Mascardi, M.Martelli and
F.Zini. Logic Programming and Multi-Agent Systems: a Synergic
Combination for Applications and Semantics. In K.R.Apt, V.W.Marek,
M.Truszczynski and D.S.Warren, editors, The Logic Programming
Paradigm: A 25-Year Perspective, Springer Series in Artificial
Intelligence, pages 5-32, Springer, 1999. Download: pdf.
Please note that ©
Springer holds the copyright of this paper
- [PADL99] M.Bozzano, G.Delzanno, V.Mascardi, M.Martelli and
F.Zini. Multi-Agent Systems Development as a Software Engineering
Enterprise. In Proceedings of PADL '99, LNCS 1551, pages
46-60, S.Antonio, Texas, January 1999. Download: pdf
Please note that ©
Springer holds the copyright of this paper
- 1997
- [DYNAMICS97] M.Bozzano, G.Delzanno and M.Martelli. A Linear
Logic
Specification of Chimera. In Proceedings of DYNAMICS '97, a
satellite workshop of ILPS '97, Port Jefferson, New York, USA,
1997.Download: pdf
- [GULP97] M.Bozzano, G.Delzanno and M.Martelli. A Linear Logic
Semantics for Object-Oriented, Deductive and Active Databases. In
Proceedings of APPIA-GULP-PRODE '97, Grado, Italy, June 16-19,
1997. Download: pdf
Back to Marco Bozzano's Homepage
Last Updated: 26 March 2024