Publications

Requeno, José, Gómez-Martínez Elena, Kallwies Hannes, Haustein Melanie, Leucker Martin, Stolz Volker, and Stünkel Patrick Runtime Verification of Timed Petri Nets. International Workshop on Petri Nets and Software Engineering (PNSE). 2024.  

Hipler, Raik, Kallwies Hannes, Leucker Martin, and Sánchez César General Anticipatory Runtime Verification. 36th International Conference on Computer Aided Verification (CAV). 2024.  

Caldeira, Manuel, Kallwies Hannes, Leucker Martin, and Thoma Daniel Adding State to Stream Runtime Verification. 24th International Conference on Runtime Verification. 15191 2024.  

Hosseinkhani, Elaheh, Leucker Martin, Sachenbacher Martin, Streichhahn Hendrik, and Vosteen Lars Bernd A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. 35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, November 4-7, 2024, Vienna, Austria. OASIcs 125 2024.  

Kristensen, Morten Haahr, Bonizzi Alberto, Gomes Cláudio, Hansen Simon Thrane, Martin Carlos Ignacio Is, Iven Hannes, Kamburjan Eduard, Larsen Peter Gorm, Leucker Martin, Talasila Prasad, et al. Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024 - Companion, Aarhus, Denmark, September 16-20, 2024. 2024.  

Weiss, Alexander, Schulz Albert, Heininger Martin, Sachenbacher Martin, and Leucker Martin Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring. 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs) 125 2024.  

Ali, Aliyu, Sachenbacher Martin, Leucker Martin, and Schuldei Andreas Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS '24: Proceedings of the 7th ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies. :97-106. 2024.  

Thoma, Daniel, Sachenbacher Martin, Leucker Martin, and Ali Aliyu Tanko A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. Applications of Formal Methods and Digital Twins. 2023.  

Kallwies, Hannes, Leucker Martin, and Sánchez César General Anticipatory Monitoring for Temporal Logics on Finite Traces. 23rd International Conference on Runtime Verification (RV). 2023.  

Begemann, Marian Johannes, Kallwies Hannes, Leucker Martin, and Schmitz Malte TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC). 2023.  

Leucker, Martin, Sachenbacher Martin, and Vosteen Lars Bernd Digital Twin for Rescue Missions - a Case Study. Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. CEUR Workshop Proceedings 3507 2023.  

Pechmann, Ludwig, Mildner Martin, Suthau Tim, and Leucker Martin Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen. Künstliche Intelligenz im Gesundheitswesen. :175-198. 2022.  

Kallwies, Hannes, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel Aggregate Update Problem for Multi-clocked Dataflow Languages. 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2022.  

Friese, Max Jonas, Kallwies Hannes, Leucker Martin, Sachenbacher Martin, Streichhahn Hendrik, and Thoma Daniel Runtime Verification of AUTOSAR Timing Extensions. 30th International Conference on Real-Time Networks and Systems (RTNS). 2022.  

Kallwies, Hannes, Leucker Martin, Prilop Meiko, and Schmitz Malte Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes. International Symposium on Theoretical Aspects of Software Engineering (TASE). 2022.  

Kallwies, Hannes, Leucker Martin, Schmitz Malte, Schulz Albert, Thoma Daniel, and Weiss Alexander TeSSLa – An Ecosystem for Runtime Verification. 22nd International Conference on Runtime Verification (RV). 2022.  

Kallwies, Hannes, Leucker Martin, Sánchez César, and Scheffel Torben Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. 22nd International Conference on Runtime Verification (RV). 2022.  

Kallwies, Hannes, Leucker Martin, and Sánchez César Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. 20th Automated Technology for Verification and Analysis (ATVA). 2022.  

Leucker, Martin, and Ostanina Maria AI-Lab - An Ecosystem for Managing AI projects. INFORMATIK 2021. 2021.  

Colombo, Christian, and Leucker Martin Preface. Int. J. Softw. Tools Technol. Transf.. 23 :155–156. 2021.  

Bartocci, Ezio, Falcone Yliès, and Leucker Martin Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. 13065 2021.  

Kharraz, Karam Younes, Leucker Martin, and Schneider Gerardo Timed Dyadic Deontic Logic. Legal Knowledge and Information Systems - JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021. Frontiers in Artificial Intelligence and Applications 346 2021.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander Runtime Verification of Real-Time Event Streams under Non-synchronized Arrival. Software Quality Journal. 2020.  

Convent, Lukas, Lindley Sam, McBride Conor, and McLaughlin Craig Doo Bee Doo Bee Doo. Journal of Functional Programming. 30 2020.  

Leucker, Martin Formal Verification of Neural Networks? Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science 12475 2020.  

Pedro, André de Matos, Leucker Martin, Pereira David, and Pinto Jorge Sousa Real-time MTL with durations as SMT with applications to schedulability analysis. TASE 2020. 2020.  

Preusser, Thomas, Schulz Albert, Weiss Alexander, Heininger Martin, Leucker Martin, Schmitz Malte, Scheffel Torben, and Thoma Daniel Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit. 2019.  

Macias, Fernando, Rutle Adrian, Stolz Volker, Scheffel Torben, and Schmitz Malte Empowering Multilevel DSMLs with Integrated Runtime Verification. VORTEX. 2019.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Verification For Timed Event Streams With Partial Information. Runtime Verification (RV). 2019.  

Ahishakiye, Faustin, Jakšić Svetlana, Lange Felix D., Schmitz Malte, Stolz Volker, and Thoma Daniel Non-intrusive MC/DC Measurement based on Traces. TASE. 2019.  

Fischer, Stefan, Leucker Martin, Lüth Christoph, Martinetz Thomas, Mildner Raimund, Nowothka Dirk, and Steinicke Frank KI-SIGS: Artificial Intelligence for the Northern German Health Ecosystem. International Symposium on Applied Artificial Intelligence (ISAAI'19). 2019.  

Decker, Normann, Dreyer Boris, Gottschling Philip, Hochberger Christian, Lange Alexander, Leucker Martin, Scheffel Torben, Wegener Simon, and Weiss Alexander Online Analysis of Debug Trace Data for Embedded Systems. Design, Automation & Test in Europe Conference (DATE). 2018.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. ACM Symposium on Applied Computing (SAC). 2018.  

Jakšić, Svetlana, Schmitz Malte, Stolz Volker, and Thoma Daniel Static analysis for dynamic data race detection with TeSSLa. 30th Nordic Workshop on Programming Theory. Report Nr. 485 2018.  

Kasparick, Martin, Schmitz Malte, Andersen Björn, Rockstroh Max, Franke Stefan, Schlichting Stefan, Golatowski Frank, and Timmermann Dirk OR.NET: a service-oriented architecture for safe and dynamic medical device interoperability. Biomedical Engineering / Biomedizinische Technik. 63(1):11–33. 2018.  

Rockstroh, Max, Franke Stefan, Dees Raluca, Merzweiler Angela, Schneider Gerd, Dingler Max, Dietz Christian, Pfeifer Jonas, Kühn Franziska, Schmitz Malte, et al. From SOMDA to application – integration strategies in the OR.NET demonstration sites. Biomedical Engineering / Biomedizinische Technik. 63(1):69–80. 2018.  

Janß, Armin, Thorn Johannes, Schmitz Malte, Mildner Alexander, Dell’Anna-Pudlik Jasmin, Leucker Martin, and Radermacher Klaus Extended device profiles and testing procedures for the approval process of integrated medical devices using the IEEE 11073 communication standard. Biomedical Engineering / Biomedizinische Technik. 63(1):95–103. 2018.  

Convent, Lukas, Hungerecker Sebastian, Scheffel Torben, Schmitz Malte, Thoma Daniel, and Weiss Alexander Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. Runtime Verification. Lecture Notes in Computer Science 11237 2018.  

Convent, Lukas, Hungerecker Sebastian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel TeSSLa: Temporal Stream-Based Specification Language. Brazilian Symposium on Formal Methods SBMF. Lecture Notes in Computer Science 11254 2018.  

Fähnrich, Anke, Krebbel Moritz, Decker Normann, Leucker Martin, Lange Felix D., Kalies Kathrin, and Möller Steffen ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. BMC Bioinformatics. 18 :164. 2017.  

Decker, Normann, Habermehl Peter, Leucker Martin, Sangnier Arnaud, and Thoma Daniel Model-Checking Counting Temporal Logics on Flat Structures. 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs) 85 2017.  

Decker, Normann, Gottschling Philip, Hochberger Christian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Weiss Alexander Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. 20th Brazilian Symposium on Formal Methods (SBMF). LNCS 2017.  

Jakšić, Svetlana, Leucker Martin, Li Dan, Stolz Volker, Reger Giles, and Havelund Klaus COEMS – open traces from the industry. RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Kalpa Publications in Computing 3 2017.  

Scheffel, Torben, Hungerecker Sebastian, Leucker Martin, Schmitz Malte, and Thoma Daniel TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams. Report from Dagstuhl Seminar. Vol. 7, Issue 11, pp. 59–85 2017.  

Decker, Normann, and Thoma Daniel On Freeze LTL with Ordered Attributes. FoSSaCS. LNCS 2016.  

Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring modulo theories. International Journal on Software Tools for Technology Transfer. 18(2):205-225. 2016.  

Decker, Normann, Harder Jannis, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Monitoring with Union-Find Structures. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. LNCS, 2016.  

Macias, Fernando, Scheffel Torben, Schmitz Malte, and Wang Rui Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). Runtime Verification. Lecture Notes in Computer Science 10012 2016.  

Leucker, Martin, Stümpel A., Wolf Dietmar, and Huber Dominik Konzept zur IT-Ausstattung an Lübecker Schulen. 2016.  

Leucker, Martin, Schmitz Malte, and Tellinghusen Danilo à Runtime Verification for Interconnected Medical Devices. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}. Lecture Notes in Computer Science 9953 2016.  

Kasparick, Martin, Schmitz Malte, Golatowski Frank, and Timmermann Dirk Dynamic Remote Control through Service Orchestration of Point-of-Care and Surgical Devices based on IEEE 11073 SDC. IEEE-NIH 2016 Special Topics Conference on Healthcare Innovations and Point-of-Care Technologies, Cancun, Mexico. 2016.  

Macias, Fernando, Scheffel Torben, Schmitz Malte, Wang Rui, Leucker Martin, Rutle Adrian, and Stolz Volker Integration of Runtime Verification into Metamodeling. Nordic Workshop on Programming Theory (NWPT). 2016.  

Busshaus, Timm, Fischer Stefan, Kühn Franziska, Leucker Martin, Mildner Alexander, and Schmitz Malte Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente – Technologietransfer im CMSSE. Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. LNI 239 2015.  

Leucker, Martin, and Schmitz Malte Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.. CEUR-WS 1337 2015.  

Martin, Leucker, Grigory Markin, and R. Neuhäußer Martin A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. :155–170. 2015.  

Schönfelder, René, and Leucker Martin Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI. 2015.  

Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring Modulo Theories. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. LNCS 8413 2014.  

Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Learning Transparent Data Automata. Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014. LNCS 8489 2014.  

Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. CoRR. abs/1404.6064 2014.  

Moszkowski, Ben C., Guelev Dimitar P., and Leucker Martin Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell.. 71 :1-9. 2014.  

Kühn, Franziska, Leucker Martin, and Mildner Alexander OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS. OASICS 36 2014.  

Sachenbacher, Martin, Blankenburg Martin, and Leucker Martin CeLiM: Centralized Runtime Monitoring of Lithium-Ion Battery Packs. International Workshop on Principles of Diagnosis (DX'14). 2014.  

Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. Concurrency Theory - 25th International Conference, CONCUR 2014. LNCS 8704 2014.  

Scheffel, Torben, and Schmitz Malte Three-Valued Asynchronous Distributed Runtime Verification. International Conference on Formal Methods and Models for System Design (MEMOCODE). 12 2014.  

Decker, Normann, Kühn Franziska, and Thoma Daniel Runtime Verification of Web Services for Interconnected Medical Devices. 25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014. 2014.  

Schönfelder, René, Leucker Martin, and Walther Sebastian Efficient Profile Routing for Electric Vehicles. Internet of Vehicles – Technologies and Services. 2014.  

Benedikt Bollig, Habermehl Peter, Leucker Martin, and Monmege Benjamin A Robust Class of Data Languages and an Application to Learning. Logical Methods in Computer Science. 10 2014.  

Diekert, Volker, and Leucker Martin Topology, monitorable properties and runtime verification. Theor. Comput. Sci.. 537 :29–41. 2014.  

Leucker, Martin Challenges for the Dynamic Interconnection of Medical Devices. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}. Lecture Notes in Computer Science 8803 2014.  

Cordy, Maxime, Heymans Patrick, Legay Axel, Schobbens Pierre-Yves, Dawagne Bruno, and Leucker Martin Counterexample guided abstraction refinement of product-line behavioural models. Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. 2014.  

Decker, Normann, Leucker Martin, and Thoma Daniel jUnitRV - Adding Runtime Verification to jUnit. NASA Formal Methods. LNCS 7871 2013.  

Fischer, Stefan, and Leucker Martin Runtime Verification and Reflection for Wireless Sensor Networks. SESENA. 2013.  

Benedikt Bollig, Habermehl Peter, Leucker Martin, and Monmege Benjamin A Fresh Approach to Learning Register Automata. Developments in Language Theory (DLT'13). Lecture Notes of Computer Science 7907 2013.  

Backasch, Rico, Hochberger Christian, Weiss Alexander, Leucker Martin, and Lasslop Richard Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst.. 18 :18. 2013.  

Decker, Normann, Leucker Martin, and Thoma Daniel Impartiality and Anticipation for Monitoring of Visibly Context-free Properties. Runtime Verification 2013. Lecture Notes in Computer Science 8174, pp. 183--200 2013.  

Kühn, Franziska, and Leucker Martin OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013. Lecture Notes in Computer Science 8315, pp. 188-198 2013.  

Benedikt Bollig, Decker Normann, and Leucker Martin Frequency Linear-time Temporal Logic. Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). 2012.  

Joost-Pieter Katoen, Klink Daniel, Leucker Martin, and Wolf Verena Three-valued abstraction for probabilistic systems. Journal of Algebraic and Logic Programming (JLAP). 81(4):34. 2012.  

Leucker, Martin Sliding between model checking and runtime verification. Proceedings of the 3rd International Conference on Runtime Verification. Lecture Notes in Computer Science 2012.  

Leucker, Martin Teaching Runtime Verification. Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. 2012.  

Leucker, Martin, and Neider Daniel Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA. Lecture Notes in Computer Science 7609 2012.  

Leucker, Martin, and Thoma Daniel A Formal Approach to Software Product Families. ISoLA. Lecture Notes in Computer Science 7609 2012.  

Schaefer, Ina, Lochau Malte, and Leucker Martin Approaches for Mastering Change. ISoLA. Lecture Notes in Computer Science 7609 2012.  

Sachenbacher, Martin, Mayer Tobias, Leucker Martin, Brand Martin, and Jossen Andreas Towards 2nd-Life Application of Lithium-Ion Batteries for Stationary Energy Storage in Photovoltaic Systems. Incosol'12. 2012.  

Sachenbacher, Martin, Leucker Martin, Artmeier Andreas, and Haselmayr Julian Efficient Energy-Optimal Routing for Electric Vehicles. AAAI Conference on Artificial Intelligence, Special Track on Computational Sustainability. 2011.  

Bauer, Andreas, and Leucker Martin The Theory and Practice of SALT. NASA Formal Methods. Lecture Notes in Computer Science 6617 :13-40. 2011.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Runtime Verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology (TOSEM). 20(4):14. 2011.  

Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. TIME. 2011.  

Esparza, Javier, Leucker Martin, and Schlund Maximilian Learning Workflow Petri Nets. Fundam. Inform.. 113 :205-228. 2011.  

Zhang, Xian, Leucker Martin, and Dong Wei An event pattern language for runtime monitoring based on AOP. 6th International Conference for Internet Technology and Secured Transactions, ICITST 2011, Abu Dhabi, UAE, December 11-14, 2011. 2011.  

Benavides, David, Leucker Martin, Becker Martin, Rabiser Rick, Villela Karina, and Wong Peter Y. H. Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. 2011.  

Zhao, Changzhi, Dong Wei, Leucker Martin, and Qi Zhichang Security Goals Assurance Based on Software Active Monitoring. SSIRI. 2011.  

K.Trojahner, and Grelck C. Descriptor-free Representation of Arrays with Dependent Types.. 2009.  

Trojahner, K., and Grelck C. Dependently Typed Array Programs Don't Go Wrong. 2009.  

Dosch, W. Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams.. 2009.  

Stümpel, A. Communication-based System Development using Standard Programming Languages.. 2009.  

Dosch, W., and Hanus M. Arbeitstagung Programmiersprachen.. 2009.  

Trojahner, K., and Büther F. Structured Vectors for Efficient Rank-Generic Array Programs.. 2009.  

Dosch, W., Stümpel A., Janchum N., and Muenchaisri P. Stuttering Removal ? Developing Mealy and Moore Style Implementations of an Interactive Component. 2009.  

Dosch, W., and Stümpel A. Implementing Services by Partial State Machines.. 2009.  

Trojahner, K., and Grelck C. Descriptor-free Representation of Arrays with Dependent Types.. 2008.  

Dosch, W., Lee R., Tuma P., and(eds.) Coupayer T. Proceedings of the 6th International Conference on Software Engineering - Research, Management & Applications (SERA 2008).. 2008.  

Lee, R., Muenchaisri P., and(eds.) Dosch W. Proceedings of the 9th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2008).. 2008.  

Trojahner, K. Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.. 2008.  

Dosch, W. Modeling Component-Based Software Systems.. 2008.  

Dosch, W. Transformational Design of a Fault Tolerant Sequential Memory Component.. 2008.  

(ed.), Latifi S., and et al. eds.) Dosch(assoc. W. Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008).. 2008.  

Grelck, C., Scholz S. - B., and Shafarenko A. A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components.. 2008.  

Grelck, C., and Scholz S. - B. Efficient Heap Management for Declarative Data Parallel Programming on Multicores.. 2008.  

Grelck, C., Kuthe St., and Scholz S. - B. A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O.. 2008.  

Herhut, St., Scholz S. - B., and Grelck C. Generic Programming on the Nesting Structure of Arrays.. 2008.  

Dosch, W., Ruanthong W., and Stümpel A. From Stream Transformers to Moore State Transition Machines with Input and Output.. 2008.  

Dosch, W., and Stümpel A. Implementing Services by Partial State Machines.. 2008.  

Dosch, W., and Stümpel A. Extending the Service Domain of an Interactive Bounded Queue.. 2008.  

Dosch, W. Coordinating Almost Synchronous Communication Streams.. 2008.  

Dosch, W., Stümpel A., and Tamme T. Streaming Dyadic Boolean Operations.. 2008.  

Trojahner, K., and Grelck C. Dependently Typed Array Programs Don't Go Wrong.. 2007.  

Grelck, C., and Penczek F. On Implementing S-Net.. 2007.  

Herhut, St., Scholz S. - B., Bernecky R., Grelck C., and Trojahner K. From Contracts towards Dependent Types: Proofs by Partial Evaluation.. 2007.  

Grelck, C., Penczek F., and Trojahner K. CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.. 2007.  

Grelck, C., and Scholz S. - B. SAC: Off-the-Shelf Support for Data-Parallelism on Multicores.. 2007.  

Dosch, W. Extending the Service Domain of Interactive Components.. 2007.  

Dosch, W. Modeling Software Systems.. 2007.  

Dölle, B. Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.. 2007.  

Herhut, St., Scholz S. - B., and Grelck C. Generic Programming on the Nesting Structure of Arrays.. 2007.  

Dosch, W., Grelck C., and Stümpel A. 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2007).. 2007.  

Cai, H., Eisenbach S., Shafarenko A., and Grelck C. Extending the S-Net Type System.. 2007.  

Bernecky, R., Herhut St., Scholz S. - B., Trojahner K., Grelck C., and Shafarenko A. Index Vector Elimination: Making Index Vectors Affordable.. 2007.  

Trojahner, K., Grelck C., and Scholz S. - B. On Optimising Shape-Generic Array Programs using Symbolic Structural Information.. 2007.  

Dölle, B., and Dosch W. From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.. 2007.  

Grelck, C., Scholz S. - B., and Shafarenko A. S-Net: A Declarative Approach towards Streaming Networks of Asynchronous Components.. 2007.  

Dölle, B. ASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications.. 2007.  

Dosch, W., Meriste M., and Motus L. Enriching Interactive Components with Again Commands.. 2007.  

Dosch, W. Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.. 2007.  

Dosch, W., and Stümpel A. High Level Design of a Request Driven Sender Component.. 2007.  

Dosch, W., and Hu G. On Irregular Behaviours of Interactive Stacks.. 2007.  

(ed.), Latifi S., and et al. eds.) Dosch(assoc. W. Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007).. 2007.  

Dosch, W., Muenchaisri P., Ruanthong W., and Stümpel A. Model Checking for Input/Output Properties of a Black-Box Model.. 2007.  

Dosch, W. Designing Combinational Circuits for Scattered Pattern Matching.. 2007.  

Dosch, W., and Feng W. Transformational Design of an Asynchronous Distributor Component.. 2007.  

Grelck, C., Scholz S. - B., and Shafarenko A. Coordinating Data Parallel SAC Programs with S-Net.. 2007.  

Dosch, W. On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching.. 2007.  

Dosch, W. Extending the Service Domain of an Interactive Queue.. 2007.  

Dosch, W., and Stümpel A. Deriving State-Based Implementations of Interactive Components with History Abstractions.. 2007.  

Grelck, C., Scholz S. - B., and Shafarenko A. Streaming Networks for Coordinating Data-Parallel Programs.. 2007.  

Dosch, W. Transformational Design of an Interactive Component Straddling Communication Streams.. 2006.  

Dölle, B. Transforming Linear Terms of Algebraic Specifications into Method Application Structures.. 2006.  

Grelck, C., and Penczek F. Implementing S-Net: A Typed Stream Processing Language Part I: Compilation, Code Generation and Deployment.. 2006.  

Grelck, C., Shafarenko A., and Scholz S. - B. Asynchronous Stream Processing with S-Net.. 2006.  

Trojahner, K., Grelck C., and Scholz S. - B. On Optimising Shape-Generic Array Programs using Symbolic Structural Information.. 2006.  

Bernecky, R., Herhut St., Scholz S. - B., Trojahner K., Grelck C., and Shafarenko A. Index Vector Elimination: Making Index Vectors Affordable.. 2006.  

Grelck, C., Scholz S. - B., and Shafarenko A. S-Net: A Typed Stream Processing Language.. 2006.  

Shafarenko, A., Grelck C., and Scholz S. - B. Semantics and Type Theory of S-Net.. 2006.  

Dosch, W. Enriching the Input Interface of Interactive Components with Undo Commands.. 2006.  

Grelck, C., and Shafarenko A. Report on S-Net: A Typed Stream Processing Language. Part I: Foundations, Record Types and Networks.. 2006.  

Grelck, C., and Scholz S. - B. Merging Compositions of Array Skeletons in SAC.. 2006.  

Dosch, W., and Ruanthong W. On History-Sensitive Models of Interactive Queues.. 2006.  

Dosch, W., and(eds.) Perizzo W. Proceedings of the 15th International Conference on Software Engineering and Data Engineering.. 2006.  

Dosch, W., and Stümpel A. Deriving State-based Implementations of Interactive Components with History Abstractions.. 2006.  

Grelck, C., Scholz S. - B., and Shafarenko A. Streaming Networks for Coordinating Data-Parallel Programs.. 2006.  

Grelck, C., and Scholz S. - B. SAC: A Functional Array Language for Efficient Multithreaded Execution.. 2006.  

Butterfield, A., Grelck C., and(eds.) Huch F. Implementation and Application of Functional Languages, 17th International Workshop, (IFL 2005).. 2006.  

Grelck, C., Scholz S. - B., and Shafarenko A. A Binding Scope Analysis for Inferring Array Shapes.. 2006.  

Shafarenko, A., Scholz S. - B., Herhut St., Grelck C., and Trojahner K. Implementing a Numerical Solution of the KPI Equation using Single Assignment C: Lessons and Experiences.. 2006.  

Grelck, C., Hinckfuß K., and Scholz S. - B. With-Loop Fusion for Data Locality and Parallelism.. 2006.  

Dölle, B. Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.. 2006.  

Dosch, W., Ruanthong W., and Stümpel A. From Stream Transformers to Moore State Transition Machines with Input and Output.. 2006.  

Grelck, C., and Scholz S. - B. Merging Compositions of Array Skeletons in SAC.. 2006.  

Dosch, W. Formal Design of a Slow-Down Component for Almost Synchronous Streams.. 2006.  

Dosch, W. On History-Sensitive Models of Interactive Stacks.. 2006.  

Dosch, W., and Tamme T. Designing a Conditional Merge Component.. 2006.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Model-based runtime analysis of distributed reactive systems. 17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia. 2006.  

Dölle, B., and Dosch W. Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures.. 2005.  

Dosch, W. A Loose Interaction Pattern for Asynchronous Components.. 2005.  

Dosch, W. Modeling Software Systems.. 2005.  

Dosch, W. System Views in Software Engineering.. 2005.  

Dosch, W. Engineering Software Intensive Systems.. 2005.  

Dosch, W. Designing Combinational Circuits with List Homomorphisms.. 2005.  

Grelck, C., Hinckfuß K., and Scholz S. - B. With-Loop Fusion for Data Locality and Parallelism.. 2005.  

Grelck, C., Scholz S. - B., and Shafarenko A. A Binding Scope Analysis for Inferring Array Shapes.. 2005.  

Grelck, C., Huch F., Michaelson G. J., and(eds.) Trinder P. Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004).. 2005.  

Dosch, W. Designing Combinational Circuits with List Homomorphisms.. 2005.  

Dosch, W. History Abstractions of an Interactive Frequency Table.. 2005.  

Dosch, W., and Yeung WL High-Level Design of a Ternary Asynchronous Multiplexer.. 2005.  

Dosch, W. Software Engineering - Components, Interfaces, Behaviours.. 2005.  

Grelck, C., Kuthe S., and Scholz S. - B. A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O.. 2005.  

Grelck, C., and Scholz S. - B. A Language Implementation for Symmetric Homogeneous Multithreading.. 2005.  

Grelck, C., and Scholz S. - B. A Language Design for Multithreaded Execution.. 2005.  

Grelck, C., and Scholz S. - B. Generic Parallel Array Programming in SAC.. 2005.  

Dosch, W., and Stümpel A. Transforming Stream Processing Functions into State Transition Machines.. 2005.  

Dosch, W., Lee R. Y., and(eds.) Wu C. Software Engineering - Research, Management and Applications.. 2005.  

Motus, L., Meriste M., and Dosch W. Time-Awareness and Proactivity in Models of Interactive Computation.. 2005.  

Dosch, W. From Communication Histories to State Transition Machines.. 2005.  

Dosch, W., and Meriste M. High-Level Design of a Pull Protocoll.. 2005.  

Grelck, C. Shared Memory Multiprocessor Support for Functional Array Processing.. 2005.  

Grelck, C., and Hinckfuß K. With-Loop Fusion in SAC. 2005.  

Arafat, Oliver, Bauer Andreas, Leucker Martin, and Schallhart Christian Runtime verification revisited. Technical report TUM-I0518, Institut für Informatik, Technische Universität München. 2005.  

Dosch, W. History Abstractions of an Interactive Dictionary.. 2004.  

Dosch, W. Transformational Design of a Synchronization Component.. 2004.  

Dosch, W. Bridging System Views in Software Design.. 2004.  

Dosch, W. Components, Interfaces, Behaviours - Concepts for Asynchronous Systems in Software Engineering.. 2004.  

Riesco, D., Beron M., Montejano G., and Dosch W. Streams basados en RSL Aplicados a la Métrica Web Enlaces Rotos.. 2004.  

Grelck, C., and(eds) Huch F. Proceedings of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004).. 2004.  

Grelck, C., and Trojahner K. Implicit Memory Management for SAC.. 2004.  

Grelck, C., Scholz S. - B., and Trojahner K. With-Loop Scalarization ? Merging Nested Array Operations. 2004.  

(ed.), Dosch W. Special Issue on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing II.. 2004.  

Dosch, W., and(eds.) Debnath N. Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering.. 2004.  

Binder, T., Vox A., Belyazid S., Haraldsson H., and Svensson M. Developing System Dynamics Models from Causal Loop Diagrams.. 2004.  

Dosch, W., and Stümpel A. Introducing Control States into Communication Based Specifications of Interactive Components.. 2004.  

Dosch, W. Stream-Based Design of an Asynchronous Send-Receive Protocol.. 2004.  

(ed.), Dosch W. Special Issue on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing I.. 2004.  

Dosch, W., Riesco D., Beron M., and Montejano G. Formal Specification Scanning Streams using RAISE.. 2004.  

Dosch, W., Riesco D., Beron M., and Montejano G. Una Componente de Streams para Contabilizar la Métrica Web Número de Enlaces Rotos.. 2004.  

Lee, R., Dosch W., and(eds.) Wu C. Proceedings of the Second International Conference on Software Engineering - Research, Management and Applications (SERA 2004).. 2004.  

Dosch, W. Designing a Merge Component - From Communication Histories to State Transition Tables.. 2004.  

Grelck, C., and Scholz S. - B. Generic Array Programming in SAC.. 2004.  

Dosch, W., and Stümpel A. History Abstractions of a Sequential Memory Cell.. 2004.  

Dosch, W., and Magnussen S. Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.. 2004.  

Dosch, W. High-Level Synthesis of Priority Resolution Networks.. 2003.  

Dosch, W. On an Interactive Fault-Sensitive Stack - From Communication Histories to State Transition Tables.. 2003.  

Chen, C., Dosch W., Qian Y., and(eds.) Lin H. Proceedings of the First Hangzhou-Lübeck Conference on Software Engineering (HL-SE'03).. 2003.  

Dosch, W. Views of Communicating Components.. 2003.  

Stümpel, A. Stream Based Design of Distributed Systems through Refinement.. 2003.  

Grelck, C., and Scholz S. - B. SAC - From High-level Programming with Arrays to Efficient Parallel Execution.. 2003.  

Dosch, W., and Lee R. Y. Proceedings of the Fourth International Conference on Software Engineering, Networking and Parallel/Distributed Computing (SNPD'03).. 2003.  

Grelck, C., and Scholz S. - B. Towards an Efficient Functional Implementation of the NAS Benchmark FT.. 2003.  

Grelck, C., Scholz S. - B., and Trojahner K. With-Loop Scalarization ? Merging Nested Array Operations. 2003.  

Dosch, W., and Magnussen S. Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.. 2003.  

Grelck, C., and Scholz S. - B. SAC - From High-level Programming with Arrays to Efficient Parallel Execution.. 2003.  

Dosch, W. High-Level Synthesis of Two-Digit Pattern Matching Networks.. 2003.  

Dosch, W. Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications.. 2003.  

Magnussen, S. Mechanizing the Transformation of Higher-Order Algebraic Specification for the Development of Software Systems.. 2003.  

Riesco, D., Beron M., Montejano G., and Dosch W. Especificacion en RSL de Componentes Basadas en Streams.. 2003.  

Grelck, C. A Multithreaded Compiler Backend for High-Level Array Programming.. 2003.  

Dosch, W. Deriving Different Views of an Interactive Double-Ended Bounded Queue.. 2003.  

Dosch, W. Stream-Based Modelling of an Interactive Priority Queue.. 2003.  

Grelck, C., and Scholz S. - B. Axis Control in SAC.. 2003.  

Dosch, W., and Magnussen S. Mechanizing the Refinement of Data Structures with the Lübeck Transformation System.. 2002.  

Dosch, W. Designing Combinational Circuits with List Homomorphisms.. 2002.  

Grelck, C., and Scholz S. - B. Introducing Generalized Rank Conjunctions to SAC or How to Write and to Compile Nested Array Operations.. 2002.  

Dosch, W., and Stümpel A. History Abstractions of a Sequential Memory Component.. 2002.  

Dosch, W., and Stümpel A. Refining a Bounded Buffer.. 2002.  

Grelck, C. Lessons learned from the Shared Memory Parallelization of a Functional Array Language.. 2002.  

Dosch, W. Views of a Bounded Stack.. 2002.  

Dosch, W. Scanning Streams.. 2002.  

Dosch, W. Designing an Interactive Stack.. 2002.  

Grelck, C. Implementing the NAS Benchmark MG in SAC.. 2002.  

Dosch, W., and Magnussen S. Lübeck Transformation System: A Transformation System for Equational Higher-Order Algebraic Specifications.. 2002.  

Grelck, C. Optimizations on Array Skeletons in a Shared Memory Environment.. 2002.  

Dosch, W. Stream Based Design of Communicating Components.. 2001.  

Dosch, W., and Stümpel A. Views of an Unbounded Buffer.. 2001.  

Dosch, W., and Magnussen S. Algebraic Data Structure Refinement with the Lübeck Transformation System.. 2001.  

Dosch, W., and Stümpel A. Refining Stream Transformers to State-Based Components.. 2001.  

Dosch, W., and Magnussen S. Computer Aided Fusion For Algebraic Program Derivation.. 2001.  

Dosch, W., and Stümpel A. Views of a Memory Cell.. 2001.  

Dosch, W., and Stümpel A. From Stream Transformers to State Transition Systems with Input and Output.. 2001.  

Dosch, W., and Wiedemann B. Data Parallel List Programming with Two-Level Homomorphisms.. 2001.  

Dosch, W. Order-Theoretic Refinement of Infinite Stream Behaviours.. 2001.  

Dosch, W. High-Level Synthesis of Digital Comparators.. 2001.  

Dosch, W. Curtailing Infinite Stream Behaviours.. 2001.  

Dosch, W. Deriving Data Parallel Implementations For List Predicates.. 2001.  

Dosch, W. Refining Infinite Stream Behaviours By Bound Functions.. 2000.  

Dosch, W. Designing a Single Pulser.. 2000.  

Dosch, W., and Wiedemann B. List Homomorphisms with Accumulation and Indexing.. 2000.  

Dosch, W. Transforming Stream Processing Functions into State Based Components.. 2000.  

Dosch, W. Designing a Data-Parallel Implementation for a Triple-Based Functional Skeleton.. 2000.  

Dosch, W. Refining Infinite Stream Behaviours by Bound Functions.. 2000.  

Dosch, W., and Magnussen S. Transformational Derivation of a Bytecode Verifier.. 2000.  

Dosch, W., and Stümpel A. Merging Ordered Streams.. 2000.  

Dosch, W., and Magnussen S. Transformational Derivation of a Bytecode Verifier.. 2000.  

Dosch, W., and Stümpel A. Merging Ordered Streams. 2000.  

Dosch, W. Circuit Design with List Homomorphisms. 2000.  

Dosch, W., and Wiedemann B. List Homomorphisms with Accumulation and Indexing.. 1999.  

Dosch, W., and Stümpel A. Transformational Design of a Merge Agent For Ordered Streams.. 1999.  

Dosch, W., and Wiedemann B. Enriching List Homomorphisms By Index Calculations.. 1999.  

Dosch, W. From Streams To States.. 1999.  

Dosch, W. Deriving A Data Parallel Implementation For A Prefix-Based Skeleton.. 1998.  

Dosch, W. A Pair-Based Functional Skeleton and its List Homomorphic Implementation.. 1998.  

Dosch, W., and Wiedemann B. Calculating List Homomorphisms For Parallel Bracket Matching.. 1998.  

Dosch, W. On Monotonic Extensions of Boolean Functions.. 1998.  

Dosch, W. Partition-Based Skeletons and Their List Homomorphic Implementation.. 1998.  

Dosch, W. An Improved Data Parallel Algorithm For the LSS Problem.. 1998.  

Dosch, W. Deriving a Data Parallel Implementation For a Pair-Based List Cover.. 1998.  

Behnke, R., Berghammer R., and Magnussen S. Supporting Algebraic Program Derivation by PVS.. 1998.  

Dosch, W., and Wiedemann B. Calculating List Homomorphisms For Parallel Bracket Matching.. 1997.  

Dosch, W. On Swap Systems.. 1997.  

Dosch, W. Design Decisions for the Parallel Evaluation of Polynomials.. 1997.  

Dosch, W., and Möller B. Calculating a Functional Module for Binary Search Trees.. 1997.  

Dosch, W. Calculating Hamming Streams.. 1996.  

Dosch, W. Calculating Digital Counters.. 1996.