Author of the publication

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.

 

Other publications of authors with the same name

Logic-based verification of multi-diagram UML models for timed systems.. Polytechnic University of Milan, Italy, (2013)A Logic-Based Approach for the Verification of UML Timed Models., , , , and . ACM Trans. Softw. Eng. Methodol., 26 (2): 7:1-7:47 (2017)Agent Based Modeling of Atherosclerosis: A Concrete Help in Personalized Treatments., , , and . ICIC (2), volume 5755 of Lecture Notes in Computer Science, page 386-396. Springer, (2009)QoS Driven Dynamic Binding in-the-many., , , and . QoSA, volume 6093 of Lecture Notes in Computer Science, page 68-83. Springer, (2010)MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems., , , , , , and . ECMFA, volume 7349 of Lecture Notes in Computer Science, page 340-351. Springer, (2012)From Interaction Overview Diagrams to Temporal Logic., , , and . MoDELS (Workshops), volume 6627 of Lecture Notes in Computer Science, page 90-104. Springer, (2010)Towards the verification of multi-diagram UML models.. ICSE, page 1531-1534. IEEE Computer Society, (2012)Performance-driven dynamic service selection., , , and . Concurr. Comput. Pract. Exp., 27 (3): 633-650 (2015)Formal verification and validation of embedded systems: the UML-based MADES approach., , , , , , , and . Softw. Syst. Model., 14 (1): 343-363 (2015)Towards the UML-Based Formal Verification of Timed Systems., , , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 267-286. Springer, (2010)