Activities
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 2000)