YAKINDU Statechart Tools finds various applications especially when it comes to academic use.

Find out who used the tool successfully – and don't hesitate to contact us if you want to use it too.

I like the YAKINDU Statechart Tool 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

YAKINDU Statechart Tools

Final Security Testing Techniques
Stephane Maag, TELECOM SudParis

SYSTEMATIC DESIGN OF ADAPTIVE SYSTEMS — CONTROL-BASED FRAMEWORK
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.