2017

389.
Erb, Benjamin; Meißner, Dominik; Pietron, Jakob; Kargl, Frank
Chronograph: A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs
, VolumeDEBS '17 Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems
June 2017
DOI:10.1145/3093742.3093913
388.
Besker, Terese; Martini, Antonio; Bosch, Jan; Tichy, Matthias
An investigation of Technical Debt in Automated Production Systems
Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany
May 2017
DOI:10.1145/3120459.3120466
387.
Erb, Benjamin; Meißner, Dominik; Habiger, Gerhard; Pietron, Jakob; Kargl, Frank
Consistent retrospective snapshots in distributed event-sourced systems
, Volume2017 International Conference on Networked Systems (NetSys)
March 2017
DOI:10.1109/NetSys.2017.7903947
386.
Nassal, Alexander; Tichy, Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
February 2017
File:pdfhttp://ceur-ws.org/Vol-1790/paper06.pdf
385.
Liebel, Grischa; Anjorin, Anthony; Knauss, Eric; Lorber, Florian; Tichy, Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
February 2017
DOI:10.5220/0006205604270434
File:https://www.researchgate.net/publication/314522017_Modelling_Behavioural_Requirements_and_Alignment_with_Verification_in_the_Embedded_Industry

2016

384.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar; Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
October 2016
DOI:10.1007/s00766-016-0261-7
File:pdfhttp://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf
383.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France
October 2016
File:pdfhttp://ceur-ws.org/Vol-1706/paper3.pdf
382.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom; Gall, Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
Global Conference on Artificial Intelligence
Berlin
September 2016
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/CGAI_submit.pdf
381.
Breckel, Alexander; Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
July 2016
File:pdfhttp://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf
380.
Frühwirth, Thom
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July
July 2016
DOI:10.1007/978-3-319-42019-6_14
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/thom-ruleml-2016-full.pdf
379.
Gall, Daniel; Frühwirth, Thom
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016
July 2016
DOI:10.1007/978-3-319-42019-6_15
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/gall-ruleml2016-final.pdf
378.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
July 2016
DOI:10.1109/IV.2016.55
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/nada-iv2016-final.pdf
377.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule Based Approach to teach Mathematics using Animation
RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016.
July 2016
File:pdfhttp://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/math-chr-ruleml-2016.pdf
376.
Kögel, Stefan; Cüppers, Joscha; Tichy, Matthias
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany
June 2016
375.
Breckel, Alexander; Tichy, Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI:10.1109/ICPC.2016.7503743
374.
Breckel, Alexander; Tichy, Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI:10.1109/ICPC.2016.7503732
373.
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI:10.1007/978-3-319-33600-8_14
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf
372.
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander; Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI:10.1007/978-3-319-33600-8_2
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
371.
Nassal, Alexander; Tichy, Matthias
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
May 2016
DOI:10.1145/2896958.2896961
370.
Dausend, Marcel; Raschke, Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
May 2016
DOI:10.1016/j.scico.2016.04.007
369.
Getir, Sinem; Grunske, Lars; Tichy, Matthias
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
March 2016
368.
Weck, Tobias; Tichy, Matthias
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
March 2016
DOI:10.1109/SANER.2016.82
367.
Durisic, Darko; Staron, Miroslaw; Tichy, Matthias; Hansson, Jörgen
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
In Slimane Hammoudi and Luis Ferreira Pires, Editor
February 2016
DOI:10.5220/0005745303170322
366.
Vogel-Heuser, Birgit; Fay, Alexander; Schaefer, Ina; Tichy, Matthias
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
February 2016
DOI:10.1016/j.jss.2015.08.026
365.
Liebel, Grischa; Marko, Nadja; Tichy, Matthias; Leitner, Andrea; Hansson, Jörgen
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling
2016
Publisher: Springer
DOI:10.1007/s10270-016-0523-3