Model Based System Development/Conferences

Uit Werkplaats
Ga naar: navigatie, zoeken
Model Based System Development

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

2007

2006

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

2002

2001

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

Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Model_Based_System_Development/Conferences&oldid=59680"