Publications
A graph-centric neuro-symbolic architecture applied to personalized sepsis treatments
- Author(s)
- Sakizloglou, Lucas, Khakharova, Taisiya, Lambers, Leen
- Type
- Conference Proceeding refering
- Year of publication
- 2025
- Publisher name
- Piscataway, NJ : IEEE
- Intelligent healthcare; Graph neural networks; Graph queries; Knowledge graphs; Neuro-symbolic AI
- Source
- 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE) : proceedings, S. 11 - 16
- ISBN
- 979-8-3315-1461-7
- 979-8-3315-1460-0
- URL
- https://ieeexplore.ieee.org/document/11039286
- DOI
- https://doi.org/10.1109/NSE66660.2025.00009
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)
- Author(s)
- Nascimento Damasceno, Carlos Diego, Jakobs, Marie-Christine, Lambers, Leen, Uchitel, Sebastian
- Type
- Scientific Article ref.
- Year of publication
- 2025
- Publisher name
- Amsterdam : Elsevier BV
- Source
- Science of computer programming, S. 1 - 2
- Volume
- 240
- ISSN
- 1872-7964
- 0167-6423
- DOI
- https://doi.org/10.1016/J.SCICO.2024.103219
Exploring a graph-based approach to offline reinforcement learning for sepsis treatment.
- Author(s)
- Khakharova, Taisiya, Salizloglou, Lucas, Lambers, Leen
- Type
- Conference Proceeding no refering
- Year of publication
- 2025
- Publisher name
- Ithaca, NY : arXiv
- Machine learning; Computer science
- Source
- arXiv, S. 1 - 20
- DOI
- https://doi.org/10.48550/arXiv.2509.03393
On an exemplar supporting model-based quality assurance research for healthcare systems-of-systems
- Author(s)
- Sakizloglou, Lucas, Khakharova, Taisiya, Rühs, Florian, Lambers, Leen
- Type
- Conference Proceeding refering
- Year of publication
- 2024
- Publisher name
- New York, NY, United States : Association for Computing Machinery
- healthcare SoS; exemplar; model-based quality assurance
- Source
- SESoS '24: Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems, S. 57 - 60
- ISBN
- 979-8-4007-0557-1
- DOI
- https://doi.org/10.1145/3643655.3643879
Taint analysis for graph APIs focusing on broken access control
- Author(s)
- Lambers, Leen, Sakizloglou, Lucas, Al-Wardi, Osama, Khakharova, Taisiya
- Editor(s)
- Harmer, Russ, Kosiol, Jens
- Type
- Conference Proceeding refering
- Year of publication
- 2024
- Publisher name
- Cham : Springer
- Graph Transformation; Taint Analysis; Graph APIs; Security Testing
- Source
- Graph Transformation, 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings, S. 180 - 200
- ISBN
- 978-3-031-64284-5
- 978-3-031-64285-2
- URL
- https://link.springer.com/chapter/10.1007/978-3-031-64285-2_10
- DOI
- https://doi.org/10.1007/978-3-031-64285-2_10
- Lecture Notes in Computer Science ; volume 14774
Foundations for query-based runtime monitoring of temporal properties over runtime models
- Author(s)
- Sakizloglou, Lucas, Lambers, Leen, Giese, Holger
- Type
- Conference Proceeding refering
- Year of publication
- 2024
- Publisher name
- Cham : Springer
- Source
- Fundamental Approaches to Software Engineering (FASE 2024), S. 22 - 55
- ISBN
- 978-3-031-57259-3
- 978-3-031-57258-6
- DOI
- https://doi.org/10.1007/978-3-031-57259-3_2
- Lecture Notes in Computer Science ; volume 14573
Coinductive techniques for checking satisfiability of generalized nested conditions
- Author(s)
- Stoltenow, Lara, König, Barbara, Schneider, Sven, Corradini, Andrea, Lambers, Leen, Orejas, Fernando
- Type
- Conference Proceeding refering
- Year of publication
- 2024
- Publisher name
- Schloss Dagstuhl : Leibniz-Zentrum für Informatik
- satisfiability; graph conditions; coinductive techniques; category theory
- Source
- 35th International Conference on Concurrency Theory (CONCUR 2024), Leibniz International Proceedings in Informatics (LIPIcs), S. 391 - 3920
- DOI
- https://doi.org/10.4230/LIPIcs.CONCUR.2024.39
On the Application of Model-Driven Optimization to Business Processes
- Author(s)
- Taentzer, Gabriele, Kosiol, Jens, Lambers, Leen
- Type
- Conference Proceeding refering
- Year of publication
- 2024
- Publisher name
- Springer
- Business process models; Optimization; Model-driven engineering
- Source
- Lecture Notes in Computer Science, S. 24 - 35
- URL
- https://link.springer.com/chapter/10.1007/978-3-031-61433-0_2
- DOI
- https://doi.org/10.1007/978-3-031-61433-0_2
Evaluating temporal queries over history-aware architectural runtime models
- Author(s)
- Sakizloglou, Lucas
- Type
- doctoralthesis
- Year of publication
- 2023
- Publisher name
- Potsdam : Universität
- URN
- urn:nbn:de:kobv:517-opus4-604396
- DOI
- https://doi.org/10.25932/publishup-60439
Evaluation diversity for graph conditions
- Author(s)
- Schneider, Sven, Lambers, Leen
- Type
- Scientific Article ref.
- Year of publication
- 2023
- Graph logic; Logic coverage; Coverage criteria; Model generation; Validation; Debugging
- Source
- Journal of Logical and Algebraic Methods in Programming
- Volume
- 133
- ISSN
- 2352-2216
- 2352-2208
- URL
- https://www.sciencedirect.com/science/article/pii/S2352220823000160?via%3Dihub
- DOI
- https://doi.org/10.1016/j.jlamp.2023.100862
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
- Editor(s)
- Lambers, Leen, Uchitel, Sebastián
- Type
- book (editor)
- Year of publication
- 2023
- Publisher name
- Cham, Switzerland : Springer
- Computer Science; Informatics; Conference Proceedings; Research; Applications; Open Access
- ISBN
- 978-3-031-30826-0
- 978-3-031-30825-3
- DOI
- https://doi.org/10.1007/978-3-031-30826-0
- Lecture Notes in Computer Science LNCS ; volume 13991
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties
- Author(s)
- John, Stefan, Kosiol, Jens, Lambers, Leen, Taentzer, Gabriele
- Type
- Scientific Article ref.
- Year of publication
- 2023
- Search-Based Software Engineering; Model-Driven Engineering; Evolutionary Computation
- Source
- Software and Systems Modeling, S. 1281 - 1318
- Volume
- 22
- ISSN
- 1619-1374
- DOI
- https://doi.org/10.1007/s10270-022-01078-x
Tool support for the teaching of state-based behavior modeling
- Author(s)
- Zöllner, Christian, Adriano, Christian M., Wietheger, Simon, Lambers, Leen, Giese, Holger
- Editor(s)
- Kühn, Thomas, Sousa, Vasco
- Type
- Conference Proceeding refering
- Year of publication
- 2022
- Publisher name
- New York, NY, United States : Association for Computing Machinery
- modeling; education; statecharts; simulation; validation framework
- Source
- MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, S. 87 - 94
- ISBN
- 978-1-4503-9467-3
- DOI
- https://doi.org/10.1145/3550356.3556501
Custom-MADE - Leveraging Agile Rationale Management by Employing Domain-Specific Languages
- Author(s)
- Schubanz, Mathias
- Editor(s)
- Manner, Johannes, Haarmann, Stephan, Kolb, Stefan, Herzberg, Nico, Kopp, Oliver
- Type
- Conference Proceeding refering
- Year of publication
- 2021
- agile; decision-making; Language Server Protocol; domain-specific languages; documentation; tool support; rationale management
- Source
- 13th ZEUS Workshop, ZEUS 2021, Bamberg - European Workshop on Services and their Composition, 25-26 February 2021, online, S. 34 - 41
- URL
- http://ceur-ws.org/Vol-2839/paper7.pdf
- URN
- nbn:de:0074-2839-5
- CEUR-WS ; 2839
What Matters to Students - A Rationale Management Case Study in Agile Software Development
- Author(s)
- Schubanz, Mathias, Lewerentz, Claus
- Editor(s)
- Krusche, Stephan, Wagner, Stefan
- Type
- Conference Proceeding refering
- Year of publication
- 2020
- Publisher name
- Aachen : RWTH
- rationale management; agile software development; scrum; teaching; case study; decision types; design decision
- Source
- SEUH 2020: Software Engineering im Unterricht der Hochschulen : Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020$dInnsbruck, Österreich, 26.-27.02.2020, S. 17 - 26
- URL
- https://www.researchgate.net/publication/338533856_What_Matters_to_Students_-_A_Rationale_Management_Case_Study_in_Agile_Software_Development
- CEUR workshop proceedings ; vol 2531
Guidelines for Managing Requirements Rationales
- Author(s)
- Thurimella, Anil Kumar, Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz
- Type
- Scientific Article ref.
- Year of publication
- 2017
- Stakeholders; Requirements engineering; Organizations; Software engineering; Systematics
- Source
- IEEE Software, S. 82 - 90
- Volume
- 34
- Issue/Journal number
- 1
- ISSN
- 0740-7459
- 1937-4194
- URL
- https://www.computer.org/csdl/mags/so/2017/01/mso2017010082-abs.html
- DOI
- https://doi.org/10.1109/MS.2015.157
Design Rationale Capture in Software Architecture: What has to be captured?
- Author(s)
- Schubanz, Mathias
- Type
- conference publication
- Year of publication
- 2014
- Publisher name
- New York, USA : ACM
- Design Rationale; Capture; Research Proposal
- Source
- WCOP '14 Proceedings of the 19th international doctoral symposium on Components and architecture, S. 31 - 36
- ISBN
- 978-1-4503-2593-6
- URL
- http://dl.acm.org/citation.cfm?id=2601328.2601329&coll=DL&dl=ACM
- DOI
- https://doi.org/10.1145/2601328.2601329
Towards Enabling Design Rationale Capture by Asking the Right Questions
- Author(s)
- Schubanz, Mathias
- Editor(s)
- Plödereder, Erhard, Grunske, Lars, Schneider, Eric, Ull, Dominik
- Type
- conference publication
- Year of publication
- 2014
- Publisher name
- Bonn : Gesellschaft für Informatik
- Design Rationale; Capture; Research Proposal
- Source
- Informatik 2014, 44. Jahrestagung der Gesellschaft für Informatik, Big Data – Komplexität meistern, 22. - 26. September 2014 in Stuttgart, Deutschland, Doktorandenprogramm, S. 2257 - 2268
- ISBN
- 978-3-88579-626-8
- URL
- http://cs.emis.de/LNI/Proceedings/Proceedings232/2257.pdf
- GI-Edition : Proceedings ; 232
Guidance for Design Rationale Capture to Support Software Evolution
- Author(s)
- Schubanz, Mathias, Pleuss, Andreas, Jordan, Howell, Botterweck, Goetz
- Type
- conference publication
- Year of publication
- 2014
- Publisher name
- Bonn : Gesellschaft für Informatik
- design rationale; software erosion; decision making; question catalogue; literature review
- Source
- 6. Workshop "Design for Future'', 28. - 30. April 2014 in Bad Honnef, S. 60 - 61
- URL
- http://fg-sre.gi.de/fileadmin/gliederungen/fg-sre/wsre2014/wsre_dff_2014_proceedings.pdf
- http://pi.informatik.uni-siegen.de/stt/34_2/index.html
- Softwaretechnik-Trends ; 34,2
Model-driven Planning and Monitoring of Long-term Software Product Line Evolution
- Author(s)
- Schubanz, Mathias, Pleuss, Andreas, Pradhan, Ligaj, Botterweck, Goetz, Thurimella, Anil Kumar
- Editor(s)
- Gnesi, Stefania, Collet, Philippe, Schmid, Klaus
- Type
- conference publication
- Year of publication
- 2013
- Publisher name
- New York, NY : ACM
- software product lines; software evolution; software maintenance; software release planning
- Source
- Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systemsm, Conference VaMoS 2013, Pisa, Italy — January 23 - 25, 2013
- ISBN
- 978-1-4503-1541-8
- DOI
- https://doi.org/10.1145/2430502.2430527
Understanding software evolution with software cities
- Author(s)
- Steinbrückner, Frank, Lewerentz, Claus
- Type
- Scientific Article ref.
- Year of publication
- 2013
- software cities; software landscapes; software evolution; software visualization; metrics; software comprehension
- Source
- Information Visualization, S. 200 - 216
- Volume
- 12
- Issue/Journal number
- 2
- ISSN
- 1473-8716
- 1473-8724
- URL
- http://ivi.sagepub.com/content/12/2/200
- DOI
- https://doi.org/10.1177/1473871612438785
Modeling Rationale over Time to support Product Line Evolution Planning
- Author(s)
- Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz, Lewerentz, Claus
- Editor(s)
- Eisenecker, Ulrich W., Apel, Sven, Gnesi, Stefania
- Type
- conference publication
- Year of publication
- 2012
- Publisher name
- New York, NY : ACM
- software product lines; software evolution; software maintenance; rationale
- Source
- Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, Conference VaMoS 2012, Leipzig, Germany — January 25 - 27, 2012, S. 193 - 199
- ISBN
- 978-1-4503-1058-1
- DOI
- https://doi.org/10.1145/2110147.2110169
Graph Transformations and Model-Driven Engineering
- Editor(s)
- Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard
- Type
- book (editor)
- Year of publication
- 2010
- Publisher name
- Berlin [u.a.] : Springer
- Software Engineering; Logics and Meanings; Programming Languages; Software/Program Verification; Computer-Communication Networks; Programming Techniques
- ISBN
- 978-3-642-17321-9
- 3-642-17321-7
- Lecture notes in computer science ; 5765
Towards Managing Software Architectures with Ontologies
- Author(s)
- Bennicke, Marcel, Lewerentz, Claus
- Type
- part of book (chapter)
- Year of publication
- 2010
- Softwaretechnik; Softwarearchitekturen; Software-Ontologien
- Source
- Engels,Gregor (Hrsg.): Graph Transformations and Model-Driven Engineering, 1. - Berlin, Heidelberg : Springer, 2010, S.274-308, 978-3-642-17321-9
- URL
- http://www.springerlink.com/content/j73362p63pj51673/
- http://www.springerlink.com/content/978-3-642-17321-9/contents/
Coherent Software Cities : Supporting Comprehension of Evolving Software Systems
- Author(s)
- Steinbrückner, Frank
- Type
- conference publication
- Year of publication
- 2010
- Publisher name
- Piscataway, NJ : IEEE
- software visualization; software cities; software evolution
- Source
- 2010 IEEE International Conference on Software Maintenance (ICSM 2010), Timişoara, Romania, 12 - 18 September 2010, S. 532 - 533
- ISBN
- 978-1-4244-8630-4
- URL
- http://www.computer.org/portal/web/csdl/doi/10.1109/ICSM.2010.5610421
Representing Development History in Software Cities
- Author(s)
- Steinbrückner, Frank, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2010
- Graphical environments; Restructuring; reverse engineering; reengineering; Product Metrics; Process Metrics; Graphical User Interfaces; Softwaretechnik; Softwarevisualisierung; Softwareevolution
- Source
- 5th International Symposium on Software Visualization, Salt Lake City, Utah, USA, October 25-26, 2010, S. 193-202, 978-1-4503-0028-5
- URL
- http://portal.acm.org/citation.cfm?id=1879239
A design of a configurable feature model configurator
- Author(s)
- Botterweck, Goetz, Janota, Mikolás, Schneeweiss, Denny
- Editor(s)
- Benavides, David
- Type
- conference publication
- Year of publication
- 2009
- Publisher name
- Essen : ICB
- Softwaretechnik; Produktlinien; Konfigurationsmanagement
- Source
- Proceedings, Third International Workshop on Variability Modelling of Software-intensive Systems, held from January 28 - 30, at the University of Sevilla, Spain, S. 165 - 168
- URL
- http://www.sse.uni-due.de/vamos/2009/
- ICB research report ; 29
Interactive Techniques to Support the Configuration of Complex Feature Models
- Author(s)
- Botterweck, Goetz, Schneeweiss, Denny, Pleuss, Andreas
- Type
- conference publication
- Year of publication
- 2009
- Softwaretechnik; Produktlinien; Konfigurationsmanagement
- Source
- International Workshop on Model-driven Approaches in Product Line Engineering (MAPLE 2009), collocated with the 13th International Software Product Line Conference (SPLC 2009)
SoftUrbs: Visualizing Software Systems as Urban Structures
- Author(s)
- Lewerentz, Claus, Steinbrückner, Frank
- Type
- report
- Year of publication
- 2009
- Publisher name
- Cottbus : BTU, Institut für Informatik
- Softwaretechnik; Softwarevisualisierung
- Computer Science Reports 2009 ; 2
Modularity clustering is force-directed layout
- Author(s)
- Noack, Andreas
- Type
- Scientific Article ref.
- Year of publication
- 2009
- Graph Theory; Applications; Clustering; Graphvisualisierung
- Source
- Physical Review : E
- Volume
- 79
- ISSN
- 1550-2376
- URL
- http://pre.aps.org/abstract/PRE/v79/i2/e026102
Multi-level Algorithms for Modularity Clustering
- Author(s)
- Noack, Andreas, Rotta, Randolf
- Type
- conference publication
- Year of publication
- 2009
- Clustering; Algorithmen
- Source
- Experimental Algorithms : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4 - 6, 2009. - Berlin : Springer, 2009, S. 257 - 268, 978-3-642-02010-0 (Lecture Notes in Computer Science ; 5526)
- URL
- http://www.springerlink.com/content/qugv7708h3806230/
Software Controlling
- Author(s)
- Bennicke, Marcel, Hofmann, Alexander, Lewerentz, Claus, Wichert, Karl-Heinz
- Type
- article
- Year of publication
- 2008
- Softwaretechnik; Softwaremetriken
- Source
- Informatik-Spektrum 31(2008)6, S. 556-565, 0170-6012, 1432-122X
- URL
- http://www.springerlink.de/content/85566523852h3n38/?p=e77fe114f9004b5da3e36de0e6c5e72b%26pi=5
Visual Configuration in Automotive Software Product Lines
- Author(s)
- Botterweck, Goetz, Thiel, Steffen, Cawley, Ciarán, Nestor, Daren, Preußner, André
- Type
- conference publication
- Year of publication
- 2008
- Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement
- Source
- Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, Turku, Finland, 28 July - 1 August 2008, IEEE Computer Society 2008, S. 1070-1075, ISBN 978-0-7695-3262-2
Interactive Visualisation to Support Product Configuration in Software Product Lines
- Author(s)
- Cawley, Ciarán, Nestor, Daren, Preußner, André, Botterweck, Goetz, Thiel, Steffen
- Type
- conference publication
- Year of publication
- 2008
- Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement
- Source
- Second International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2008, Universität Duisburg-Essen, Germany, January 16-18, 2008, ICB-research report 22(2008), S. 7-16, 1860-2770
Empirical results from using custom-made software project control centers in industrial environments
- Author(s)
- Ciolkowski, Marcus, Heidrich, Jens, Simon, Frank, Radicke, Mathias
- Type
- conference publication
- Year of publication
- 2008
- Publisher name
- New York : ACM
- Programming teams; Management; Measurement; Performance; Experimentation; SPCC; Case Study; Effectiveness; Cost; Softwaretechnik; Softwareleitstand; Softwaremetriken
- Source
- Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, ESEM 2008, Kaiserslautern, Germany, Oktober 09-10, 2008, S. 243 - 252
- URL
- http://dl.acm.org/citation.cfm?id=1414004&picked=prox
Comprehensive Architecture Evaluation and Management in Large Software Systems
- Author(s)
- Salger, Frank, Bennicke, Marcel, Engels, Gregor, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2008
- Softwaretechnik; Softwarearchitektur
- Source
- Quality of Software Architectures. Models and Architectures. 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. - Berlin : Springer, 2008, S. 205 - 219, 978-3-540-87879-7
- URL
- http://www.springerlink.com/content/9471976q7h25565x/?p=495627441cd14ea4a5fb07b44a61d16a%26pi=12
Unified quality measures for clusterings, layouts, and orderings of graphs, and their application as software design criteria
- Author(s)
- Noack, Andreas
- Type
- doctoralthesis
- Year of publication
- 2007
- Softwareentwicklung; Graphische Darstellung; Computergraphik; Projektmanagement
- URL
- http://opus.kobv.de/btu/volltexte/2007/404/
- URN
- urn:nbn:de:kobv:co1-opus-4046
Clustering Software Artifacts Based on Frequent Common Changes
- Author(s)
- Beyer, Dirk, Noack, Andreas
- Type
- conference publication
- Year of publication
- 2005
- Publisher name
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society
- Source
- Proceedings, 13th International Workshop on Program Comprehension, IWPC 2005, 15 - 16 May 2005, St. Louis, Missouri, S. 259 - 268
- ISBN
- 0-7695-2254-8
Energy-Based Clustering of Graphs with Nonuniform Degrees
- Author(s)
- Noack, Andreas, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2005
- Source
- Healy, Patrick (Hrsg.): Graph drawing : 13th international symposium ; revised papers / GD 2005, Limerick, Ireland, September 12 - 14, 2005. - Berlin ; Heidelberg : Springer, 2006, S. 309-320, 3-540-31425-3 (Lecture notes in computer science ; 3843)
A Space of Layout Styles for Hierarchical Graph Models of Software Systems
- Author(s)
- Noack, Andreas, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2005
- Publisher name
- New York, NY : Association for Computing Machinery
- Source
- Proceedings of the 2nd ACM Symposium on Software Visualization (SoftVis 2005)
- Source
- Proceedings, SoftVis '05, ACM Symposium on Software Visualization, St. Louis, Missouri, May 14 - 15, 2005, S. 155 - 213
- ISBN
- 1-59593-073-6
Efficient Relational Calculation for Software Analysis
- Author(s)
- Beyer, Dirk, Noack, Andreas, Lewerentz, Claus
- Type
- article
- Year of publication
- 2005
- Source
- IEEE Transactions on Software Engineering 31(2005)2, S. 137-149, 0098-5589
An Energy Model for Visual Graph Clustering
- Author(s)
- Noack, Andreas
- Editor(s)
- Liotta, Guiseppe
- Type
- conference publication
- Year of publication
- 2004
- Publisher name
- Berlin [u.a.] : Springer Verlag
- Source
- Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, S. 425 - 436
- ISBN
- 3-540-20831-3
- Lecture Notes in Computer Science ; 2912
Software Landscapes: Visualizing the Structure of Large Software Systems
- Author(s)
- Balzer, Michael, Noack, Andreas, Deussen, Oliver, Lewerentz, Claus
- Type
- Scientific Article not ref.
- Year of publication
- 2004
- Publisher name
- Aire-la-Ville : Eurographics Association
- Source
- VisSym 2004, Symposium on Visualization, Konstanz, Germany, May 19- 21, 2004, S. 261 - 266
Visual Clustering of Graphs with Nonuniform Degrees
- Author(s)
- Noack, Andreas
- Type
- report
- Year of publication
- 2004
- Publisher name
- Cottbus : Inst. of Computer Science
- Computer science reports ; 2004,2
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
- Author(s)
- Beyer, Dirk, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2003
- Source
- Proceedings / IWPC, 11th IEEE International Workshop on Program Comprehension : 10 - 11 May 2003, Portland, Orgeon, USA, Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2003, S. 294-295, 0-7695-1883-4
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
- Author(s)
- Beyer, Dirk, Lewerentz, Claus
- Type
- report
- Year of publication
- 2003
- Publisher name
- Cottbus : Inst. of Computer Science
- Computer science reports ; 2003,4
Rabbit: A Tool for BDD-based Verification of Real-Time Systems
- Author(s)
- Beyer, Dirk, Lewerentz, Claus, Noack, Andreas
- Editor(s)
- Hunt, Warren A.
- Type
- conference publication
- Year of publication
- 2003
- Publisher name
- Berlin [u.a.] : Springer
- Source
- Computer aided verification, 15th international conference, proceedings, CAV 2003, Boulder, CO, USA, July 8 - 12, 2003, S. 122 - 125
- ISBN
- 3-540-40524-0
- Lecture notes in computer science ; 2725
A Comparative Study of Decision Diagrams for Real-Time Verification
- Author(s)
- Beyer, Dirk, Noack, Andreas
- Type
- report
- Year of publication
- 2003
- Publisher name
- Cottbus : BTU, Institut für Informatik
- Computer science reports ; 2003,3
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
- Author(s)
- Beyer, Dirk, Noack, Andreas
- Editor(s)
- König, Hartmut
- Type
- conference publication
- Year of publication
- 2003
- Publisher name
- Berlin [u.a.] : Springer
- Source
- Formal techniques for networked and distributed systems - FORTE 2003, 23rd IFIP WG 6.1,international conference, Berlin, Germany, September 29 - October 2, 2003, proceedings, S. 193 - 208
- ISBN
- 3-540-20175-0
- Lecture notes in computer science ; 2767
Simple and Efficient Relational Querying of Software Structures
- Author(s)
- Beyer, Dirk, Noack, Andreas, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2003
- Publisher name
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society
- Source
- Proceedings, 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, B.C., Canada, 13 - 16 November 2003, S. 216 - 225
- ISBN
- 0-7695-2027-8
Energy Models for Drawing Clustered Small-World Graphs
- Author(s)
- Noack, Andreas
- Type
- report
- Year of publication
- 2003
- Publisher name
- Cottbus : Inst. of Computer Science
- Computer science reports ; 2003,7
CrocoCosmos - 3D Visualization of Large Object-Oriented Programs
- Author(s)
- Lewerentz, Claus, Noack, Andreas
- Editor(s)
- Jünger, Michael, Mutzel, Petra
- Type
- part of book (chapter)
- Year of publication
- 2003
- Publisher name
- Berlin [u.a.] : Springer
- Source
- Graph drawing software, S. 279 - 297
- ISBN
- 3-540-00881-0
A Non-standard Approach to Operational Semantics for Timed Systems
- Author(s)
- Rust, Heinrich
- Editor(s)
- Börger, Egon
- Type
- conference publication
- Year of publication
- 2003
- Publisher name
- Heidelberg [u.a.] : Springer
- Source
- Abstract state machines 2003, advances in theory and practice, 10th international workshop, proceedings, ASM 2003, Taormina, Italy, March 3 - 7, 2003, S. 423 - 424
- ISBN
- 3-540-00624-9
- Lecture notes in computer science ; 2589
Metrics-based 3D Visualization of Large Object-Oriented Programs
- Author(s)
- Lewerentz, Claus, Simon, Frank
- Type
- conference publication
- Year of publication
- 2002
- Source
- Proceedings of the First IEEE International Workshop on Visualizing Software for Unterstanding and Analysis (VISSOFT 2002), 26th June 2002, Paris, France. Los Alamitos, Calif. [u.a.] : IEEE Computer Society, S. 70-77, 0-7695-1662-9
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
- Author(s)
- Beyer, Dirk
- Type
- doctoralthesis
- Year of publication
- 2002
- Formal Verification; Formal Method; Timed Automata; Reachability Analysis; BDD; Reactive Systems; Embedded Systems; Protocol Verification
- URL
- http://opus.kobv.de/btu/volltexte/2007/55/
- URN
- urn:nbn:de:kobv:co1-000000258
Metrics-based Quality Analysis of Large Software Products
- Author(s)
- Lewerentz, Claus
- Editor(s)
- Dumke, Reiner
- Type
- conference publication
- Year of publication
- 2002
- Publisher name
- Aachen : Shaker
- Source
- Software-Metriken in der Praxis, Tagungsband des DASMA Software Metrik Kongresses METRIKON 2001, 25. - 26. Oktober, 2001, Dortmund, S. 133 - 146
- ISBN
- 3-8322-0470-9
- Magdeburger Schriften zum Empirischen Software Engineering
Software Quality Assessments for System, Architecture, Design and Code
- Author(s)
- Simon, Frank, Lewerentz, Claus, Bischofberger, Walter
- Editor(s)
- Meyerhoff, Dirk
- Type
- part of book (chapter)
- Year of publication
- 2002
- Publisher name
- Berlin [u.a.] : Springer Verlag
- Source
- Software quality and software testing in Internet times, S. 230 - 249
- ISBN
- 3-540-42632-9
CrocoCosmos
- Author(s)
- Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank
- Type
- conference publication
- Year of publication
- 2002
- Source
- Mutzel, Petra (Hrsg.): Graph Drawing : 9th International Symposium ; revised papers / GD 2001, Vienna, Austria, September 2001, Berlin [u.a.] : Springer, 2002, S. 446-447, 3-540-43309-0 (Lecture notes in computer science ; 2265)
Rabbit Verification of Real-Time Systems
- Author(s)
- Beyer, Dirk
- Type
- report
- Year of publication
- 2001
- Publisher name
- Cottbus : Inst. of Computer Science
- Computer science reports ; 2001,05
Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata
- Author(s)
- Beyer, Dirk
- Type
- report
- Year of publication
- 2001
- Publisher name
- Cottbus : Inst. of Computer Science
- Computer science reports ; 2001,04
Software-Ingenieure als kompetente Teamworker
- Author(s)
- Lewerentz, Claus, Rust, Heinrich
- Type
- article
- Year of publication
- 2001
- Source
- Softwaretechnik-Trends, S. 30 - 35
- Volume
- 21
- Issue/Journal number
- 1
- ISSN
- 0720-8928
Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme
- Author(s)
- Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Koblenz-Landau : Univ., Inst. für Informatik
- Source
- 3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001
- Fachberichte Informatik, Universität Koblenz-Landau, Institut für Informatik ; 2002,1-6
Different Strategies for BDD-based Reachability Analysis of Timed Automata
- Author(s)
- Beyer, Dirk, Heinig, Andy
- Editor(s)
- Rozenblit, Jerzy, Sveda, Miroslav, Rattray, Charles
- Type
- conference publication
- Year of publication
- 2001
- Source
- Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), S. 89 - 98
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems
- Author(s)
- Beyer, Dirk, Lewerentz, Claus, Simon, Frank
- Editor(s)
- Abran, Alain, Dumke, Reiner
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Berlin [u.a.] : Springer
- Source
- New approaches in software measurement, 10th international workshop, proceedings, IWSM 2000, Berlin, Germany, October 4 - 6, 2000, S. 1 - 17
- ISBN
- 3-540-41727-3
- Lecture notes in computer science ; 2006
Efficient Verification of Timed Automata using BDDs
- Author(s)
- Beyer, Dirk, Noack, Andreas
- Editor(s)
- Ultes-Nitsche, Ulrich, Gnesi, Stefania
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Rocquencourt : INRIA
- Source
- FMICS 2001, Formal methods for industrial critical systems, proceedings, International workshop on formal methods for industrial critical systems 6, 16 - 17 July 2001, Paris, S. 95 - 113
- ISBN
- 2-7261-1187-4
Timed Automata Formal Definition and Semantics
- Author(s)
- Beyer, Dirk, Rust, Heinrich
- Editor(s)
- Rattray, Charles, Sveda, Miroslav, Rozenblit, Jerzy
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Stirling : University of Stirling, Dept. of Computing Science and
- Source
- Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001, S. 75 - 87
Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs
- Author(s)
- Beyer, Dirk
- Editor(s)
- Margaria, Tiziana, Melham, Tom
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Berlin [u.a.] : Springer
- Source
- Correct hardware design and verification methods, 11th IFIP WG 10.5 advanced research working conference, proceedings, CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001, S. 86 - 91
- ISBN
- 3-540-42541-1
- Lecture notes in computer science ; 2144
Improvements in BDD-based Reachability Analysis of Timed Automata
- Author(s)
- Beyer, Dirk
- Editor(s)
- Zave, Pamela, Oliveira, José Nuno
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Berlin [u.a.] : Springer
- Source
- Formal methods for increasing software productivity, proceedings, FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001, S. 318 - 343
- ISBN
- 3-540-41791-5
- Lecture notes in computer science ; 2021
Die Rolle der Reflexion in Software-Praktika
- Author(s)
- Lewerentz, Claus, Rust, Heinrich
- Editor(s)
- Lichter, Horst, Glinz, Martin
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Heidelberg : dpunkt-Verlag
- Source
- Software Engineering im Unterricht der Hochschulen, SEUH 7, Zürich 2001, S. 73 - 88
- ISBN
- 3-89864-106-6
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects
- Author(s)
- Rust, Heinrich, Lewerentz, Claus
- Editor(s)
- Althoff, Klaus-Dieter
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Berlin [u.a.] : Springer
- Source
- Advances in learning software organizations, third international workshop, proceedings, LSO 2001, Kaiserslautern, Germany, September 12 - 13, 2001, S. 135 - 149
- ISBN
- 3-540-42574-8
- Lecture notes in computer science ; 2176
Metrics Based Refactoring
- Author(s)
- Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus
- Editor(s)
- Sousa, Pedro
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society
- Source
- Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, 14 - 16 March 2001, Lisbon, Portugal, S. 30 - 38
- ISBN
- 0-7695-1028-0
External Validation of a Metrics-Based Quality Assessment of the JWAM Framework
- Author(s)
- Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank, Breitling, H., Lilienthal, C., Lippert, M.
- Type
- conference publication
- Year of publication
- 2001
- Publisher name
- Wiesbaden : Dt. Univ.-Verl.
- Source
- Software-Messung und -Bewertung, Tagungsband Workshop der GI-Fachgruppe 2.1.10, 10./11. September 2001 an der Universität Kaiserslautern, S. 32 - 49
- ISBN
- 3-8244-7592-8
- Gabler Edition Wissenschaft : Information-Engineering und IV-Controlling
BDD-basierte Verifikation von Realzeit-Systemen
- Author(s)
- Beyer, Dirk, Noack, Andreas
- Type
- conference publication
- Year of publication
- 2000
- Source
- Grabowski, Jens (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme : 10. GI/ITC-Fachgespräch, Lübeck, Juni 2000. - Aachen : Shaker, 2000, S. 79-89, 3-8265-7491-5 (Berichte aus der Informatik)