MR
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Language Enrichment for Resilient MDE | Software Engineering for Resilient Systems |  | 2012 | 603 | 514 | ||
| Self-organising Pervasive Ecosystems: A Crowd Evacuation Example | Software Engineering for Resilient Systems | | 2011 | 660 | 514 | ||
| Self-aware Pervasive Service Ecosystems | Procedia Computer Science | | 2011 | 721 | 303 | ||
| Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) | | 2011 | 667 | 394 | ||
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | 2011 | 2,398 | 865 | ||
| 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,404 | 686 | ||
| A methodology for the development of complex domain specific languages | | 2010 | 1,363 | 1,253 | |||
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 545 | 171 | ||
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | 2010 | 919 | 339 | ||
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 512 | 680 | ||
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | 2010 | 720 | 974 | ||
| A language and a methodology for prototyping user interfaces for control systems | Human Machine Interaction. Research results of the MMI program | | 2009 | 757 | 1,337 | ||
| 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 | 606 | 365 | ||
| 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 | 587 | 338 | ||
| A methodology for control systems GUI prototyping - a case study | 7th international workshop on Personal Computers and Particle Accelerator Controls | | 2008 | 582 | 114 | ||
| 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 | 577 | 1,445 | ||
| Towards a formal, model-based framework for control systems interaction prototyping | Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006 | | 2006 | 611 | 548 | ||
| BATIC3S Project : Document collection 2005-2006 | | 2006 | 547 | 708 | |||
| 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 | 618 | 0 | |||
| Progettazione di una G.U.I. per il database di CMS |  | 2003 | 184 | 4 |
