Developing pervasive multi-agent systems with nature-inspired coordination. | 26 | 1.21 | 2015 |
Optimizing Algebraic Petri Net Model Checking by Slicing. | 5 | 0.58 | 2013 |
Language enrichment for resilient MDE | 2 | 0.39 | 2012 |
Self-aware Pervasive Service Ecosystems. | 42 | 1.81 | 2011 |
Self-organising pervasive ecosystems: a crowd evacuation example | 4 | 0.45 | 2011 |
High-Level Petri Net Model Checking with AlPiNA | 20 | 0.87 | 2011 |
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 5 | 0.43 | 2011 |
Specification of Decision Diagram Operations. | 0 | 0.34 | 2010 |
Improving the Significance of Benchmarks for Petri Nets Model Checkers. | 2 | 0.62 | 2010 |
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study | 3 | 0.40 | 2010 |
AlPiNA: a symbolic model checker | 10 | 0.96 | 2010 |
AlPiNA: an algebraic petri net analyzer | 8 | 0.57 | 2010 |
Composing Visual Syntax for Domain Specific Languages | 7 | 0.50 | 2009 |
A domain specific language and methodology for control systems GUI specification, verification and prototyping | 3 | 0.39 | 2007 |
Towards a formal, model-based framework for control systems interaction prototyping | 4 | 0.52 | 2006 |