( en | de | ru )

 

Disambiguation of "Fantechi, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
Formally Verifying Fault Tolerant System Designs.

, , and . Comput. J., 43 (3): 191-205 (2000)

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.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Zivelonghi

Alessandro Nova

Alessandro Manfredini

Alessandro Busà

 

Other publications of authors with the same name

From Behavioural Contracts to Session Types., , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 278-297. Springer, (2019)A Logical Framework to Deal with Variability., , , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 43-58. Springer, (2010)An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications., , , and . FMICS, volume 4916 of Lecture Notes in Computer Science, page 133-148. Springer, (2007)Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling., , and . FORTE, volume 6 of IFIP Conference Proceedings, page 218-220. Chapman & Hall, (1994)Achieving Fault Tolerance by a Formally Validated Interaction Policy., , and . RODIN Book, volume 4157 of Lecture Notes in Computer Science, page 133-152. Springer, (2006)Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System., and . MODELSWARD (Revised Selected Papers), volume 692 of Communications in Computer and Information Science, page 46-69. Springer, (2016)Lessons Learnt from the Adoption of Formal Model-Based Development., , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 24-38. Springer, (2012)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , and . CAV, volume 575 of Lecture Notes in Computer Science, page 37-47. Springer, (1991)Comparing formal tools for system design: a judgment study., , , , and . ICSE, page 62-74. ACM, (2020)Formal Modeling for Product Families Engineering., and . SPLC, page 193-202. IEEE Computer Society, (2008)