Model Based System Development/Cooperation

Our group collaborates with many industrial and academic partners in the context of projects externally funded projects. But there are also several researchgroups research groups and companies/organizations with whom we collaborate just because of shared research interests.

Externally Funded Projects

• EU IST FP7 research project Quasimodo
  • Center for Embedded Software Systems, Department of Computer Science at Aalborg University, Denmark
  • Embedded Systems Institute, the Netherlands
  • Formal Methods and Tools Group, University of Twente, the Netherlands
  • Laboratoire Specification et Vérification, CNRS and ENS, France
  • Software Modelling and Verification Group at RWTH Aachen University, Germany
  • Dependable Systems and Software Group, University of Saarland , Germany
  • Centre Fédéré en Vérification, Université Libre de Bruxelles, Belgium
  • Terma A/S, Space Division, Denmark
  • Chess, the Netherlands
  • HYDAC ELECTRONIC GMBH, Germany
• EZ/Senter project System Adaptability (Octopus)
  • Embedded Systems Institute (Frans Reckers, Roelof Hamberg)
  • Océ Technologies (Lou Somers)
  • Technical University of Delft, Faculty 3mE, Intelligent Mechnaical Systems Group (Tetsuo Tomiyama), Faculty of Mechanical Engineering and Systems, Delft Center for Systems and Control (Babuska, Bombois)
  • Eindhoven University of Technology, Architecture of Information Systems Group (Wil van der Aalst) [http://www.es.ele.tue.nl/ Electronic Systems Group (Henk Corporaal), Control Systems Group (Paul Van den Bosch) ]

• NWO/EW project Systematic Testing of Realtime Embedded Software Systems (STRESS)
  • Univeristy of Twente, Faculty of Electrotechnical Eng., Math., and Computer Science, Formal Methods and Tools (Jaco van de Pol)
• DFG/NWO bilateral cooperation project Validation of Stochastic Systems (VOSS2)
  • Programming Languages and Software Validation Group, University of Aachen (Joost-Pieter Katoen)
  • Formal Methods and Tools Group, University of Twente (Marielle Stoelinga)
  • Design and Analysis of Communication Systens Group, University of Twente (Boudewijn Haverkort)
  • Algebraic and Logical Foundations of Computer Science, University of Dresden (Christel Baier)
  • Design of Computer and Communication Systems Group, University of the Federal Armed Forces Munich, Munich, Germany (Markus Siegle)
  • Dependable Systems and Software Group, Saarland University, Germany (Holger Hermanns)
• EU Marie Curie network Training And Research On Testing (Tarot):
  • Institut National des Telecommunications, Evry, France (Ana Rosa Cavalli)
    
  • University of Bordeaux I, France (Richard Castanet)
    
  • LAMI - University of Evry, France (Pascale Le Gall)
    
  • University Complutense of Madrid, Spain (Manuel Núñez)
    
  • University of Göttingen, Germany (Dieter Hogrefe)
    
  • Fraunhofer Gesellschaft FOKUS, Berlin, Germany (Ina Schieferdecker)
    
  • University of Grenoble Joseph Fourier, France (Farid Ouabdesselam)
  • Brunel University, UK (Rob Hierons)
  • Tomsk State University, Russia (Nina Yevtushenko)
    
  • Consiglio Nazionale delle Ricerche, Pisa, Italy (Antonia Bertolino)
• EU IST Network of Excellence IST-004527 on Embedded Systems Design (Artist2)
  Affiliated academic partner, mainly cooperating with
  • Aalborg University, Distributed Systems and Semantics research group (Kim Larsen, Brian Nielsen)
  • Formal Methods and Tools Group, University of Twente (Jaco van de Pol)
  • VERIMAG, Grenoble, France (Stavros Tripakis)
  • IRISA Rennes, France (Thierry Jéron, Vlad Rusu)
  • Uppsala University, Sweden (Bengt Jonsson)
• Increasing the Power and Usability of Symbolic Real Time Model Checking Computing LaboratoryUniversity of KentHoward BowmanRodolfo Gomez
• NWO: PRONIR project, Profile based retrieval of networked information resources University of Tilburg.
• NWO: ArchiMate, an integrated architectural approach for the description and visualisation of different business domains [1]

Research Groups

• Theory of Distributed Systems Group, MIT CSAIL, Cambridge, MA, USA (Nancy Lynch)
• Tongji University (Miaomiao Zhang)
• Department of Computer Science, University of Verona, Verona, Italy (Roberto Segala)
• Consiglio Nazionale delle Ricerche (CNR), Istituto di Scienza e Tecnologie dell'Informazione (Alessandro Faedo), Software Engineering Research Laboratory, Pisa, Italy (Antonia Bertolino, Lars Frantzen)
• TIMA Laboratory-INPG, Grenoble, France (Dominique Borrione and Amr Helmy and Laurence Pierre)
• IRISA Rennes, France, Vertecs research group (Thierry Jéron, Vlad Rusu)
• RWTH Aachen (Joost-Pieter Katoen, Ivan Zapreev)
• Dependable Systems and Software Group, Saarland University (Lijun Zhang, Holger Hermanns)
• Paderborn Univeristy (Friedrich Eisenbrand)
• Newcastle University, UK (Zoe Andrews and John Fitzgerald)
• Aarhus University, Engineering College (Peter Gorm Larsen and Simon Tjell)
• Twente University, Formal Methods and Tools Group (Marielle Stoelinga, Tim Kemna), Distributed and Embedded Systems Group (Angelika Mader), Department of Philosophy (Mieke Boon)
• Eindhoven University, Formal Methods Group (Tim Willemse)
• Embedded Systems Institute (Ed Brinksma, Roelof Hamberg)
• Fraunhofer Institut fuer Software- und ISST Systemtechnik, Project Group Information Engineering; Joint Research of Jönköping University (Sweden) and Fraunhofer ISST [2]
• Faculty of Management Science, Methods Group, Radboud University Nijmegen (J. Vennix, E. Rouwette, A. Groessler) [3]
• Warwick Business School, University of Warwick (Coventry, UK): Operations Research Group (Ruth Davies) [4]
• Tilburg University, dept. of Information management. http://www.tilburguniversity.nl/faculties/feb/organisation/dept/ism/ (Piet Ribbers, Willem-Jan van den Heuvel, Mike Papzoglou, Hans Weigand)
• Vlerick Leuven Gent Management School, Operations & technology management group [5] (Peter Rittgen)
• Information Systems and Enterprise Modelling at the University of Duisburg-Essen [6] (Ulrich Frank)

Companies/Organizations

• Capgemini (Frank Harmsen, Kaeso de Jager, Martin Op 't Land, Erik Proper)
• Deloitte (Mario van Vliet)
• Everest B.V. (Mark Mastop, Leo Hermans)
• LIBrT (Silvie Spreeuwenberg, Rik Gerritsen)
• KLM/AirFrance (Ralph Nijpels)
• Paauwe & Partners (Mark Paauwe)
• Ordina (Roel Wagter, Pieter Buitenhuis, Ronald Kasteel)
• E-office (Ronald Hameteman)
• Belastingdienst (Sako Bekius, John Leegte)
• SNS Bank (Eric Schabell)
• Essent/Enexis (Louis Dietvorst)