( en | de | ru )

 

Disambiguation of "Risoldi, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.

, , , and . DSM@SPLASH, page 16:1-16:6. ACM, (2010)

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.

Matteo Garavoglia

Matteo Rini

Marco Matteo

Matteo Bertini

Matteo Gabba

 

Other publications of authors with the same name

Composing Visual Syntax for Domain Specific Languages., , , , and . HCI (2), volume 5611 of Lecture Notes in Computer Science, page 889-898. Springer, (2009)Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping., and . RISE, volume 4401 of Lecture Notes in Computer Science, page 144-159. Springer, (2006)AlPiNA: An Algebraic Petri Net Analyzer., , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 349-352. Springer, (2010)Specification of Decision Diagram Operations., , , , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 437-451. CEUR-WS.org, (2010)Optimizing Algebraic Petri Net Model Checking by Slicing., and . PNSE+ModPE, volume 989 of CEUR Workshop Proceedings, page 275-294. CEUR-WS.org, (2013)A domain specific language and methodology for control systems GUI specification, verification and prototyping., and . VL/HCC, page 179-182. IEEE Computer Society, (2007)AlPiNA: A Symbolic Model Checker., , , and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 287-296. Springer, (2010)Language Enrichment for Resilient MDE., and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 76-90. Springer, (2012)Improving the Significance of Benchmarks for Petri Nets Model Checkers., , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 475-489. CEUR-WS.org, (2010)Assessing the Resilience ofSelf-Organizing Systems: A Quantitative Approach., , and . Adaptive, Dynamic, and Resilient Systems, CRC Press, (2014)