Behavioral interfaces for executable DSLs
Leroy, Dorian, Bousse, Erwan, Wimmer, Manuel, Mayerhofer, Tanja, Combemale, Benoit, Schwinger, Wieland
Published in Software and systems modeling (01.07.2020)
Published in Software and systems modeling (01.07.2020)
Get full text
Journal Article
Lossless compaction of model execution traces
Hojaji, Fazilat, Zamani, Bahman, Hamou-Lhadj, Abdelwahab, Mayerhofer, Tanja, Bousse, Erwan
Published in Software and systems modeling (01.01.2020)
Published in Software and systems modeling (01.01.2020)
Get full text
Journal Article
Specifying quantities in software models
Burgueño, Loli, Mayerhofer, Tanja, Wimmer, Manuel, Vallecillo, Antonio
Published in Information and software technology (01.09.2019)
Published in Information and software technology (01.09.2019)
Get full text
Journal Article
A local and global tour on MOMoT
Bill, Robert, Fleck, Martin, Troya, Javier, Mayerhofer, Tanja, Wimmer, Manuel
Published in Software and systems modeling (04.04.2019)
Published in Software and systems modeling (04.04.2019)
Get full text
Journal Article
Model execution tracing: a systematic mapping study
Hojaji, Fazilat, Mayerhofer, Tanja, Zamani, Bahman, Hamou-Lhadj, Abdelwahab, Bousse, Erwan
Published in Software and systems modeling (01.12.2019)
Published in Software and systems modeling (01.12.2019)
Get full text
Journal Article
Testing and debugging UML models based on fUML
Mayerhofer, T.
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Get full text
Conference Proceeding
Cross-disciplinary engineering with AutomationML and SysML
Berardinelli, Luca, Biffl, Stefan, Lüder, Arndt, Mätzler, Emanuel, Mayerhofer, Tanja, Wimmer, Manuel, Wolny, Sabine
Published in Automatisierungstechnik : AT (28.04.2016)
Published in Automatisierungstechnik : AT (28.04.2016)
Get full text
Journal Article
Model-based co-evolution of production systems and their libraries with AutomationML
Berardinelli, Luca, Biffl, Stefan, Maetzler, Emanuel, Mayerhofer, Tanja, Wimmer, Manuel
Published in 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) (01.09.2015)
Published in 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) (01.09.2015)
Get full text
Conference Proceeding
Concern-oriented language development (COLD): Fostering reuse in language engineering
Combemale, Benoit, Kienzle, Jörg, Mussbacher, Gunter, Barais, Olivier, Bousse, Erwan, Cazzola, Walter, Collet, Philippe, Degueule, Thomas, Heinrich, Robert, Jézéquel, Jean-Marc, Leduc, Manuel, Mayerhofer, Tanja, Mosser, Sébastien, Schöttle, Matthias, Strittmatter, Misha, Wortmann, Andreas
Published in Computer languages, systems & structures (01.12.2018)
Published in Computer languages, systems & structures (01.12.2018)
Get full text
Journal Article
Using physical quantities in robot software models
Burgueño, Loli, Mayerhofer, Tanja, Wimmer, Manuel, Vallecillo, Antonio
Published in 2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE) (28.05.2018)
Published in 2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE) (28.05.2018)
Get full text
Conference Proceeding
Cardinality-based variability modeling with AutomationML
Wimmer, Manuel, Novak, Petr, Sindelar, Radek, Berardinelli, Luca, Mayerhofer, Tanja, Mazak, Alexandra
Published in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2017)
Published in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2017)
Get full text
Conference Proceeding
xMOF: Executable DSMLs Based on fUML
Mayerhofer, Tanja, Langer, Philip, Wimmer, Manuel, Kappel, Gerti
Published in Software Language Engineering (2013)
Published in Software Language Engineering (2013)
Get full text
Book Chapter
Testing Functional Requirements in UML Activity Diagrams
Mijatov, Stefan, Mayerhofer, Tanja, Langer, Philip, Kappel, Gerti
Published in Tests and Proofs (2015)
Published in Tests and Proofs (2015)
Get full text
Book Chapter