Publications For students IT University MODELS Group VARIETE MT-LAB VARIES ARTEMIS

Research

I am interested in software design with emphasis on model driven engineering of software systems. I study actual systems in order to understand how to best leverage modeling and design in their evolution. I also design new modeling technologies, including modeling languages, code generators, or analysis and verification tools.

I have worked with systems in multiple domains: safety critical embedded systems (such as an electric engine safety controller for an elevator), operating system kernels (Linux, Free BSD, eCos), and business software (such as an open source ERP system Open for Business). I have spent a lot of time researching software systems that are produced in families of similar products - the so called software product lines.

I teach courses on modeling and design. I regularly supervise thesis students on these topics. I particularly enjoy supervising students in collaboration with companies (often their employers)

My research publications are available here.

PhD Students & Post-docs

• Stefan Catalin Stanciulescu (research assistant)
• Alexandru Florin Iosif-Lazăr (phd student)
• Thorsten Berger (post-doc)
• Radu Mitache (research programmer) (now at ...)
• Fabrizio Biondi (phd student)
• Louis-Marie Traonouez (post-doc) (moved to INRIA Rennes)
• Helge Pfeiffer (phd student)

Projects & Activities

• PC member of GPCE 2013, 2011, SPLC 2013,2012, VAMOS 2010-2013, FIT 2012, MAPLE 2012 (also in 2011), VARY 2011, CONCUR 2011, VARI-ARCH 2010, MDPLE 2010, MODELS 2010, NW-MODE 2009.
• QUAIL - Quantitative Analyzer for Imperative Languages
• Clafer - a language for lightweight modeling
• ECDAR: Environment for Compositional Design and Analysis of Real Time Systems
• Dagstuhl Seminar 13091 on Analysis, Test and Verification in The Presence of Variability
• APAC: analyzer for Abstract Probabilistic Automata, Constraint Markov Chains and Interval Markov Chains.
• Keynotes: MAPLE'12, FMSPLE'13
• General Chair NW-MODE 2010 workshop in Copenhagen, at IT University
• Local organization committee member: ECSA 2010, tool demo chair
• Local organization chair of ARTIST/MT-LAB Quantitative Model Checking PhD School
• Organizer and PC member of FIT 2008 in Budapest.
• CNF Toolkit: a library to construct CNF models.
• SmartEMF: the Eclipse Modeling Framework (EMF)...only smarter!
• "Copenhagen" Meeting on Modal Transition Systems.
• SCOPE: a statechart compiler.
• IAR visualSTATE: a commercial development environment for discrete control systems. I worked on its code generator and on the verification algorithm.
• Charter: probably world's smallest code generator for statecharts.
• PPRSL: a lightweight pretty printer for RSL specifications.
• fxp-mosml: A Moscow ML port of fxp, a generic XML parser for Standard ML.
• A small description of my PhD project, sufficient for a layman and details of my project on code generator for UML-like statecharts.
• MINI-seminarium: a sparse series of broad-spectrum seminars at my home faculty in Warsaw, in Polish (1st 2002/2003, 2nd 2003/2004, 3rd 2004, 4th 2004)