Institute of Software Engineering and Programming Languages

Research output

Research Output per year 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Citations
• 95 Conference Papers
• 87 Conference contribution
• 50 Journal articles
• 15 Bachelor Theses
• 39 More
  • 14 Master Theses
  • 8 Anthologies
  • 4 Conference proceedings
  • 4 Other
  • 2 Chapter
  • 2 Editorial
  • 1 Books
  • 1 Special Journal Issues
  • 1 Conference Articles in Journals
  • 1 Scientific review articles
  • 1 Doctoral Theses

Research Output per year

Research Output per year

Search results

• 2021

  Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.

  Barbot, B., Bollig, B., Finkel, A., Haddad, S., Khmelnitsky, I., Leucker, M., Neider, D., Roy, R. & Ye, L., 2021, p. 113-129.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Context free grammars 100%
  • Recurrent neural networks 77%
  • Learning algorithms 62%
  • Context free languages 37%
  • Problem-Based Learning 28%

• Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

  Khmelnitsky, I., Neider, D., Roy, R., Xie, X., Barbot, B., Bollig, B., Finkel, A., Haddad, S., Leucker, M. & Ye, L., 2021, p. 364-380.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2019

  Empowering Multilevel DSMLs with Integrated Runtime Verification

  Macias, F., Rutle, A., Stolz, V., Scheffel, T. & Schmitz, M., 22.05.2019. 15 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Temporal logic 100%
  • Real time systems 84%
  • Software engineering 68%
  • Semantics 58%

• Generic Parallel Array Programming in SAC

  Grelck, C. & Scholz, S-B., 01.03.2019, p. 1 - 11. 11 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Array processing 100%
  • Maintainability 84%
  • Fast Fourier transforms 72%
• 2016

  Integration of Runtime Verification into Metamodeling

  Macias, F., Scheffel, T., Schmitz, M., Wang, R., Leucker, M., Rutle, A. & Stolz, V., 01.11.2016, p. 1-3. 3 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Modeling languages 100%
  • Specifications 38%
  • Embedded systems 27%
  • Large scale systems 25%
  • Semantics 20%
• 2015

  Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE

  Busshaus, T. B., Fischer, S., Kühn, F., Leucker, M., Schmitz, M. & Mildner, A., 01.05.2015, p. 243-248. 6 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente textendash Technologietransfer im CMSSE

  Busshaus, T., Fischer, S., Kühn, F., Leucker, M., Mildner, A. & Schmitz, M., 01.03.2015, p. 1-6. 6 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2014

  CeLiM: Centralized Runtime Monitoring of Lithium-Ion Battery Packs

  Sachenbacher, M., Blankenburg, M. & Leucker, M., 01.09.2014, p. 1-6. 6 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Battery Pack 100%
  • Lithium-ion batteries 89%
  • Energy storage 48%
  • Monitoring 46%
  • Battery management systems 36%
• 2012

  Towards 2nd-Life Application of Lithium-Ion Batteries for Stationary Energy Storage in Photovoltaic Systems

  Mayer, T., Leucker, M., Jossen, A., Sachenbacher, M. & Brand, S. M., 2012.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2009

  Arbeitstagung Programmiersprachen

  Dosch, W. & Hanus, M., 2009.

  Research output: Contribution to conference › Conference Papers › peer-review

• Communication-based System Development using Standard Programming Languages

  Stümpel, A., 2009, p. 265-268. 4 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2008

  Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.

  Trojahner, K., 2008.

  Research output: Contribution to conference › Conference Papers › peer-review

• Modeling Component-Based Software Systems

  Dosch, W., 2008, p. 1-1. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2007

  Designing Combinational Circuits for Scattered Pattern Matching

  Dosch, W., 01.12.2007, p. 72-80. 9 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Combinatorial circuits 100%
  • Pattern matching 88%
  • High level synthesis 49%
  • Specifications 25%

• Extending the Service Domain of an Interactive Queue

  Dosch, W., 01.12.2007, p. 1142-1149. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Extending the S-Net Type System

  Cai, H., Eisenbach, S., Shafarenko, A. & Grelck, C., 2007, p. 1-26. 26 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Generic Programming on the Nesting Structure of Arrays

  Herhut, S., Scholz, S-B. & Grelck, C., 2007, p. 1-8. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Boilers 100%
  • Data structures 90%
  • Specifications 70%

• Index vector elimination - Making index vectors affordable

  Bernecky, R., Herhut, S., Scholz, S. B., Trojahner, K., Grelck, C. & Shafarenko, A., 01.12.2007, p. 19-36. 18 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Experiments 100%

• Model checking for input/output properties of a black-box model

  Dosch, W., Muenchaisri, P., Ruanthong, W. & Stümpel, A., 01.12.2007, p. 120-127. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Model checking 100%
  • Software design 32%
  • Acoustic waves 24%

• Modeling software systems

  Dosch, W., 12.10.2007, p. xxvi. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Software engineering 100%
  • Data structures 43%
  • Communication 26%
  • Engineers 24%
  • Consumer products 22%

• On Implementing S-Net

  Grelck, C. & Penczek, F., 2007, p. 531-533. 3 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching

  Dosch, W., 01.12.2007, p. 520-529. 10 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Combinatorial circuits 100%
  • High level synthesis 99%
  • Pattern matching 88%
  • Specifications 25%

• SAC: Off-the-Shelf Support for Data-Parallelism on Multicores

  Grelck, C. & Scholz, S. B., 22.10.2007, p. 25-33. 9 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Array processing 100%
  • Data storage equipment 46%

• S-Net: A Declarative Approach towards Streaming Networks of Asynchronous Components.

  Grelck, C., Scholz, S-B. & Shafarenko, A., 2007, p. 145-155 . 11 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Computer software reusability 100%
  • Computer programming languages 68%

• Transformational Design of an Asynchronous Distributor Component

  Dosch, W. & Feng, W., 01.12.2007, p. 81-88. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Formal methods 100%
  • Specifications 55%
  • Communication 43%
• 2005

  A Binding Scope Analysis for Inferring Array Shapes

  Grelck, C., Scholz, S. B. & Shafarenko, A., 2005, p. 251-260. 10 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• A Language Design for Multithreaded Execution

  Grelck, C. & Scholz, S. B., 2005, p. 61-61. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• A Language Implementation for Symmetric Homogeneous Multithreading

  Grelck, C. & Scholz, S. B., 2005, p. 29-29. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Engineering Software Intensive Systems

  Dosch, W., 2005, p. 83-102. 20 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• From Communication Histories to State Transition Machine

  Dosch, W., 2005, p. 29-41. 13 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• High-Level Design of a Pull Protocoll

  Dosch, W. & Meriste, M., 2005, p. 66-73. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• High-Level Design of a Ternary Asynchronous Multiplexer

  Dosch, W. & Yeung, W. L., 01.12.2005, p. 221-228. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Refining 100%
  • Communication 51%

• History Abstractions of an Interactive Frequency Table

  Dosch, W., 01.12.2005, p. 31-39. 9 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Formal methods 100%

• Runtime verification revisited

  Arafat, O., Bauer, A., Leucker, M. & Schallhart, C., 01.10.2005, p. 1-22. 22 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Temporal logic 100%
  • Semantics 41%
  • Finite automata 13%

• System Views in Software Engineering

  Dosch, W., 2005, p. 33-72. 40 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• With-Loop Fusion in SAC

  Grelck, C. & Hinckfuß, K., 2005, p. 20-29. 10 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2004

  Bridging System Views in Software Design

  Dosch, W., 2004, p. VI-VI. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Components, Interfaces, Behaviours - Concepts for Asynchronous Systems in Software Engineering

  Dosch, W., 2004, p. i-1.

  Research output: Contribution to conference › Conference Papers › peer-review

• Designing a Merge Component - From Communication Histories to State Transition Tables.

  Dosch, W., 2004, p. 1-7. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Developing System Dynamics Models from Causal Loop Diagrams.

  Binder, T., Vox, A., Belyazid, S., Haraldsson, H. V. & Matssvensson, A., 2004, p. 1-22. 22 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• File Sharing Using IP-Multicast.

  Trojahner, K. & Sobe, P., 01.01.2004, p. 380-389. 10 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • File Sharing 100%
  • Multicasting 91%
  • World Wide Web 26%
  • Communication 23%
  • Peer to Peer 22%

• Formal Specification Scanning Streams using RAISE

  Dosch, W., Riesco, D., Beron, M. & Montejano, G., 2004, p. 1011-1013. 3 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Generic Array Programming in SAC

  Grelck, C. & Scholz, S-B., 2004, p. 43-53. 11 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• History Abstractions of an Interactive Dictionary

  Dosch, W., 2004, p. 337-344. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• History Abstractions of a Sequential Memory Cell

  Dosch, W. & Stümpel, A., 2004, p. 241-247. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Implicit Memory Management for SaC

  Grelck, C. & Trojahner, K., 01.01.2004.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Data storage equipment 100%
  • Array processing 43%

• Introducing Control States into Communication Based Specifications of Interactive Components

  Dosch, W. & Stümpel, A., 01.12.2004, p. 875-881. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Specifications 100%
  • Communication 77%

• Stream-Based Design of an Asynchronous Send-Receive Protocol

  Dosch, W., 01.12.2004, p. 868-874. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Top-down 100%
  • Communication 56%

• Streams basados en RSL Aplicados a la Métrica Web Enlaces Rotos

  Riesco, D., Beron, M., Montejano, G. & Dosch, W., 2004.

  Research output: Contribution to conference › Conference Papers › peer-review

• Transformational Design of a Synchronization Component

  Dosch, W., 2004, p. 337-344. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review