( en | de | ru )

 

Disambiguation of "Lerda, Flavio"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Supervisory Control Software Using State Proximity and Merging.

, , , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 344-357. Springer, (2008)

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.

Flávio Justino

Flavio Carsughi

Flávio Siebeneichler

Flavio Roces

Flavio Carsughi

 

Other publications of authors with the same name

Model Checking Programs, , , , and . Automated Software Engineering, 10 (2): 203--232 (April 2003)Addressing Dynamic Issues of Program Model Checking., and . SPIN, volume 2057 of Lecture Notes in Computer Science, page 80-102. Springer, (2001)A Tool for Checking ANSI-C Programs., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 168-176. Springer, (2004)Model Checking: Software and Beyond., and . J. Univers. Comput. Sci., 13 (5): 639-649 (2007)Verification of Supervisory Control Software Using State Proximity and Merging., , , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 344-357. Springer, (2008)Understanding Counterexamples with explain., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 453-456. Springer, (2004)Distributed-Memory Model Checking with SPIN., and . SPIN, volume 1680 of Lecture Notes in Computer Science, page 22-39. Springer, (1999)Proof-guided underapproximation-widening for multi-process systems., , , and . POPL, page 122-131. ACM, (2005)Model checking in-the-loop: Finding counterexamples by systematic simulation., , , , and . ACC, page 2734-2740. IEEE, (2008)