ADVcharts: a visual formalism for interactive systems
ACM SIGCHI Bulletin
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
Response time densities in generalised stochastic petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
On Resource Arc for Petri Net Modelling of Complex Resource Sharing System
Journal of Intelligent and Robotic Systems
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Object Oriented Petri Nets in Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
A Software Engineering Subject on System Description Techniques
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Mapping Petri Nets to Parallel Programs in CC++
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling
IEEE Transactions on Computers
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Encyclopedia of Computer Science
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Synthesis of time-constrained multitasking embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
TeMAS–a multi-agent system for temporally rich domains
Knowledge and Information Systems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
A Practical Guide to SysML: Systems Modeling Language
A Practical Guide to SysML: Systems Modeling Language
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Integration techniques in intelligent operational management: a review
Knowledge-Based Systems
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Handling instance correspondence in inter-organisational workflows
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A survey of system design methodologies
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Petri nets and dual-handed assembly robots
ACMOS'05 Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
Supervised rule based thermodynamic cycles design technique
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part II
SimGrid MC: verification support for a multi-API simulation platform
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
Fault distinguishability of discrete event systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Fault diagnosis of discrete event systems using place invariants
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Modeling semantic information in engineering applications: a review
Artificial Intelligence Review
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Discovering block-structured process models from event logs - a constructive approach
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |