MR
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Language Enrichment for Resilient MDE | Software Engineering for Resilient Systems |  | 2012 | 631 | 581 | ||
| Self-organising Pervasive Ecosystems: A Crowd Evacuation Example | Software Engineering for Resilient Systems | | 2011 | 720 | 610 | ||
| Self-aware Pervasive Service Ecosystems | Procedia Computer Science | | 2011 | 797 | 351 | ||
| Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) | | 2011 | 736 | 1,182 | ||
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | 2011 | 2,506 | 1,097 | ||
| 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,453 | 755 | ||
| A methodology for the development of complex domain specific languages | | 2010 | 1,550 | 1,360 | |||
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 579 | 221 | ||
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | 2010 | 1,024 | 483 | ||
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 560 | 858 | ||
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | 2010 | 774 | 1,079 | ||
| A language and a methodology for prototyping user interfaces for control systems | Human Machine Interaction. Research results of the MMI program | | 2009 | 834 | 1,458 | ||
| 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 | 653 | 395 | ||
| 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 | 618 | 424 | ||
| A methodology for control systems GUI prototyping - a case study | 7th international workshop on Personal Computers and Particle Accelerator Controls | | 2008 | 663 | 157 | ||
| 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 | 612 | 1,604 | ||
| Towards a formal, model-based framework for control systems interaction prototyping | Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006 | | 2006 | 664 | 643 | ||
| BATIC3S Project : Document collection 2005-2006 | | 2006 | 577 | 723 | |||
| 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 | 664 | 0 | |||
| Progettazione di una G.U.I. per il database di CMS |  | 2003 | 232 | 4 |
