Author of the publication

Graphs in METAFrame: The Unifying Power of Polymorphism.

, , , , , , , , and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 112-129. Springer, (1997)

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 Margaria, Tiziana
add a person with the name Margaria, Tiziana
 

Other publications of authors with the same name

Heterogeneous Analysis and Verification for Distributed Systems., , and . Software - Concepts and Tools, 17 (1): 13-25 (1996)Game-Based Model Checking for Reliable Autonomy in Space., , , and . JACIC, 8 (4): 100-114 (2011)Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service., and . WWV, DSIC-II/03/05, page 9-25. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Incremental Requirement Specification for Evolving Systems., , , , and . FIW, page 145-162. IOS Press, (2000)Enhanced Requirements-Based Programming for Embedded Systems Design., , , , and . MBEES, volume 2006-1 of Informatik-Bericht, page 43-52. TU Braunschweig, Institut für Software Systems Engineering, (2006)High Service Availability in MaTRICS for the OCS., and . ISoLA, volume 17 of Communications in Computer and Information Science, page 572-586. Springer, (2008)Property-driven benchmark generation: synthesizing programs of realistic structure., , , , and . STTT, 16 (5): 465-479 (2014)Service Is in the Eyes of the Beholder.. IEEE Computer, 40 (11): 33-37 (2007)Tools Get Formal Methods into Practice., and . ACM Comput. Surv., 28 (4es): 126 (1996)Method Engineering for Real-Life Concurrent Systems., and . ACM Comput. Surv., 28 (4es): 56 (1996)