| Language Enrichment for Resilient MDE | Software Engineering for Resilient Systems |  | | 2012 | 633 | 589 |
|
| Self-organising Pervasive Ecosystems: A Crowd Evacuation Example | Software Engineering for Resilient Systems | | | 2011 | 722 | 617 |
|
| Self-aware Pervasive Service Ecosystems | Procedia Computer Science | | | 2011 | 799 | 362 |
|
| Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) | | | 2011 | 738 | 1,276 |
|
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | | 2011 | 2,508 | 1,143 |
|
| 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,455 | 772 |
|
| A methodology for the development of complex domain specific languages | | | | 2010 | 1,567 | 1,373 |
|
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | | 2010 | 581 | 243 |
|
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | | 2010 | 1,026 | 509 |
|
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | | 2010 | 562 | 902 |
|
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | | 2010 | 776 | 1,112 |
|
| A language and a methodology for prototyping user interfaces for control systems | Human Machine Interaction. Research results of the MMI program | | | 2009 | 836 | 1,506 |
|
| 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 | 655 | 400 |
|
| 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 | 620 | 447 |
|
| A methodology for control systems GUI prototyping - a case study | 7th international workshop on Personal Computers and Particle Accelerator Controls | | | 2008 | 665 | 161 |
|
| 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 | 614 | 1,639 |
|
| Towards a formal, model-based framework for control systems interaction prototyping | Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006 | | | 2006 | 666 | 660 |
|
| BATIC3S Project : Document collection 2005-2006 | | | | 2006 | 579 | 724 |
|
| 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 | 666 | 0 |
|
| Progettazione di una G.U.I. per il database di CMS | |  | | 2003 | 235 | 4 |
|
