Publications

2017
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.  
2016
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.  
2015
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.  
2014
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.  
2013
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.  
2012
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.  
2011
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.  
2008
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.  
2007
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.  
2006
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.  
2005
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.  
2004
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.  
2003
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.