Publications

29 results
2018
[29]Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions (, and ), In 27th international Workshop on Concurrency, Specification and Programming (CS&P'18), . [bibtex]
[28]A Dataset of EMF Models from Eclipse Projects ( and ), In , Universität Ulm, . [bibtex] [pdf] [doi]
[27]Supporting semi-automatic co-evolution of architecture and fault tree models (), In Journal of Systems and Software, volume 142, . [bibtex] [pdf] [doi]
[26]Checking consistency of robot software architectures in ROS (), In Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, Gothenburg, Sweden, May 28, 2018 (Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Andreas Wortmann, eds.), ACM, . [bibtex] [pdf] [doi]
2017
[25]Assessing the impact of meta-model evolution: a measure and its automotive application (), In Software & Systems Modeling, . [bibtex] [pdf] [doi]
[24]State Elimination as Model Transformation Problem. (, , , and ), In TTC@ STAF, . [bibtex]
[23]Recommender system for model driven software development (), In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, . [bibtex] [pdf] [doi]
[22]Towards Debugging the Matching of Henshin Model Transformations Rules (), In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. (Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, eds.), CEUR-WS.org, volume 2019, . [bibtex] [pdf]
[21]Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR (), In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, IEEE Computer Society, . [bibtex] [pdf] [doi]
[20]Challenges and Research Directions for Successfully Applying MBE Tools in Practice (), In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. (Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, eds.), CEUR-WS.org, volume 2019, . [bibtex]
[19]Henshin: A Usability-Focused Framework for EMF Model Transformation Development (), In Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, . [bibtex] [pdf] [doi]
2016
[18]Automatic Change Recommendation of Models and Meta Models Based on Change Histories (), In Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016., . [bibtex] [pdf]
[17]Empirische Forschung zu Software-Evolution: Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future – Managed Software Evolution (, , and ), In Informatik-Spektrum, volume 39, . [bibtex] [pdf] [doi]
2015
[16]Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar (, , , and ), In IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), volume 41, . [bibtex] [doi]
[15]Evolution of software in automated production systems: Challenges and research directions (, , and ), In Journal of Systems and Software, Elsevier, volume 110, . [bibtex] [doi]
[14]Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems (, , , and ), In Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden, . [bibtex]
[13]CoWolf – a generic framework for multi-view co-evolution and evaluation of models (, , , , and ), volume 9152, . [bibtex] [doi]
[12]Lightweight adaptive filtering for efficient learning and updating of probabilistic models (, and ), In Proceedings - International Conference on Software Engineering, Institute of Electrical & Electronics Engineers (IEEE), volume 1, . [bibtex] [doi]
[11]ARCA-automated analysis of AUTOSAR meta-model changes (, and ), In Proceedings - 7th International Workshop on Modeling in Software Engineering, MiSE 2015, . [bibtex] [doi]
[10]Identifying Optimal Sets of Standardized Architectural Features (, and ), In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15 (Ozkaya, Ipek, Koziolek, Heiko, eds.), . [bibtex] [pdf] [doi]
[9]Selected challenges of software evolution for automated production systems (), In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, . [bibtex] [pdf] [doi]
2014
[8]Evaluating probabilistic models with uncertain model parameters (, , and ), In Software and Systems Modeling, Springer-Verlag, volume 13, . [bibtex] [pdf] [doi]
[7]Assessing the State-of-Practice of Model-Based Engineering inthe EmbeddedSystems Domain (, , and ), In Model Driven Engineering Languages andSystems, 17th International Conference, MODELS 2014, Valencia, Spain,September28 - October 3 (Dingel, Juergen, Schulte, Wolfram, eds.), Springer Science mathplus Business Media, . [bibtex] [doi]
[6]A Generic Framework for Analyzing Model Co-Evolution (, and ), In Proceedings of the Workshop on Models and Evolution co-located with \ACM/IEEE\ 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain., . [bibtex] [pdf] [doi]
[5]Quantifying long-term evolution of industrial meta-models - A case study (, , and ), In Proceedings - 2014 Joint Conference of the International Workshop on Software Measurement, IWSM 2014 and the International Conference on Software Process and Product Measurement, Mensura 2014, Institute of Electrical & Electronics Engineers (IEEE), . [bibtex] [doi]
[4]Evolution of long-term industrial meta-models-an automotive case study of AUTOSAR (, , and ), In Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, . [bibtex] [doi]
[3]Automated user interaction analysis for workflow-based web portals (, , , and ), In Lecture Notes in Business Information Processing, Springer Science mathplus Business Media, volume 182, . [bibtex] [doi]
2013
[2]Timed Hazard Analysis of Self-healing Systems (, and ), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Ghezzi, Carlo, Lopes, Antonia, eds.), Springer Berlin / Heidelberg, volume 7740, . [bibtex]
[1]Co-Evolution of Software Architecture and Fault Tree Models: AnExplorative Case Study on a Pick and Place Factory Automation System (, , and ), In Proc. of the 5th International Workshop on Non-functionalProperties in Modeling, September 29, Miami, USA, . [bibtex]

Previous Project-related Publications

29 results
2018
[29]Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions (, and ), In 27th international Workshop on Concurrency, Specification and Programming (CS&P'18), . [bibtex]
[28]A Dataset of EMF Models from Eclipse Projects ( and ), In , Universität Ulm, . [bibtex] [pdf] [doi]
[27]Supporting semi-automatic co-evolution of architecture and fault tree models (), In Journal of Systems and Software, volume 142, . [bibtex] [pdf] [doi]
[26]Checking consistency of robot software architectures in ROS (), In Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, Gothenburg, Sweden, May 28, 2018 (Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Andreas Wortmann, eds.), ACM, . [bibtex] [pdf] [doi]
2017
[25]Assessing the impact of meta-model evolution: a measure and its automotive application (), In Software & Systems Modeling, . [bibtex] [pdf] [doi]
[24]State Elimination as Model Transformation Problem. (, , , and ), In TTC@ STAF, . [bibtex]
[23]Recommender system for model driven software development (), In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, . [bibtex] [pdf] [doi]
[22]Towards Debugging the Matching of Henshin Model Transformations Rules (), In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. (Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, eds.), CEUR-WS.org, volume 2019, . [bibtex] [pdf]
[21]Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR (), In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, IEEE Computer Society, . [bibtex] [pdf] [doi]
[20]Challenges and Research Directions for Successfully Applying MBE Tools in Practice (), In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. (Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, eds.), CEUR-WS.org, volume 2019, . [bibtex]
[19]Henshin: A Usability-Focused Framework for EMF Model Transformation Development (), In Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, . [bibtex] [pdf] [doi]
2016
[18]Automatic Change Recommendation of Models and Meta Models Based on Change Histories (), In Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016., . [bibtex] [pdf]
[17]Empirische Forschung zu Software-Evolution: Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future – Managed Software Evolution (, , and ), In Informatik-Spektrum, volume 39, . [bibtex] [pdf] [doi]
2015
[16]Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar (, , , and ), In IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), volume 41, . [bibtex] [doi]
[15]Evolution of software in automated production systems: Challenges and research directions (, , and ), In Journal of Systems and Software, Elsevier, volume 110, . [bibtex] [doi]
[14]Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems (, , , and ), In Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden, . [bibtex]
[13]CoWolf – a generic framework for multi-view co-evolution and evaluation of models (, , , , and ), volume 9152, . [bibtex] [doi]
[12]Lightweight adaptive filtering for efficient learning and updating of probabilistic models (, and ), In Proceedings - International Conference on Software Engineering, Institute of Electrical & Electronics Engineers (IEEE), volume 1, . [bibtex] [doi]
[11]ARCA-automated analysis of AUTOSAR meta-model changes (, and ), In Proceedings - 7th International Workshop on Modeling in Software Engineering, MiSE 2015, . [bibtex] [doi]
[10]Identifying Optimal Sets of Standardized Architectural Features (, and ), In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15 (Ozkaya, Ipek, Koziolek, Heiko, eds.), . [bibtex] [pdf] [doi]
[9]Selected challenges of software evolution for automated production systems (), In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, . [bibtex] [pdf] [doi]
2014
[8]Evaluating probabilistic models with uncertain model parameters (, , and ), In Software and Systems Modeling, Springer-Verlag, volume 13, . [bibtex] [pdf] [doi]
[7]Assessing the State-of-Practice of Model-Based Engineering inthe EmbeddedSystems Domain (, , and ), In Model Driven Engineering Languages andSystems, 17th International Conference, MODELS 2014, Valencia, Spain,September28 - October 3 (Dingel, Juergen, Schulte, Wolfram, eds.), Springer Science mathplus Business Media, . [bibtex] [doi]
[6]A Generic Framework for Analyzing Model Co-Evolution (, and ), In Proceedings of the Workshop on Models and Evolution co-located with \ACM/IEEE\ 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain., . [bibtex] [pdf] [doi]
[5]Quantifying long-term evolution of industrial meta-models - A case study (, , and ), In Proceedings - 2014 Joint Conference of the International Workshop on Software Measurement, IWSM 2014 and the International Conference on Software Process and Product Measurement, Mensura 2014, Institute of Electrical & Electronics Engineers (IEEE), . [bibtex] [doi]
[4]Evolution of long-term industrial meta-models-an automotive case study of AUTOSAR (, , and ), In Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, . [bibtex] [doi]
[3]Automated user interaction analysis for workflow-based web portals (, , , and ), In Lecture Notes in Business Information Processing, Springer Science mathplus Business Media, volume 182, . [bibtex] [doi]
2013
[2]Timed Hazard Analysis of Self-healing Systems (, and ), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Ghezzi, Carlo, Lopes, Antonia, eds.), Springer Berlin / Heidelberg, volume 7740, . [bibtex]
[1]Co-Evolution of Software Architecture and Fault Tree Models: AnExplorative Case Study on a Pick and Place Factory Automation System (, , and ), In Proc. of the 5th International Workshop on Non-functionalProperties in Modeling, September 29, Miami, USA, . [bibtex]