Andries Stam

interaction, virtualization, cloud, sensor, smartphone, paradigm, reo, creol, vereofy, flex, google app engine, vmware, iphone, android, myrianed, myrianode.

About Andries:
Andries Stam received his M.Sc in Computer Science at the University of Leiden and his Ph.D at the same university on a thesis about the modeling of interaction in distributed evolving software systems. For six years, he worked as a consultant for various companies in The Netherlands (Telegraaf Amsterdam, ING Nederland, Ordina Holding, KLPD zoetermeer, ICTU Scheveningen, etc.).

Andries' research interests include model-driven and interaction centric software development, virtualization and cloud computing, and smartphone and wireless sensor programming. He has published in the areas of software engineering, coordination languages, and enterprise architecture.

Research projects: 


Joachim Klein, Sascha Klueppelholz, Andries Stam and Christel Baier. Hierarchical modeling and formal verification. An industrial case. (accepted) FMICS 2011.

I. Grabe, M.M. Jaghoori, B. Aichernige, C. Baierc, T. Blechmannc, F. de Boer, A. Griesmayer, E.B. Johnsen, J. Klein, S. Klüppelholz, M. Kyas, W. Leister, R. Schlatte, A. Stam, M. Steffen, S. Tschirner, L. Xuedong and W. Yi. Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.  In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS), 2010. Electronic Notes in Theoretical Computer Science, Vol 266, pp 23-38. [PDF]

Andries Stam. Interaction Protocols in PARADIGM - Extensions to a Modeling Language through Tool Development (PHD Thesis). Universiteit Leiden, 2009. [PDF]

I. Grabe, M.M. Jaghoori, J. Klein, S. Klüppelholz, A. Stam, C. Baier, T. Blechmann, B.K. Aichernig, F. de Boer, A. Griesmayer. The Credo Methodology (Extended Version). FMCO 2009: pp 41-69. [SpringerLink]

Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386

Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam: Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009)


Andries Stam, Alfons H. Salden: Towards composition of distributed evolving services: the Credo approach (invited paper). Autonomics 2008: 21


Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam: Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81


Andries Stam: The ASK System and the Challenge of Distributed Knowledge Discovery. ISoLA 2008: 663-668


L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint and E.P. de Vink: Paradigm as Organization-Oriented Coordination Language. Proceedings of CoOrg 2005, ENTCS Volume 150, Issue 3, May 2006, Pages 93-113.


A.W. Stam, L.P.J. Groenewegen and E.P. de Vink: Restructuring Paradigm models for the ToolBus architecture: a case study. Proceedings of MTCoord 2005, ENTCS Volume 150, Issue 1, 9 March 2006, Pages 127-142



F.S. de Boer, M.M. Bonsangue, L.P.J. Groenewegen, A.W. Stam, S. Stevens and L. van der Torre: Change Impact Analysis of Enterprise Architectures. Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005), Las Vegas, Nevada, USA, august 2005.


Frank de Boer, Marcello Bonsangue, Joost Jacob, Andries Stam, Leon van der Torre: Enterprise Architecture Analysis with XML. HICSS 38, Hawaii, january 2005.



Andries Stam, Joost Jacob, Frank de Boer, Marcello Bonsangue, Leon van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA 2004, Cyprus, november 2004.


Frank de Boer, Marcello Bonsangue, Joost Jacob, Andries Stam, Leon van der Torre: A Logical Viewpoint on Architectures. EDOC 2004, Monterey, september 2004.



Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten: Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39.


Andries Stam: A Framework for Coordinating Parallel Branch and Bound Algorithms. COORDINATION 2002: 332-339.