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 FaST group, Fundamentals of Software Technology. He studied mathematics in Leiden and did his PhD in Eindhoven on a topic in operational research. He worked as Project Leader in Software Engineering for Rijkswaterstaat. In 1979 he joined the computer science institute of Leiden University. Twice he presented a course on Pascal Programming on television. His research interests are: object-oriented modelling, architecture, patterns, communication, collaboration, coordination, consistency. He has developped the coordination specification language Paradigm. Recently, Paradigm's operational semantics have been extended towards specifying JIT-modelling (Just-In-Time) and subsequent, well-structured self-adaptation of Paradigm models.

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