( en | de | ru )

 

Disambiguation of "Bozzano, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Analysis of Reliability Architectures.

, , and . ICECCS, page 198-207. IEEE Computer Society, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Other publications of authors with the same name

Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 335-349. Springer, (2005)An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 317-333. Springer, (2005)Algorithmic Verification of Invalidation-Based Protocols., and . CAV, volume 2404 of Lecture Notes in Computer Science, page 295-308. Springer, (2002)Model-Based Safety Analysis of Mode Transitions., , , , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 99-114. Springer, (2020)Multi-agent Systems Development as a Software Engineering Enterprise., , , , and . PADL, volume 1551 of Lecture Notes in Computer Science, page 46-60. Springer, (1999)Analysis of Cyclic Fault Propagation via ASP., , , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 470-483. Springer, (2022)An Effective Bottom-Up Semantics for First-Order Linear Logic Programs., , and . FLOPS, volume 2024 of Lecture Notes in Computer Science, page 138-152. Springer, (2001)Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems., and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 127-141. Springer, (2006)Beyond Parameterized Verification., and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 221-235. Springer, (2002)An Integrated Process for FDIR Design in Aerospace., , , , , , and . IMBSA, volume 8822 of Lecture Notes in Computer Science, page 82-95. Springer, (2014)