Universiteit Leiden

nl en

Lucas Groenewegen

Docent / gast

Naam
Dr. L.P.J. Groenewegen
Telefoon
+31 71 527 7139
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.

Meer informatie over Lucas Groenewegen

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.

Docent / gast

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 132

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. (red.) Theory and Practice of Formal Methods. Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science nr. 9660 Switzerland: Springer International Publishing. 242-260.boekdeel
  • 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.artikel in tijdschrift (refereed)
  • Stettina C.J., Groenewegen L.P.J. & Katzy B.R. (2013), Towards flexibility and dynamic coordination in computer-interpretable enterprise process models. In: Proceedings I-ESA.congresbijdrage (refereed)
  • Stettina C.J., Groenewegen L.P.J. & Katzy B.R. (2012), Towards Flexibility and Dynamic Coordination in Computer-Interpretable Enterprise Process Models. In: Enterprise Interoperability V Proceedings of the I-ESA Conferences, volume 5. 105-115.congresbijdrage (refereed)
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2011), Distributed Adaptation of Dining Philosophers. In: Barbosa L.S., Lumpe M. (Red.) Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010) Lecture Notes in Computer Science: Springer.congresbijdrage (refereed)
  • 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.artikel in tijdschrift (refereed)
  • Stettina C.J., Groenewegen L.P.J. & Katzy B.R. (2011), Structuring Medical Agility. In: Proceedings International Conference on Health Informatics HEALTHINF 2011: INSTICC Press. 614-618.congresbijdrage (refereed)
  • Katzy B.R., Stettina C.J., Groenewegen L.P.J. & Groot M.J. de (2011), Managing Weak Ties in Collaborative Work. In: Proceedings 17th International Conference on Concurrent Enterprising: IEEE. 1-9.congresbijdrage (refereed)
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2011), Towards reduction of Paradigm coordination models. In: Proceedings First International Workshop on Process Algebra and Coordination Electronic Proceedings in Theoretical Computer Science. 1-18.congresbijdrage (refereed)
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2010), Towards Dynamic Adaptation of Probabilistic Systems. In: T. Margaria B. Steffen (Red.) Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010 Lecture notes in Computer Science: Springer. 143-159.congresbijdrage (refereed)
  • Andova S., Groenewegen L.P.J., Verschuren J.H.S. & Vink E.P. de (2009), Architecting Security with Paradigm. In: R. de Lemos, J.-C. Fabre C. Gacek F. Gadducci (Red.) Architecting Dependable Systems VI Lecture notes in Computer Science: Springer. 255-283.boekdeel
  • Andova S., Groenewegen L.P.J., Stafleu J. & Vink E.P. de (2009), Formalizing Adaptation On-the-Fly. In: Proc. FOCLASA 2009 Electronic Notes in Theoretical Computer Science (ENTCS). 23-44.congresbijdrage (refereed)
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2009), Dynamic Consistency in Process Algebra: From Paradigm to ACP. In: 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.congresbijdrage (refereed)
  • Andova S., Groenewegen L.P.J. & Vink E.P. de (2008), Dynamic Consistency in Process Algebra: From {Paradigm} to {ACP}}. In: C. Canal, P. Poizat and M. Sirjani (Red.) Proc. FOCLASA'08 Electronic Notes in Theoretical Computer Science.congresbijdrage (refereed)
  • 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.artikel in tijdschrift (refereed)
  • Groenewegen L.P.J. & Vink E.P. de (2006), Evolution On-the-Fly with Paradigm, Coordination: 97-112.artikel in tijdschrift (refereed)
  • 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. In: Méndez-Vilas, A. (Red.) Proceedings MICTE 2006: FormaText.congresbijdrage (refereed)
  • 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. In: Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005).congresbijdrage (refereed)
  • Groenewegen L.P.J., Kampenhout N. van & Vink E.P. de (2005), Delegation Modeling with Paradigm. In: Proceedings Coordination 2005. 94-108.congresbijdrage (refereed)
  • Groenewegen L.P.J., Stam A.W., Toussaint P.J. & Vink E.P. de (2005), Paradigm as Organization-Oriented Coordination Language. In: Preliminary Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). 123-138.congresbijdrage (refereed)
  • Stam A.W., Groenewegen L.P.J. & Vink E.P. de (2005), Restructuring Paradigm Models for the ToolBus Architecture: a Case Study. In: Preliminary Proceedings of the International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 111-125.congresbijdrage (refereed)
  • Engels B.M., Küster L. & Groenewegen L.P.J. (2002), Consistent Interaction of Software Components. In: Proc. SIxth Internation Conference on Inegrated Design and Process Technology.congresbijdrage (refereed)
  • Engels G., Heckel R., Küster L. & Groenewegen L.P.J. (2002), Consistency-preserving model evolution. In: Proceedings UML 2002 Lecture notes in Computer Science: Springer Verlag. 212-226.congresbijdrage (refereed)
  • Groenewegen L.P.J., Hausmann J.H. & Heckel R. (2002), Evolution On-the-Fly as coordinated Transformation of System Description and State. In: Heckel, R., Mens, T., Wermelinger, M. (Red.) Proc. ICGT 2002 Workshop on Software Evolution Through Transformations: Toward Uniform Support Throughout the Software-Life-Cycle. 75-81.congresbijdrage (refereed)
  • Groenewegen L.P.J. & Vink E.P. de (2002), Operational semantics for Coordination in Paradigm. In: Arbab, F., Talcott, C. (Red.) Proceedings Coordination Lecture notes in Computer Science. 191-206.congresbijdrage (refereed)
  • Engels G. & Groenewegen L.P.J. (2002), Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer, W., Ehring, H., Karhumaki, J., Salomaa, A. (Red.) Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Berlin: Springer-Verlag. 257-276.boekdeel
  • Engels G., Groenewegen L.P.J. & Dassen J.H.M. (1998), Formalization of the Software Proces Modeling Language SOCCA.. In: Gruhn V. (Red.) Software Process Technology - 6th European Workshop, Wybridge, UK, LNCS 1487. 151.boekdeel

Geen relevante nevenwerkzaamheden