Author of the publication

Cross-fertilizing FSM verification techniques and sequential diagnosis.

, , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)

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.

No persons found for author name Corno, Fulvio
add a person with the name Corno, Fulvio
 

Other publications of authors with the same name

Simulation-based verification of network protocols performance., , , , , and . CHARME, volume 105 of IFIP Conference Proceedings, page 236-251. Chapman & Hall, (1997)An Agent Based Autonomic Semantic Platform., , and . ICAC, page 189-196. IEEE Computer Society, (2004)Reliability on pervasive well-being: will it soon become a reality? - State of the art and open issues., and . J. Reliable Intelligent Environments, 5 (3): 129-130 (2019)Evolving assembly programs: how games help microprocessor validation., , and . IEEE Trans. Evolutionary Computation, 9 (6): 695-706 (2005)SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information., , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (2): 191-202 (1999)Real-time monitoring of high-level states in smart environments., and . JAISE, 7 (2): 133-153 (2015)Test Pattern Generation Under Low Power Constraints., , , and . EvoWorkshops, volume 1596 of Lecture Notes in Computer Science, page 162-170. Springer, (1999)Message from the ITiP Symposium Chairs., and . COMPSAC (1), page 727. IEEE Computer Society, (2018)Towards Computational Notebooks for IoT Development., , and . CHI Extended Abstracts, ACM, (2019)A High-Level Approach Towards End User Development in the IoT., , and . CHI Extended Abstracts, page 1546-1552. ACM, (2017)