Welcome to our web site
The Group of Discrete Event Systems Engineering is accredited as "Consolidated Research Group" by the Aragonese Government (Ref. T27), thus partially co-financed by the Aragonese Government and the European Social Fund. It is part of the Department of Computer Science and Systems Engineering at the University of Zaragoza. It is also integrated in the Aragon Institute for Engineering Research (I3A).
Here you will find information about our projects and research work on formal methods in computer science and systems engineering. Hope you find it useful.
News
Events
Fluidization of Petri nets to improve the analysis of DES
Double seminar on Fluid Petri nets & duality, by José Luis García Malacara and Manuel Navarro, presenting part of the results of three months of research stay at our Department
Título: "Fluidization of discrete event models or a marriage between the discrete and the continuous"
CFPs on Distributed Systems (WikiCFP)
- CERTS 2016 : Security and Dependability in Critical Embedded Real-time Systems
- ARM 2016 : 15th Workshop on Adaptive and Reflective Middleware
- CAS 2016 : 7th International workshop on Cloud Applications and Security in conjunction with The 11th IEEE International Conference for Internet Technology and Secured Transactions
- CSA 2016 : 4th International Workshop on Computer Systems and Architectures
- NetSys 2017 : 3rd International Conference on Networked Systems
CFPs on Concurrency (WikiCFP)
- ICATPN Workshops 2017 : Call for Workshop Proposals - Petri Nets 2017
- ICE 2016 : 9th Interaction and Concurrency Experience
- DISC 2016 : 30th International Symposium on DIStributed Computing
- ACSD 2016 : 16th International Conference on Application of Concurrency to System Design
- CPA 2015 : Communicating Process Architectures (CPA) 2015
