MR
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Language Enrichment for Resilient MDE | Software Engineering for Resilient Systems |  | 2012 | 627 | 558 | ||
| Self-organising Pervasive Ecosystems: A Crowd Evacuation Example | Software Engineering for Resilient Systems | | 2011 | 715 | 575 | ||
| Self-aware Pervasive Service Ecosystems | Procedia Computer Science | | 2011 | 786 | 331 | ||
| Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) | | 2011 | 731 | 500 | ||
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | 2011 | 2,500 | 1,009 | ||
| Developing Domain-Specific Modeling Languages by Metamodel Semantic Enrichment and Composition: a Case Study | Proceedings of the 10th workshop on Domain-Specific Modeling (DSM'10) | | 2010 | 1,450 | 729 | ||
| A methodology for the development of complex domain specific languages | | 2010 | 1,509 | 1,324 | |||
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 574 | 198 | ||
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | 2010 | 1,018 | 423 | ||
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 549 | 832 | ||
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | 2010 | 770 | 1,050 | ||
| A language and a methodology for prototyping user interfaces for control systems | Human Machine Interaction. Research results of the MMI program | | 2009 | 828 | 1,417 | ||
| Composing visual syntax for domain specific languages | Human-Computer Interaction. Novel Interaction Methods and Techniques. 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II | | 2009 | 649 | 380 | ||
| Towards the application of a model based design methodology for reliable control systems on HEP experiments | Nuclear Science Symposium Conference Record, 2008. NSS '08. IEEE | | 2008 | 612 | 394 | ||
| A methodology for control systems GUI prototyping - a case study | 7th international workshop on Personal Computers and Particle Accelerator Controls | | 2008 | 659 | 138 | ||
| A domain specific language and methodology for control systems GUI specification, verification and prototyping | 2007 IEEE Symposium on Visual Languages and Human-Centric Computing | | 2007 | 605 | 1,553 | ||
| Towards a formal, model-based framework for control systems interaction prototyping | Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006 | | 2006 | 659 | 600 | ||
| BATIC3S Project : Document collection 2005-2006 | | 2006 | 574 | 721 | |||
| Modeling Distributed Systems using Concurrent Object Oriented Petri Nets | Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06 | 2006 | 660 | 0 | |||
| Progettazione di una G.U.I. per il database di CMS |  | 2003 | 227 | 4 |
