P Systems with replicated rewriting and stream X-machines (Eilenberg machines)
Fundamenta Informaticae - Membrane computing
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
PX systems = P systems + X machines
Natural Computing: an international journal
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Test sequence generation for controller verification and test with high coverage
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
A high performance agent based modelling framework on graphics card hardware with CUDA
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Communicating X-machines: from theory to practice
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Where do unit tests come from?
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Applying Weighted Finite State Machines to Protocol Performance Analysis
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Checking experiments for stream X-machines
Theoretical Computer Science
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Specification of reconfigurable MAS: a hybrid formal approach
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Modelling dynamically organised colonies of bio-entities
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Using graphical icons to build Z specifications
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Formal modelling of a bio-inspired paradigm capable of exhibiting emergence
Proceedings of the Fifth Balkan Conference in Informatics
A comparative study of tools for visualisation of state-based spatial multi-agent models
Proceedings of the 6th Balkan Conference in Informatics
Hi-index | 0.00 |