Model Based System Development/Conferences

Conferences where our group is involved in the organization or PC include:

2009

• Program Committee member of the 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert'09), satellite event to ETAPS 2009, 29 March 2009, York, UK (Jozef Hooman)
• Program Committee member of the 16th International Workshop on Embedded Data-Centric Systems (EDACS 2009), organized as a DEXA 2009 workshop, 1 September 2009 (Jozef Hooman)
• Program Committee member of the 4th IEEE UML&AADL'2009 workshop at the 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'09, June 2009 (Jozef Hooman)
• Program committee member of the: CAiSE – International Conference on Advanced Information Systems Engineering, 2007 – present (Erik Proper)
• Program committee member of the: EMISA – Enterprise Modelling and Information Systems Architectures workshop, 2007 – present (Erik Proper)
• Program committee member of the: EMMSAD – Exploring Modelling Methods in Systems Analysis and Design workshop, 2006 – present (Erik Proper and Stijn Hoppenbrouwers)
• Program committee member of the: TEAR – Workshop on Trends in Enterprise Architecture Research, 2006 – present (Erik Proper)
• Program committee member of the: ORM – Object-Role Modelling workshop, 2005 – present (Erik Proper and Stijn Hoppenbrouwers)
• Program committee member of the: ECDM – The Bi-Annual International Workshop on Evolution and Change in Data Management, 1999 – present (Erik Proper)
• Program committee member of GRCIS 2009: Second International Workshop on Governance, Risk and Compliance - Applications in Information Systems In conjunction with CAiSE’09 (Stijn Hoppenbrouwers)
• Chair of PRET 2009: the Practice-driven Research on Enterprise Transformation (Erik Proper)
• Program committee member of PRET 2009: the Practice-driven Research on Enterprise Transformation (Stijn Hoppenbrouwers)
• 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), Technical University of Budapest, 13th-16th September, 2009. (Frits Vaandrager, PC co-chair)
• The 3rd Dutch Workshop on Formal Testing Techniques, Radboud University Nijmegen, April 23rd 2009 (Jan Tretmans, Julien Schmaltz)
• International Workshop on the ACL2 Theorem Prover and Its Applications, May 11-12, 2009, Northeastern University, Boston, MA, USA (Julien Schmaltz)
• 5th Workshop on Advances in Model Based Testing, April 1, 2009, Denver, Colorado, USA (Lars Frantzen)
• 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), York, UK, March 2009. (Frits Vaandrager)
• SINTER 2009: workshop on Software INTegration and Evolution @ Runtime [1] Amsterdam, August 25, 2009. (Jozef Hooman, Jan Tretmans)
• Program committee member of EIS2009 [2] 4th SIKS Conference on Enterprise Information Systems, Radboud University Nijmegen, October 23, 2009 (Stijn Hoppenbrouwers, Patrick van Bommel (chair))

2008

• Program Committee member of the 16th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS '08), Miami, Florida, USA, 14-18 April 2008 (Jozef Hooman)
• Program Committee member of the Models@run.time workshop, ACM/IEEE 11th International Conference On Model Driven Engineering Languages and Systems, MODELS 2008, 30th September 2008 (Jozef Hooman)
• Program committee member of EIS 2008: 3rd SIKS/BENAIS Conference on Enterprise Information Systems (Stijn Hoppenbrouwers)
• Program committee member of the 1st IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling: from Business Strategies to Enterprise Architectures (PoEM 2008) (Erik Proper and Stijn Hoppenbrouwers)
• Co-chair of the Interdisciplinary Workshop Regulations Modelling and Deployment, in conjunction with CAiSE’08 (Stijn Hoppenbrouwers)
• 29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, November 30 - December 3, 2008 (Frits Vaandrager)
• 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), Saint-Malo, France, September 15-17, 2008 (Frits Vaandrager)
• Nancy Lynch Celebration: Sixty and Beyond, Toronto, Canada, Wednesday, August 20, 2008. (Frits Vaandrager)
• 20th IFIP Int. Conference on Testing of Communicating Systems and the 8th Int. Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2008), Tokyo, Japan, June 2008. (Jan Tretmans)
• MBT: Int. Workshop on Model Based Testing, Budapest (H), March 2008. (Jan Tretmans)
• 4th Workshop on Advances in Model Based Testing (A-MOST 2008), Lillehammer, Norway, April 9, 2008. (Lars Frantzen, Jan Tretmans)
• ICST 2008: First IEEE Int. Conference on Software Testing, Verification and Validation, Lillehammer, March 2008. (Jan Tretmans)

2007

• Program committee member of the: IFIP WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences, 2007 (Erik Proper)
• Chairman of EMMSAD – Exploring Modeling Methods in Systems Analysis and Design workshop, 2007 (Erik Proper)
• De Nederlandse Testdag, Delft University of Technology, November 2007. (Jan Tretmans, Steering committee member)
• 3rd Workshop on Advances in Model Based Testing (A-MOST 2007), London, United Kingdom, July 9, 2007. (Lars Frantzen)
• 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'07), Salzburg, Austria, October 3-5, 2007. (Frits Vaandrager)
• 7th ACM International Conference on Embedded Software (EMSOFT 2007), Salzburg, Austria, Sept 30 - Oct 5, 2007. (Frits Vaandrager)
• ICALP 2007, Wroclaw, Poland, July 9-14, 2007 (Frits Vaandrager)
• CAV 2007, Berlin, Germany, July 3-7, 2007 (Frits Vaandrager)
• TESTCOM / FATES '07, Tallinn, Estonia, June 26 -29, 2007 (Jan Tretmans, PC co-chair)
• WDPRTS 2007, Long Beach, CA, USA, March 26-26 (Jozef Hooman)
• MBT: Int. Workshop on Model Based Testing, Braga (P), April 2007. (Jan Tretmans)

2006

• Program committee member of the: IFIP International Conference on The past and future of Information Systems: 1976-2006, 2006 (Erik Proper)
• IPA Herfstdagen on Stochastic Systems, Bergen (NH), the Netherlands, November 27 - December 1, 2006. (Frits Vaandrager)
• 12e Nederlandse Testdag, November 17, 2006 (Jan Tretmans)
• MARTES - Workshop on Modeling and Analysis of Real-Time and Embedded Systems, October 2006, Genova, Italy (Jozef Hooman)
• 6th Annual ACM Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, October 22-25, 2006 (Frits Vaandrager)
• 20th International Symposium on Distributed Computing (DISC 2006), Stockholm Sweden, September 18-20, 2006 (Frits Vaandrager)
• 2nd IFAC Conference on the Analysis and Design of Hybrid Systems (ADHS'06), Alghero, Sardinia, Italy, June 7-9, 2006 (Frits Vaandrager)
• Second Workshop on Model Based Testing, March 25-26, 2006, Vienna, Austria (Jan Tretmans)

2005

• 11e Nederlandse Testdag, November 11, 2005 (Jan Tretmans)
• ICTAC05, Hanoi, Vietnam, 17-21 October, 2005 (Jozef Hooman)
• OMER 3 - 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems, October 13 and 14, 2005, Paderborn, Germany (Jozef Hooman)
• MARTES - Workshop on Modeling and Analysis of Real-Time and Embedded Systems, October 4, 2005, Montego Bay, Jamaica (Jozef Hooman)
• CONCUR'05, San Francisco, California, August 2005 (Frits Vaandrager)
• SOQUA 2005 - International Workshop on Software Quality (Jan Tretmans)
• FATES'05, Edinburgh, July 2005 (Jan Tretmans)
• FM 2005, Newcastle upon Tyne, UK, July 2005 (Marcel Verhoef)
• ICSTEST 2005, Duesseldorf, Germany, April 2005 (Jan Vytopil)

2004

• Program committee member of the: The National Architecture Congres (Landelijk Architectuurcongres, The Netherlands, 2000 – 2004 (Erik Proper)
• Organiser of the advanced course: Architecture-driven System Development of the postgraduate school: SIKS, November 2003 and April 2004 (Erik Proper)
• Dagstuhl Seminar on "Perspectives of Model-Based Testing", September 5-10, 2004 (Jan Tretmans, co-organizer)
• Tenth Dutch Testing Day (Jan Tretmans)
• ISSRE 2004 - 15th IEEE Int. Symposium on Software Reliability Engineering (Jan Tretmans)
• TestCom 2004 - 16th IFIP Int. Conference on Testing of Communicating Systems (Jan Tretmans)
• FATES 2004 - Int. Workshop on Formal Approaches to Testing of Software (Jan Tretmans)
• MBT 2004 - Int. workshop on Model Based Testing (Jan Tretmans)
• ITM 2004 - Workshop on Integration of Testing Methodologies (Jan Tretmans)
• MOVEP'04, Brussels, Belgium, December 2004 (Frits Vaandrager)
• ISOLA'04, Paphos, Cyprus, 30th October - 2nd November 2004 (Marcel Verhoef)
• ICTAC'04, Guiyang, China, September 20-24, 2004 (Jozef Hooman)
• CAV'04, Boston, USA, July 14-17, 2004 (Frits Vaandrager)
• ICYS 2004, Nijmegen, The Netherlands, 18-24 April, 2004 (Frits Vaandrager)
• IPA Spring Days on Hybrid Systems, Heeze, The Netherlands, April 14-16, 2004 (Jozef Hooman)
• HSCC'04 (Frits Vaandrager)
• ICALP 2004 (Bart Jacobs)

2003

• SVERTS 2003 (Jozef Hooman)
• FTfJP03 (Erik Poll)
• FMOODS03 (Erik Poll)
• TPHOLs03 Bart Jacobs)
• CMCS'03 (Bart Jacobs)
• FORMATS 2003 (Frits Vaandrager)
• PSI'03 (Frits Vaandrager)
• ADHS 2003 (Frits Vaandrager)

2002

• TPHOLs02 (Bart Jacobs)
• AMAST2002 (Bart Jacobs)
• MPC2002 (Bart Jacobs)
• CTCS2002 (Bart Jacobs)
• CMCS'02 (Bart Jacobs)
• FMOODS'02 (Bart Jacobs)
• FTfJP'2002 (Erik Poll)
• FOSSACS'02 (Frits Vaandrager)
• HSCC'02 (Frits Vaandrager)
• ICSTEST 2002 (Jan Vytopil)

2001

• Chairman of the: The Ordina Round Table Conference on Knowledge Management for Flexible Project Teams, September 2001, Echteld, The Netherlands (Erik Proper)
• Organising committee member of the: First Component Based Software Day, April 2001, CWI, Amsterdam, The Netherlands (Erik Proper)
• IPA Fall Days on Timed Systems, November 2001 (Jozef Hooman)
• Formal Techniques for Java Programs'01, June 2001 (Erik Poll)
• OMER-2, May 2001 (Jozef Hooman)
• IPA Spring Days on Security, April 2001 (Bart Jacobs)
• Second International Conference on Software Testing (ICSTEST), April 2001 (Jan Vytopil)
• International IEEE 1394 (Firewire) Workshop, Maart 2001 (Judi Romijn)
• HSCC'01, Maart 2001 (Frits Vaandrager)

2000

• Program committee member of the: The International conference on Advances in Digital Libraries (ADL’2000), 2000 (Erik Proper)
• Chairman of the: The OrdinaRound Table Conference on Business-ICT alignment, September 2000, Echteld, The Netherlands (Erik Proper)
• FTRTFT, September 2000 (Jan Vytopil)
• ADPM2000, September 2000 (Frits Vaandrager)
• WODES2000, August 2000 (Frits Vaandrager)
• FM-Tools 2000, July 2000 (Jozef Hooman)
• LICS2000, June 2000 (Bart Jacobs)
• IPA Spring Days on UML, April 2000 (Jozef Hooman)
• CMCS'00, March 2000 (Bart Jacobs)
• HSCC'00, March 2000 (Frits Vaandrager)

1999

• Dutch Testing Day '99 (Frits Vaandrager)
• Tussen Bits en Signalen, September 1999 (Frits Vaandrager)
• IPA Spring Days on Probabilistic Methods, April 1999 (Marielle Stoelinga)
• Formal Techniques for Java Programs '99 (Bart Jacobs)
• TPHOL'99 (Bart Jacobs)
• HSCC'99 (Frits Vaandrager)
• CMCS'99 (Bart Jacobs)