Universiteit Leiden

nl en

Lucas Groenewegen

Lecturer / guest

Name
Dr. L.P.J. Groenewegen
Telephone
+31 71 527 4799
E-mail
l.p.j.groenewegen@liacs.leidenuniv.nl

Dr. Luuk Groenewegen is associate professor of LIACS, the Leiden Institute of Advanced Computer Science, where he belongs to the Algorithms and Software Technology group.

More information about Lucas Groenewegen

Former PhD candidates

Dr. Luuk Groenewegen is associate professor of LIACS, the Leiden Institute of Advanced Computer Science, where he belongs to the Algorithms and Software Technology group. He studied mathematics in Leiden and he received a PhD in Eindhoven in 1978 on a topic in operational research. He worked as Project Leader in Software Engineering for Rijkswaterstaat. From 1979 until 2011 he was employed in the computer science institute of Leiden University, LIACS. Twice he presented a course on Pascal Programming for Teleac on television. Since his formal retirement in 2011, he continues doing research and additionally some teaching, mostly supervising, on a volunteer basis for three days per week.

His main research interests are: object-oriented modelling, dynamic consistency, coordination, self-adaptation. He participated in developing ArchiMate, now an OMG standard. He developed the coordination modelling language Paradigm and, in close cooperation with Erik de Vink from Eindhoven, he used Paradigm for designing the self-adaptation pattern McPal: Self-adaptation, even if originally unforeseen, is specified as coordination with some form of JIT modelling (Just-In-Time). Recently, he studies Paradigm models with more than one McPal-like component, in view of understanding coherently simultaneous self-adaptations of a system.

Lecturer / guest

  • Science
  • Leiden Inst of Advanced Computer Science

Work address

Snellius
Niels Bohrweg 1
2333 CA Leiden

Contact

  • Groenewegen L.P.J., Kuiper R. & Vink E.P. de (2016), Towards a Proof Method for Paradigms. In: Àbrahàm E., Bonsangue M.M. & Johnsen E.B. (Eds.), Theory and Practice of Formal Methods. Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science no. 9660. Switzerland: Springer International Publishing. 242-260.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2014), Dynamic adaptation with distributed control in Paradigm, Science of Computer Programming 94(3): 333-361.
  • Stettina C.J., Groenewegen L.P.J. & Katzy B.R. (2013), Towards flexibility and dynamic coordination in computer-interpretable enterprise process models, Proceedings I-ESA. .
  • Stettina C.J., Groenewegen L.P.J. & Katzy B.R. (2012), Towards Flexibility and Dynamic Coordination in Computer-Interpretable Enterprise Process Models, Enterprise Interoperability V Proceedings of the I-ESA Conferences, volume 5. 105-115.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2011), Distributed Adaptation of Dining Philosophers. Barbosa L.S. & Lumpe M. (Eds.), Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010). : Springer.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2011), Dynamic consistency in Process Algebra: From Paradigm to ACP, Science of Computer Programming 76(8): 711-735.
  • Katzy B.R., Stettina C.J., Groenewegen L.P.J. & Groot M.J. de (2011), Managing Weak Ties in Collaborative Work, Proceedings 17th International Conference on Concurrent Enterprising. : IEEE. 1-9.
  • Stettina C.J., Groenewegen L.P.J. & Katzy B.R. (2011), Structuring Medical Agility, Proceedings International Conference on Health Informatics HEALTHINF 2011. : INSTICC Press. 614-618.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2011), Towards reduction of Paradigm coordination models, Proceedings First International Workshop on Process Algebra and Coordination. . Electronic Proceedings in Theoretical Computer Science 1-18.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2010), Towards Dynamic Adaptation of Probabilistic Systems. Margaria T. & Steffen B. (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010. : Springer. 143-159.
  • Andova S., Groenewegen L.P.J., Verschuren J.H.S. & Vink E.P. de (2009), Architecting Security with Paradigm. In: Lemos R. de, Fabre J.-C., Gacek C. & Gadducci F. (Eds.), Architecting Dependable Systems VI: Springer. 255-283.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2009), Dynamic Consistency in Process Algebra: From Paradigm to ACP, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA'08. . Electronic Notes in Theoretical Computer Science (ENTCS) 3-20.
  • Andova S., Groenewegen L.P.J., Stafleu J. & Vink E.P. de (2009), Formalizing Adaptation On-the-Fly, Proc. FOCLASA 2009. FOCLASA 2009. Electronic Notes in Theoretical Computer Science (ENTCS) 23-44.
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2008), Dynamic Consistency in Process Algebra: From {Paradigm} to {ACP}}. Canal C., Poizat P. & Sirjani M. (Eds.), Proc. FOCLASA'08. . Electronic Notes in Theoretical Computer Science.
  • Mubarak Q., Dmitrieva J., Vermeulen T., Zhou Y., Groenewegen L.P.J., Basmagi S., Beek R. van & Verbeek F.J. (2006), BioTune, a component based repository of BioInformatics teaching modules. Méndez-Vilas A. (Ed.), Current developments in technology-assisted education . Current Developments in Technology-Assisted Education: FormaTex.
  • Groenewegen L.P.J. & Vink E.P. de (2006), Evolution On-the-Fly with Paradigm, Coordination : 97-112.
  • Groenewegen L.P.J., Stam A., Toussaint P.J. & Vink E.P. de (2006), Paradigm as Organization-Oriented Coordination Language, Electronic Notes in Theoretical Computer Science (ENTCS) 150(3): 93-113.
  • Boer F.S. de, Bonsangue M.M., Groenewegen L.P.J., Stam A., Stevens S. & Torre L. van der (2005), Change impact analysis of enterprise architectures, Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005). .
  • Groenewegen L.P.J., Kampenhout N. van & Vink E.P. de (2005), Delegation Modeling with Paradigm, Proceedings Coordination 2005. 94-108.
  • Groenewegen L.P.J., Stam A.W., Toussaint P.J. & Vink E.P. de (2005), Paradigm as Organization-Oriented Coordination Language, Preliminary Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). 123-138.
  • Stam A.W., Groenewegen L.P.J. & Vink E.P. de (2005), Restructuring Paradigm Models for the ToolBus Architecture: a Case Study, Preliminary Proceedings of the International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 111-125.
  • Engels B.M., Küster L. & Groenewegen L.P.J. (2002), Consistent Interaction of Software Components, Proc. SIxth Internation Conference on Inegrated Design and Process Technology. .
  • Engels G., Heckel R., Küster L. & Groenewegen L.P.J. (2002), Consistency-preserving model evolution, Proceedings UML 2002. : Springer Verlag. 212-226.
  • Groenewegen L.P.J., Hausmann J.H. & Heckel R. (2002), Evolution On-the-Fly as coordinated Transformation of System Description and State. Heckel R., Mens T. & Wermelinger M. (Eds.), Proc. ICGT 2002 Workshop on Software Evolution Through Transformations: Toward Uniform Support Throughout the Software-Life-Cycle. 75-81.
  • Groenewegen L.P.J. & Vink E.P. de (2002), Operational semantics for Coordination in Paradigm. Arbab F. & Talcott C. (Eds.), Proceedings Coordination. 191-206.
  • Engels G. & Groenewegen L.P.J. (2002), Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer W., Ehring H., Karhumaki J. & Salomaa A. (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Berlin: Springer-Verlag. 257-276.
  • Engels G., Groenewegen L.P.J. & Dassen J.H.M. (1998), Formalization of the Software Proces Modeling Language SOCCA. In: Gruhn V. (Ed.), Software Process Technology - 6th European Workshop, Wybridge, UK, LNCS 1487 151.
This website uses cookies.  More information.