Andries Stam

Research projects: 

Fit4Green, CHAP

Research topics:

interaction centric software development, virtualization and cloud computing, sensor networks and networked intelligence.

Keywords:

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

Biography:

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.

Publications:

2011

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

2010

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]

2009

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

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

2005

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.

2004

Andries Stam, Joost Jacob, Frank de Boer, Marcello Bonsangue, Leon van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA 2004, Cyprus, november 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.

2002

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