Publications

The following already published peer reviewed papers have been elaborated within and with funding from  MBAT (also listed in the Zotero group MBATproject, together with abstracts and links to online full-text as far as available):
 
Jiangchao Liu, X.R.: Abstraction of Arrays Based on Non Contiguous Partitions. (2015).
 
Urban, C., Miné, A.: A Decision Tree Abstract Domain for Proving Conditional Termination. In: Müller-Olm, M. and Seidl, H. (eds.) Static Analysis. pp. 302–318. Springer International Publishing (2014).
 
Alsmadi, I. ed: Advanced Automated Software Testing: Frameworks for Refined Practice. IGI Global (2012).
 
Advances in Automotive System Modeling: EAST-ADL (Part 1), http://www.automotive-eetimes.com/en/advances-in-automotive-system-modeling-east-adl-part-1.html?cmp_id=71&news_id=222902924.
 
Kang, E.-Y., Enoiu, E.P., Marinescu, R., Seceleanu, C., Schobbens, P.-Y., Pettersson, P.: A methodology for formal analysis and verification of EAST-ADL models. Reliability Engineering & System Safety. 120, 127–138 (2013).
 
Belmonte, F., Soubiran, E.: A Model Based Approach for Safety Analysis. In: Ortmeier, F. and Daniel, P. (eds.) Computer Safety, Reliability, and Security. pp. 50–63. Springer Berlin Heidelberg, Berlin, Heidelberg (2012).
 
Marinescu, R., Saadatmand, M., Bucaioni, A., Seceleanu, C., Pettersson, P.: A Model-Based Testing Framework for Automotive Embedded Systems. Presented at the The 40th Euromicro Conference on Software Engineering and Advanced Applications SEAA 2014, 27-29 Aug 2014, Verona, Italy (2014).
 
Biehl, M.: A Modeling Language for the Description and Development of Tool Chains for Embedded Systems. (2013).Toubhans, A., Chang, B.-Y.E., Rival, X.: An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. SAS (2014).
 
Urban, C., Miné, A.: An Abstract Domain to Infer Ordinal-Valued Ranking Functions. In: Shao, Z. (ed.) Programming Languages and Systems. pp. 412–431. Springer Berlin Heidelberg (2014).
 
Marinescu, R., Kaijser, H., Mikuèionis, M., Seceleanu, C., Lönn, H., David, A.: Analyzing Industrial Architectural Models by Simulation and Model-Checking. Third International Workshop on Formal Techniques for Safety-Critical Systems (2014).
 
Marinescu, R., Seceleanu, C., Lönn, H., Kaijser, H., Mikuèionis, M., David, A.: Analyzing Industrial Architectural Models: Where Verification meets Statistical Model Checking. Mälardalen Real-Time Research Centre, Mälardalen University.
 
Elberzhager, F., Münch, J., Assmann, D.: Analyzing the relationships between inspections and testing to provide a software testing focus. Information and Software Technology. 56, 793–806 (2014).
 
Samih, H., Guen, H.L., Bogusch, R., Acher, M., Baudry, B.: An Approach to Derive Usage Models Variants for Model-Based Testing. In: Merayo, M.G. and Oca, E.M. de (eds.) Testing Software and Systems. pp. 80–96. Springer Berlin Heidelberg (2014).
 
Chen, D., Feng, L., Qureshi, T.N., Lönn, H., Hagl, F.: An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing. 95, 649–688 (2013).
 
Elberzhager, F., Rosbach, A., Bauer, T.: An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance. In: Winkler, D., Biffl, S., and Bergsmann, J. (eds.) Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering. pp. 135–154. Springer International Publishing (2014).
 
Sexton, D.: An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code. In: Pecheur, C. and Dierkes, M. (eds.) Formal Methods for Industrial Critical Systems. pp. 32–47. Springer Berlin Heidelberg, Berlin, Heidelberg (2013).
 
Baumgart, A., Ellen, C.: A Recipe for Tool Interoperability. Proceedings of MODELSWARD 2014. pp. 300–308. SCITEPRESS (2014).
 
Elberzhager, F., Münch, J., Nha, V.T.N.: A systematic mapping study on the combination of static and dynamic quality assurance techniques. Information and Software Technology. 54, 1–15 (2012).
 
Marco Marazza, O.F.: Automatic Generation of Failure Scenarios for SoC. (2014).
 
Kläs, M., Bauer, T., Tiberi, U.: Beyond Herding Cats: Aligning Quantitative Technology Evaluation in Large-Scale Research Projects. In: Heidrich, J., Oivo, M., Jedlitschka, A., and Baldassarre, M.T. (eds.) Product-Focused Software Process Improvement. pp. 80–92. Springer Berlin Heidelberg (2013).
 
Feng, L., Lundmark, S., Meinke, K., Niu, F., Sindhu, M.A., Wong, P.Y.H.: Case Studies in Learning-Based Testing. In: Yenigün, H., Yilmaz, C., and Ulrich, A. (eds.) Testing Software and Systems. pp. 164–179. Springer Berlin Heidelberg (2013).
 
D Kästner, U.B.: Combining Model-based Analysis and Testing. Embedded Real Time Software and Systems Congress ERTS $^2$. (2014).
 
Dierkes, M.: Combining Test and Proof in MBAT - An Aerospace Case Study. Presented at the Special Session on Model-based Analysis and Testing of Embedded Systems January 7 (2014).
 
Boudjadar, J., Larsen, K.G., Kim, J.H., Nyman, U.: Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE 2014 (2014).
 
Bondavalli, A., Ceccarelli, A., Ortmeier, F. eds: Computer Safety, Reliability, and Security. Springer International Publishing, Cham (2014).
 
Kästner, D., Pister, M., Gebbard, G., Schlickling, M., Ferdinand, C.: Confidence in Timing. Proceedings of Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (2013).
 
Rival, X., Toubhans, A., Chang, B.-Y.E.: Construction of Abstract Domains for Heterogeneous Properties (Position Paper). In: Margaria, T. and Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. pp. 489–492. Springer Berlin Heidelberg (2014).
 
Carloni, M., Ferrante, O., Ferrari, A., Massaroli, G., Orazzo, A., Petrone, I., Velardi, L.: Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. In: Bondavalli, A., Ceccarelli, A., and Ortmeier, F. (eds.) Computer Safety, Reliability, and Security. pp. 137–146. Springer International Publishing (2014).
 
Kacimi, O., Ellen, C., Oertel, M., Sojka, D.: Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment: Presented at the MODELSWARD (2014).
 
Aichernig, B.K., Hörmaier, K., Lorber, F.: Debugging with Timed Automata Mutations. In: Bondavalli, A. and Giandomenico, F.D. (eds.) Computer Safety, Reliability, and Security. pp. 49–64. Springer International Publishing (2014).
 
Boudjadar, J., David, A., Kim, J.H., Larsen, K.G., Nyman, U., Skou, A., Mikucionis, M.: Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. Proceedings of TASE 2014 (2014).
 
Samih, H., Le Guen, H., Bogusch, R., Acher, M., Baudry, B.: Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study. 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS). pp. 77–80 (2014).
 
Marinescu, R., Saadatmand, M., Bucaioni, A., Seceleanu, C., Pettersson, P.: EAST-ADL Tailored Testing: From System Models to Executable Test Cases.
 
Bauer, T., Elberzhager, F.: Enabling Functional Integration Testing of Software-Intensive Technical Systems. Presented at the ICSEA 2014, The Ninth International Conference on Software Engineering Advances October 12 (2014).
 
Schoitsch, E., Skavhaug, A.: European Perspectives on Teaching, Education and Training for Dependable Embedded and Cyber-physical Systems. 2013 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). pp. 414–423 (2013).
 
Nielsen, B., Herzner, W., Kacimi, O., Böde, E.: Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns. 2nd International Workshop on Risk Assessment and Risk-driven Testing. IEEE (2014).
 
Elberzhager, F., Kremer, S., MüNch, J., Assmann, D.: FOCUSING TESTING BY USING INSPECTION AND PRODUCT METRICS. International Journal of Software Engineering and Knowledge Engineering. 23, 433–462 (2013).
 
Mangeruca, L., Ferrante, O., Ferrari, A.: Formalization and completeness of evolving requirements using Contracts. 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES). pp. 120–129 (2013).
 
Aichernig, B.K., Lorber, F., Tiran, S.: Formal Test-Driven Development with Verified Test Cases: Presented at the Special Session on Model-based Analysis and Testing of Embedded Systems (MBAT 2014) (2014).
 
Elberzhager, F., Bauer, T.: From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance. 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). pp. 298–301 (2012).
 
Elberzhager, F., Kremer, S., Munch, J., Assmann, D.: Guiding Testing Activities by Predicting Defect-Prone Parts Using Product and Inspection Metrics. 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). pp. 406–413 (2012).
 
Jalil Boudjadar, A.D.: Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. (2013).
 
Petiot, G., Kosmatov, N., Giorgetti, A., Julliand, J.: How Test Generation Helps Software Specification and Deductive Verification in Frama-C. In: Seidl, M. and Tillmann, N. (eds.) Tests and Proofs. pp. 204–211. Springer International Publishing (2014).
 
Weise, C., Nielsen, B.: ICTSS 2012 Ph. D. Workshop.
 
Marrone, S., Nardone, R., Orazzo, A., Petrone, I., Velardi, L.: Improving Verification Process in Driverless Metro Systems: The MBAT Project. In: Margaria, T. and Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. pp. 231–245. Springer Berlin Heidelberg, Berlin, Heidelberg (2012).
 
Krenn, W., Ničković, D., Tec, L.: Incremental Language Inclusion Checking for Networks of Timed Automata. In: Braberman, V. and Fribourg, L. (eds.) Formal Modeling and Analysis of Timed Systems. pp. 152–167. Springer Berlin Heidelberg (2013).
 
Frank Elberzhager, A.R.: Inspection and Test Process Integration Based on Explicit Test Prioritization Strategies. 181–192 (2012).
 
Elberzhager, F., Münch, J., Rombach, D., Freimut, B.: Integrating inspection and test processes based on context-specific assumptions. Journal of Software: Evolution and Process. n/a–n/a (2012).
 
Henia, R., Rioux, L., Sordon, N., Garcia, G.-E., Panunzio, M.: Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software: Presented at the MODELSWARD 2014 (2014).
 
Törngren, M., Qamar, A., Biehl, M., Loiret, F., El-khoury, J.: Integrating viewpoints in the development of mechatronic products. Mechatronics. 24, 745–762 (2014).
 
Aichernig, B.K., Hormaier, K., Lorber, F., Nickovic, D., Schlick, R., Simoneau, D., Tiran, S.: Integration of Requirements Engineering and Test-Case Generation via OSLC. 2014 14th International Conference on Quality Software (QSIC). pp. 117–126 (2014).
 
Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R., Tiran, S.: Killing strategies for model-based mutation testing. Softw. Test. Verif. Reliab. n/a–n/a (2014).
 
Meinke, K., Sindhu, M.A.: LBTest: A Learning-Based Testing Tool for Reactive Systems. Presented at the March (2013).
 
Mapping of State Machines to Code: Potentials and Challenges, http://www.academia.edu/8045750/Mapping_of_State_Machines_to_Code_Potentials_and_Challenges.
 
Rombach, D., Kläs, M., Webel, C.: Measuring the Impact of Emergence in Business Applications. In: Brunetti, G., Feld, T., Heuser, L., Schnitter, J., and Webel, C. (eds.) Future Business Software. pp. 25–37. Springer International Publishing (2014).
 
Kästner, D., Schlickling, M., Pister, M., Cullmann, C., Gebhard, G., Heckmann, R., Ferdinand, C.: Meeting Real-time Requirements with Multi-core Processors. Proceedings of the 2012 International Conference on Computer Safety, Reliability, and Security. pp. 117–131. Springer-Verlag, Berlin, Heidelberg (2012).
 
Baumgart, A., Hörmaier, K., Deuter, G.: Model-based Method to achieve EMC for Distributed Safety-Relevant Automotive Systems. Presented at the SIMUL 2014, The Sixth International Conference on Advances in System Simulation October 12 (2014).
 
Aichernig, B.K.: Model-Based Mutation Testing of Reactive Systems. In: Liu, Z., Woodcock, J., and Zhu, H. (eds.) Theories of Programming and Formal Methods. pp. 23–36. Springer Berlin Heidelberg, Berlin, Heidelberg (2013).
 
Aichernig, B.K., Jöbstl, E., Tiran, S.: Model-based mutation testing via symbolic refinement checking. Science of Computer Programming. 97, Part 4, 383–404 (2015).
 
Boudjadar, A.J., Kim, J.H., Larsen, K.G., Nyman, U.: Model Checking Process Algebra of Communicating Resources for Real-Time Systems. 2014 26th Euromicro Conference on Real-Time Systems (ECRTS). pp. 51–60 (2014).
 
Schwarzl, C., Brandl, H.: Model Dependent Test Coverage Variabilities. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST). pp. 253–262 (2014).
 
D Kästner, C.R.: Model-Driven Code Generation and Analysis. (2014).
 
Chang, B.-Y.E., Rival, X.: Modular Construction of Shape-Numeric Analyzers. Electronic Proceedings in Theoretical Computer Science. 129, 161–185 (2013).
 
Samih, H., Bogusch, R.: MPLM - MaTeLo Product Line Manager: [Relating Variability Modelling and Model-based Testing]. Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2. pp. 138–142. ACM, New York, NY, USA (2014).
 
Gezgin, T., Oertel, M., Weber, R.: Multi--aspect Virtual Integration approach for Real--Time and Safety Properties. International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14). IEEE (2014).
 
Laarman, A., Olesen, M.C., Dalsgaard, A.E., Larsen, K.G., Pol, J.: Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. In: Sharygina, N. and Veith, H. (eds.) Computer Aided Verification. pp. 968–983. Springer Berlin Heidelberg, Berlin, Heidelberg (2013).
 
Saadatmand, M., Sjödin, M.: On Combining Model-Based Analysis and Testing. 10th International Conference on Information Technology : New Generations (ITNG 2013) (2013).
 
Tiran, S.: On the Effects of UML Modeling Styles in Model-based Mutation Testing, https://online.tugraz.at/tug_online/voe_main2.getVollText?pDocumentNr=347587&pCurrPk=71474, (2013).
 
Frank Elberzhager, J.M.: Optimizing cost and quality by integrating inspection and test processes. 3–12 (2011).
 
Elberzhager, F., Bauer, T.: Optimizing quality assurance strategies through an integrated quality assurance approach. Guiding quality assurance with assumptions and selection rules. , Kaiserslautern (2014).
 
Saadatmand, M., Bucaioni, A.: OSLC Tool Integration and Systems Engineering – The Relationship between the Two Worlds. 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). pp. 93–101 (2014).
 
Schwarz, M.D., Seidl, H., Vojdani, V., Apinis, K.: Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. In: McMillan, K.L. and Rival, X. (eds.) Verification, Model Checking, and Abstract Interpretation. pp. 21–38. Springer Berlin Heidelberg (2014).
 
Oertel, M., Kacimi, O., Böde, E.: Proving Compliance of Implementation Models to Safety Specifications. In: Bondavalli, A., Ceccarelli, A., and Ortmeier, F. (eds.) Computer Safety, Reliability, and Security. pp. 97–107. Springer International Publishing (2014).
 
Kästner, D., Ferdinand, C.: Proving the Absence of Stack Overflows. In: Bondavalli, A. and Giandomenico, F.D. (eds.) Computer Safety, Reliability, and Security. pp. 202–213. Springer International Publishing (2014).
 
Miné, A.: Relational Thread-Modular Static Value Analysis by Abstract Interpretation. In: McMillan, K.L. and Rival, X. (eds.) Verification, Model Checking, and Abstract Interpretation. pp. 39–58. Springer Berlin Heidelberg (2014).
 
D Kästner, M.P.: Reliability of WCET Analysis. Embedded Real Time Software and Systems Congress ERTS $^2$. (2014).
 
Bannour, B., Gaston, C., Aiguier, M., Lapitre, A.: Results for Compositional Timed Testing. Software Engineering Conference (APSEC, 2013 20th Asia-Pacific. pp. 559–564 (2013).
 
Saadatmand, M., Scholle, D., Leung, C.W., Ullström, S., Larsson, J.F.: Runtime Verification of State Machines and Defect Localization Applying Model-based Testing. Proceedings of the WICSA 2014 Companion Volume. pp. 6:1–6:8. ACM, New York, NY, USA (2014).
 
Schoitsch, E.: Safety and/vs. Security: Towards a System Engineering approach for Trust? Proceedings of ISSC 2013. , Boston (2013).
 
Boudjadar, J., David, A., Kim, J.H., Larsen, K.G., Nyman, U., Skou, A.: Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. Proceedings of ERTS2 2014 (2014).
 
David, A., Larsen, K.G., Legay, A., Miku\vcionis, M.: Schedulability of herschel-planck revisited using statistical model checking. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. pp. 293–307. Springer (2012).
 
Sieverding, S., Ellen, C., Battram, P.: Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets. Electronic Proceedings in Theoretical Computer Science. 108, 17–31 (2013).
 
Oertel, M., Gerwinn, S., Rettberg, A.: Simulative evaluation of contract-based change management. 2014 12th IEEE International Conference on Industrial Informatics (INDIN). pp. 16–21 (2014).
 
Daniel Kästner, C.F.: Static Verification of Non-Functional Software Requirements in the ISO-26262. (2012).
 
David, A., Du, D., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B., Sedwards, S.: Statistical Model Checking for Stochastic Hybrid Systems. Electronic Proceedings in Theoretical Computer Science. 92, 122–136 (2012).
 
Felbinger, H., Schwarzl, C.: Suitability Analysis of CSP- and SMT-solvers for Test Case Generation. Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. pp. 40–49. ACM, New York, NY, USA (2014).
 
Delahaye, B., Fahrenberg, U., Henzinger, T.A., Legay, A., Ni\vcković, D.: Synchronous interface theories and time triggered scheduling. Formal Techniques for Distributed Systems. pp. 203–218. Springer (2012).
 
DeJiu, C.: Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS. Presented at the September 4 (2013).
 
Saadatmand, M., Sjodin, M.: Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints. Software Engineering Conference (APSEC, 2013 20th Asia-Pacific. pp. 152–158 (2013).
 
Ulrich, A., Jell, S., Votintseva, A., Kull, A.: The ETSI Test Description Language TDL and its Application. Presented at the Special Session on Model-based Analysis and Testing of Embedded Systems January 7 (2014).
 
Aichernig, B.K., Lorber, F., Ničković, D.: Time for Mutants — Model-Based Mutation Testing with Timed Automata. In: Veanes, M. and Viganò, L. (eds.) Tests and Proofs. pp. 20–38. Springer Berlin Heidelberg, Berlin, Heidelberg (2013).
 
Asplund, F., Biehl, M., El-Khoury, J., Törngren, M.: Tool integration beyond Wasserman. Advanced Information Systems Engineering Workshops. pp. 270–281 (2011).
 
Asplund, F., Elkhoury, J., Törngren, M.: Tool Integration, from Tool to Tool Chain with ISO26262. SAE 2012 World Congress (2012).
 
Nielsen, B.: Towards a Method for Combined Model-based Testing and Analysis. Presented at the Special Session on Model-based Analysis and Testing of Embedded Systems January 7 (2014).
 
Helle, P., Schamai, W.: Towards an Integrated Methodology for the Development and Testing of Complex Systems. Presented at the VALID 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle October 27 (2013).
 
Dierkes, M., Kästner, D.: Transferring Stability Proof Obligations from Model Level to Code Level. (2012).
 
Salvi, S., Kästner, D., Bienmüller, T., Ferdinand, C.: True Error or False Alarm? Refining Astrée’s Abstract Interpretation Results by Embedded Tester’s Automatic Model-Based Testing. In: Bondavalli, A., Ceccarelli, A., and Ortmeier, F. (eds.) Computer Safety, Reliability, and Security. pp. 84–96. Springer International Publishing (2014).
 
Vogler, R.: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint. (2014)

Additional information