Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab Activities Relevant activities 5G-PPP Association and Networld2020 ERCIM FMICS Open Air Interface Alliance Networld 2020 Events TNC 2019 Forging Digital Societies SPIN 2018 TNC18 – Intelligent networks, cool edges? SDL FORUM 2015 (SDL 2015) The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015) Jornadas de Concurrencia y Sistemas Distribuidos 2015 The 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007) VI Jornadas de Ingeniería Telemática (Jitel 2007) Jornadas Internacionales de Ciencias y Tecnologías (JICT 2007) VI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2007) XVI Jornadas Telecom I+D 2006 XV Jornadas Telecom I+D 2005 XV Jornadas Telecom I+D 2004 Ercim Meetings 2004 XIII Jornadas Telecom I+D 2003 Program Committees 4th International Workshop on the Reliability of Intelligent Environments (WoRIE’15) 2st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010) The 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010) The 10th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems (NEW2AN 2010) Euro-Par 2008 The 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008) The 10th International Conference on Quality Engineering in Software Technology (CONQUEST 2007) The 13th SDL Forum The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007) The 14th International SPIN Workshop on Model Checking of Software (SPIN 2007) The 5th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2007) The 2th International Conference on Science and Technology (JICT 2007) I International Conference on Ubiquitous Computing: Applications, Technology and Social Issues (ICUC 2006) The 4th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2006) The 3rd International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS ‘2005) ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL) The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004) The 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004) The 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003) The 1st International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003) The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002) The 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001) International Workshop on Distributed Systems Validation and Verification (DSVV 200
2st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010)
The 10th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems (NEW2AN 2010)
The 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008)
The 5th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2007)
I International Conference on Ubiquitous Computing: Applications, Technology and Social Issues (ICUC 2006)
The 4th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2006)
The 3rd International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS ‘2005)
The 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
The 1st International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)
