Research & Development

"I like itemis CREATE a lot, especially the fact that it is simple and direct, and is not burdened with some of the more advanced, expensive and heavy features of other professional Statechart tools."

Prof. David Harel
Vice President Israel Academy of Sciences and Humanities

Academic Papers

Embedding Scenario-Based Modeling in Statecharts
Assaf Marron, Weizmann Institute of Science, Rehovot, Israel
Yotam Hacohen, Weizmann Institute of Science, Rehovot, Israel
David Harel, Weizmann Institute of Science, Rehovot, Israel
Andreas Mülder, itemis AG
Axel Terfloth, itemis AG

Final Security Testing Techniques
Stephane Maag, TELECOM SudParis

João Henrique Correia Pimentel, Universidade Federal de Pernambuco

Model-Driven Design of Clinical Guidance Systems
Maryam Rahmaniheris, University of IIllinois
Yu Jiang, University of Illinois
Lui Sha

Attack Pattern-Based Combinatorial Testing
Josip Bozic, TU Graz
Dimitris E. Simos, SBA Research
Franz Wotawa, Uni Graz

TDD for Embedded Systems: A Basic Approach and Toolset
Rogerio Atem de Carvalho, Scientific Computing Group (C2)
Hudson Silva, Centre for Embedded and Aerospace Systems (CRSEA)
Rafael Ferreira Toledo, Instituto Federal Fluminense (IFF)
Milena Silveira de Azevedo, Campos dos Goytacazes, Brasil

Identifying and Visualising Commonality and Variability in Model Variants
Jabier Martinez, University of Luxembourg
Tewfik Ziadi, Université Pierre et Marie Curie Paris
Jacques Klein, Reliability an d TrustUniversity of Luxembourg
Yves le Traon, University of Luxembourg

Synthesising formal properties from statechart test cases
Rafael Mota Gregorut
Ana Cristina Vieira de Melo

MODUS Generation of Interfaces based on Models
Marina Machado, OutSystems
Jose Creissac Campos
Rui Couto

Formal methods in Software Engineering
Prof. Dr. Joel Greenyer, Leibnitz Universität Hannover

Model Driven Software Development course
Oszkár Semeráth

Automatisierter Entwicklungsprozess von Kommunikationssystemen
Prof.Dr. Christian Wietfeld
Ralf Burda

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
Chunhui Guo
Shangping Ren
Yu Jiang
Po-Liang Wu
Lui Sha
Richard B. Berlin Jr.

Want to add your paper?

We are very impressed in which various contexts itemis CREATE is used, especially in the academic world. If you have got an interesting publication and want to add it to this page don't hesitate to contact us.

Contact us