YAKINDU Statechart Tools in research & development

Academic Papers

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.

Want to add your paper?

We are very impressed in which various contexts YAKINDU Statechart Tools 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

More from itemis

More solutions. YAKINDU Model Viewer

YAKINDU Model Viewer visualizes very large Matlab-Simulink and Stateflow models without Matlab, Simulink or Stateflow – easy, fast and reliable.

Learn more