Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 87 Konferenzbeitrag
• 50 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2014

  Vier-wertige Abwicklungssemantik für Timet-LTL.

  Meschkat, M., 2014

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2013

  A Fresh Approach to Learning Register Automata

  Bollig, B., Habermehl, P., Leucker, M. & Monmege, B., 19.09.2013, Developments in Language Theory . Berlin: Springer Verlag, Band LNCS 7907. S. 118-130 13 S. (Lecture Notes in Computer Science ; Band LNCS 7907).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Learning algorithms 100%
  • Network protocols 82%
  • Model checking 63%
  • Ad hoc networks 58%

• Impartiality and Anticipation for Monitoring of Visibly Context-free Properties

  Decker, N., Leucker, M. & Thoma, D., 18.11.2013, Runtime Verification. Berlin: Springer Verlag, Band LNCS 8174. S. 183-200 18 S. (Lecture Notes in Computer Science; Band LNCS 8174).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal logic 100%
  • Monitoring 95%
  • Semantics 58%

• jUnitRV - Adding Runtime Verification to jUnit

  Decker, N., Leucker, M. & Thoma, D., 09.09.2013, NASA Formal Methods. Brat, G., Rungta, N. & Venet, A. (Hrsg.). Berlin: Springer Verlag, Band LNCS 7871. S. 459-464 6 S. ( Lecture Notes in Computer Science ; Band LNCS 7871).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Testing 79%

• Mehrdimensionale Histogram Equalization: Modellierung und komplexitätstheoretische Analyse

  Idelberger, A., 2013

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Runtime verification and reflection for wireless sensor networks

  Fischer, S. & Leucker, M., 01.05.2013, 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA). San Francisco, CA, USA: IEEE, S. 35-36 2 S. (Software Engineering for Sensor Network Applications (SESENA)).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Wireless sensor networks 100%
  • Failure analysis 36%
  • Repair 34%

• Runtime Verification for Mazurkiewicz Traces.

  Waziri, C., 2013

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Runtime verification for multicore SoC with high-quality trace data

  Backasch, R., Hochberger, C., Weiss, A., Leucker, M. & Lasslop, R., 01.03.2013, in: ACM Transactions on Design Automation of Electronic Systems. 18, 2, 18.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • System-on-chip 100%
  • Embedded systems 90%
  • Clocks 83%
  • Energy efficiency 77%
  • Electric potential 50%
  15 Zitate (Scopus)

• Sliding between model checking and runtime verification

  Leucker, M., 30.01.2013, Runtime Verification . Qadeer, S. & Tasiran, S. (Hrsg.). Berlin: Springer Verlag, Band LNCS 7687. S. 82-87 6 S. (Lecture Notes in Computer Science; Band LNCS 7687).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal logic 100%
  • Model checking 90%
  • Semantics 58%
• 2012

  A Formal Approach to Software Product Families

  Leucker, M. & Thoma, D., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 131-145 15 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Model checking 100%

• Algorithmen und Datenstrukturen für Prioritätswarteschlangen auf partiellen Ordnungen

  Krüger, C., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Approaches for Mastering Change

  Schaefer, I., Lochau, M. & Leucker, M., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 127-130 4 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Requirements engineering 100%
  • Adaptive systems 95%
  • Quality assurance 91%
  • Software engineering 69%
  • Systems analysis 65%

• DSL-based Runtime Verification for the JVM.

  Pohlmann, C., 2012

  Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

• Effect of polyunsaturated fatty acids on secretory phospholipase A2 type IIa in ectopic endometrial cells

  Khanaki, K., Ardekani, A. M., Ghassemzadeh, A., Shahnazi, V., Sadeghi, M. R., Darabi, M., Mehdizadeh, A., Saremi, A., Soleimani-Rad, J., Imani, A. R., Nouri, M. & Rahimipour, A., 07.2012, in: Iranian Journal of Reproductive Medicine. 10, 4, S. 321-328 8 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Secretory Phospholipase A2 100%
  • Unsaturated Fatty Acids 72%
  • Endometriosis 30%
  • Cell Survival 22%
  • 2,3-bis(2-methoxy-4-nitro-5-sulfophenyl)-5-((phenylamino)carbonyl)-2H-tetrazolium hydroxide 16%
  2 Zitate (Scopus)

• Evaluation of the relationship between endometriosis and omega-3 and omega-6 polyunsaturated fatty acids

  Khanaki, K., Nouri, M., Ardekani, A. M., Ghassemzadeh, A., Shahnazi, V., Sadeghi, M. R., Darabi, M., Mehdizadeh, A., Dolatkhah, H., Saremi, A., Imani, A. R. & Rahimipour, A., 2012, in: Iranian Biomedical Journal. 16, 1, S. 38-43 6 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Omega-6 Fatty Acids 100%
  • Unsaturated Fatty Acids 72%
  • Endometriosis 71%
  • Phospholipids 24%
  • Fatty Acids 23%
  34 Zitate (Scopus)

• Frequency Linear-time Temporal Logic

  Bollig, B., Decker, N. & Leucker, M., 05.10.2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE, S. 85-92 8 S. 6269631. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal logic 100%
  • Real time systems 42%
  • Specifications 27%

• Learning Minimal Deterministic Automata from Inexperienced Teachers

  Leucker, M. & Neider, D., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 524-538 15 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Learning algorithms 100%

• Multimengen-Baumautomaten: Analyse und Implementierung

  Bürger, M., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Teaching Runtime Verification

  Leucker, M., 23.05.2012, Runtime Verification. Khurshid, S. & Sen, K. (Hrsg.). Berlin: Springer Verlag, Band 7186 LNCS. S. 34-48 15 S. (Lecture Notes in Computer Science; Band 7186 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Teaching 100%

• Three-valued abstraction for probabilistic systems

  Katoen, J. P., Klink, D., Leucker, M. & Wolf, V., 01.05.2012, in: Journal of Logic and Algebraic Programming. 81, 4, S. 356-389 34 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Semantics 100%
  • Model checking 77%
  • Markov chains 71%
  26 Zitate (Scopus)

• 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.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.

  Schmitz, M., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten

• Turn Costs in Energy-Optimal Route Planning for Electric Vehicles

  Harms, P., 2012

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2011

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

  Combi, C. (Hrsg.), Leucker, M. (Hrsg.) & Wolter, F. (Hrsg.), 2011, IEEE.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung

• An event pattern language for runtime monitoring based on AOP

  Zhang, X., Leucker, M. & Dong, W., 01.12.2011, 2011 International Conference for Internet Technology and Secured Transactions. 978-1-4577-0884-8: IEEE, S. 744-751 8 S. 6148431. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Monitoring 100%
  • Flow control 56%
  • Demonstrations 48%

• Descriptor-free Representation of Arrays with Dependent Types.

  Trojahner, K. & Grelck, C., 17.10.2011, Implementation and Application of Functional Languages. Scholz, S-B. & Chitil, O. (Hrsg.). Berlin: Springer Verlag, Band 5836 LNCS. S. 100-117 18 S. (Lecture Notes in Computer Science; Band 5836 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Structural properties 100%
  • Data storage equipment 56%

• Efficient Energy-Optimal Routing for Electric Vehicles

  Sachenbacher, M., Leucker, M., Artmeier, A. & Haselmayr, J., 02.11.2011, AAAI'11 Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Press, Band 2. S. 1402-1407 6 S. (Proceedings of the National Conference on Artificial Intelligence).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Electric vehicles 100%
  • Costs 41%
  • Routing algorithms 16%

• Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

  Benavides, D., Leucker, M., Becker, M., Rabiser, R., Villela, K. & Wong, P. Y. H., 19.10.2011, 2011 15th International Software Product Line Conference. IEEE, S. 336-336 1 S. 6030077. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%

• Learning workflow Petri nets

  Esparza, J., Leucker, M. & Schlund, M., 01.12.2011, in: Fundamenta Informaticae. 113, 3-4, S. 205-228 24 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Petri nets 100%
  • Learning algorithms 42%
  4 Zitate (Scopus)

• Runtime verification for LTL and TLTL

  Bauer, A., Leucker, M. & Schallhart, C., 01.09.2011, in: ACM Transactions on Software Engineering and Methodology. 20, 4, 14.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Temporal logic 100%
  • Semantics 16%
  • Model checking 12%
  • Specifications 7%
  • Testing 6%
  207 Zitate (Scopus)

• Security Goals Assurance Based on Software Active Monitoring

  Zhao, C., Dong, W., Leucker, M. & Qi, Z., 23.09.2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement. IEEE, S. 70-79 10 S. 5992005. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Temporal logic 100%
  • Access control 80%
  • Monitoring 47%
  • Linux 44%
  • Closed loop systems 39%

• The Theory and Practice of SALT

  Bauer, A. & Leucker, M., 26.04.2011, NASA Formal Methods. Bobaru, M., Havelund, K., Holzmann, G. & Joshi, R. (Hrsg.). Berlin: Springer Verlag, Band 6617 LNCS . S. 13-40 28 S. (Lecture Notes in Computer Science ; Band 6617 LNCS ).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Salts 100%
  • Specifications 55%
  • Specification languages 24%
  • Model checking 22%
  • World Wide Web 21%

• Transformationen von Paritätsautomaten in Büchi-Automaten

  Scheffel, T., 2011

  Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
• 2009

  Arbeitstagung Programmiersprachen

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

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Communication-based System Development using Standard Programming Languages

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

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Dependently typed array programs don't go wrong

  Trojahner, K. & Grelck, C., 01.08.2009, in: Journal of Logic and Algebraic Programming. 78, 7, S. 643-664 22 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Computer programming languages 100%
  • Data structures 90%
  • Uncertainty 68%
  9 Zitate (Scopus)

• Implementing Services by Partial State Machines

  Dosch, W. & Sẗumpel, A., 23.07.2009, SOFSEM 2009: Theory and Practice of Computer Science. Springer Verlag, Band 5404 LNCS. S. 241-254 14 S. (Lecture Notes in Computer Science ; Band 5404 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%
  • Software engineering 69%
  • Servers 62%
  • Specifications 55%

• Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams

  Dosch, W., 01.12.2009, Proceedings of the European Computing Conference. Mastorakis, N., Mladenov, V. & Kontargyri, V. (Hrsg.). Boston: Springer Verlag, Band 27 LNEE. S. 651-661 11 S. (Lecture Notes in Electrical Engineering; Band 27 LNEE).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Modeling 100%
  • Fault 73%
  • Assignment 18%

• Structured Vectors for Efficient Rank-Generic Array Programs.

  Trojahner, K. & Büther, F., 2009, 5 S.

  Publikation: Andere Beiträge › Andere › Forschung

  • Computer programming languages 100%

• Stuttering removal-developing mealy and moore style implementations of an interactive component

  Dosch, W., Stümpel, A., Janchum, N. & Muenchaisri, P., 19.10.2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications. IEEE, S. 301-308 8 S. 5069340. (International Conference on Computer Systems and Applications).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%
  • Communication 43%
• 2008

  A gentle introduction to S-NET: Typed stream processing and declarative coordination of asynchronous components

  Grelck, C., Scholz, S. B. & Shafarenko, A., 01.06.2008, in: Parallel Processing Letters. 18, 2, S. 221-237 17 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Computer software reusability 100%
  • Computer programming languages 68%
  29 Zitate (Scopus)

• A hybrid shared memory execution model for a data parallel language with I/O

  Grelck, C., Kuthe, S. & Scholz, S. B., 01.03.2008, in: Parallel Processing Letters. 18, 1, S. 23-37 15 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Data storage equipment 100%
  • Synchronization 26%
  • Switches 23%
  • Communication 16%
  • Experiments 11%
  2 Zitate (Scopus)

• Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.

  Trojahner, K., 2008.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Coordinating Almost Synchronous Communication Streams

  Dosch, W., 05.09.2008, Third International Conference on Systems (icons 2008). IEEE, S. 7-15 9 S. 4497089. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Formal methods 100%
  • Communication 43%

• Efficient Heap Management for Declarative Data Parallel Programming on Multicores

  Grelck, C. & Scholz, S-B., 01.01.2008, 15 S.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Besondere Zeitschrifteneditionen/Sonderausgaben › Forschung

  • Parallel programming 100%
  • Data storage equipment 51%
  • Managers 18%
  • Storage allocation (computer) 14%
  • Relocation 13%

• Extending the service domain of an interactive bounded queue

  Dosch, W. & Stümpel, A., 08.05.2008, Trends in Intelligent Systems and Computer Engineering. Boston: Springer Verlag, S. 599-618 20 S. (Lecture Notes in Electrical Engineering; Band 6).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Information services 86%
  • Computer systems 68%
  1 Zitat (Scopus)

• From Contracts towards Dependent Types: Proofs by Partial Evaluation

  Herhut, S., Scholz, S. B., Bernecky, R., Grelck, C. & Trojahner, K., 24.09.2008, IFL 2007: Implementation and Application of Functional Languages. Springer Verlag, Band 5083 LNCS. S. 254-273 20 S. (Lecture Notes in Computer Science ; Band 5083 LNCS).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%

• Modeling Component-Based Software Systems

  Dosch, W., 2008, S. 1-1. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Proceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008: Message from the conference chairs

  Dosch, W. & Lee, R., 08.10.2008, 2008 Sixth International Conference on Software Engineering Research, Management and Applications. IEEE, S. ix-ix 1 S. 4609399. (IEEE Proceedings).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Andere › Forschung

  • Engineering research 100%
  • Software engineering 65%

• Proceedings of the 9th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2008)

  Lee, R., Muenchaisri, P. & Dosch, W., 2008, IEEE Computer Society. 992 S.

  Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung