• 2024
  

• [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.

• 2023
  

• [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

• 2022
  

• [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
  

• 2021
  

• [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

• 2020
  

• [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

• 2019
  

• [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

• 2017
  

• [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.

• 2016
  

• [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

• 2015
  

• [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

• 2014
  

• [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

• 2013
  

• [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.

• 2012
  

• [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
  

• 2011
  

• [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
  

• 2010
  

• [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
  

• 2009
  

• [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

• 2008
  

• [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
  

• 2007
  

• [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

• 2006
  

• [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