Publikationen

On an exemplar supporting model-based quality assurance research for healthcare systems-of-systems

Autor(en)

Sakizloglou, Lucas, Khakharova, Taisiya, Rühs, Florian, Lambers, Leen

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2024

Verlag

New York, NY, United States : Association for Computing Machinery

Freie Schlagworte

healthcare SoS; exemplar; model-based quality assurance

Quelle

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

Autor(en)

Lambers, Leen, Sakizloglou, Lucas, Al-Wardi, Osama, Khakharova, Taisiya

Herausgeber

Harmer, Russ, Kosiol, Jens

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2024

Verlag

Cham : Springer

Freie Schlagworte

Graph Transformation; Taint Analysis; Graph APIs; Security Testing

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture Notes in Computer Science ; volume 14774

---

Foundations for query-based runtime monitoring of temporal properties over runtime models

Autor(en)

Sakizloglou, Lucas, Lambers, Leen, Giese, Holger

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2024

Verlag

Cham : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture Notes in Computer Science ; volume 14573

---

Coinductive techniques for checking satisfiability of generalized nested conditions

Autor(en)

Stoltenow, Lara, König, Barbara, Schneider, Sven, Corradini, Andrea, Lambers, Leen, Orejas, Fernando

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2024

Verlag

Schloss Dagstuhl : Leibniz-Zentrum für Informatik

Freie Schlagworte

satisfiability; graph conditions; coinductive techniques; category theory

Quelle

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

Autor(en)

Taentzer, Gabriele, Kosiol, Jens, Lambers, Leen

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2024

Verlag

Springer

Freie Schlagworte

Business process models; Optimization; Model-driven engineering

Quelle

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

Autor(en)

Sakizloglou, Lucas

Publikationsart

Dissertation

Erscheinungsjahr

2023

Verlag

Potsdam : Universität

URN

urn:nbn:de:kobv:517-opus4-604396

DOI

https://doi.org/10.25932/publishup-60439

---

Evaluation diversity for graph conditions

Autor(en)

Schneider, Sven, Lambers, Leen

Publikationsart

Wissenschaftlicher Zeitschriftenartikel referiert

Erscheinungsjahr

2023

Freie Schlagworte

Graph logic; Logic coverage; Coverage criteria; Model generation; Validation; Debugging

Quelle

Journal of Logical and Algebraic Methods in Programming

Band/Jahrgang

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

Herausgeber

Lambers, Leen, Uchitel, Sebastián

Publikationsart

Buch (Herausgeber)

Erscheinungsjahr

2023

Verlag

Cham, Switzerland : Springer

Freie Schlagworte

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

Schriftenreihe(n) ; Bandnummer

Lecture Notes in Computer Science LNCS ; volume 13991

---

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties

Autor(en)

John, Stefan, Kosiol, Jens, Lambers, Leen, Taentzer, Gabriele

Publikationsart

Wissenschaftlicher Zeitschriftenartikel referiert

Erscheinungsjahr

2023

Freie Schlagworte

Search-Based Software Engineering; Model-Driven Engineering; Evolutionary Computation

Quelle

Software and Systems Modeling, S. 1281 - 1318

Band/Jahrgang

22

ISSN

1619-1374

DOI

https://doi.org/10.1007/s10270-022-01078-x

---

Tool support for the teaching of state-based behavior modeling

Autor(en)

Zöllner, Christian, Adriano, Christian M., Wietheger, Simon, Lambers, Leen, Giese, Holger

Herausgeber

Kühn, Thomas, Sousa, Vasco

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2022

Verlag

New York, NY, United States : Association for Computing Machinery

Freie Schlagworte

modeling; education; statecharts; simulation; validation framework

Quelle

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

Autor(en)

Schubanz, Mathias

Herausgeber

Manner, Johannes, Haarmann, Stephan, Kolb, Stefan, Herzberg, Nico, Kopp, Oliver

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2021

Freie Schlagworte

agile; decision-making; Language Server Protocol; domain-specific languages; documentation; tool support; rationale management

Quelle

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

Schriftenreihe(n) ; Bandnummer

CEUR-WS ; 2839

---

What Matters to Students - A Rationale Management Case Study in Agile Software Development

Autor(en)

Schubanz, Mathias, Lewerentz, Claus

Herausgeber

Krusche, Stephan, Wagner, Stefan

Publikationsart

Konferenzveröffentlichung referiert

Erscheinungsjahr

2020

Verlag

Aachen : RWTH

Freie Schlagworte

rationale management; agile software development; scrum; teaching; case study; decision types; design decision

Quelle

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

Schriftenreihe(n) ; Bandnummer

CEUR workshop proceedings ; vol 2531

---

Guidelines for Managing Requirements Rationales

Autor(en)

Thurimella, Anil Kumar, Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz

Publikationsart

Wissenschaftlicher Zeitschriftenartikel referiert

Erscheinungsjahr

2017

Freie Schlagworte

Stakeholders; Requirements engineering; Organizations; Software engineering; Systematics

Quelle

IEEE Software, S. 82 - 90

Band/Jahrgang

34

Ausgabe/Heft

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?

Autor(en)

Schubanz, Mathias

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2014

Verlag

New York, USA : ACM

Freie Schlagworte

Design Rationale; Capture; Research Proposal

Quelle

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

Autor(en)

Schubanz, Mathias

Herausgeber

Plödereder, Erhard, Grunske, Lars, Schneider, Eric, Ull, Dominik

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2014

Verlag

Bonn : Gesellschaft für Informatik

Freie Schlagworte

Design Rationale; Capture; Research Proposal

Quelle

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

Schriftenreihe(n) ; Bandnummer

GI-Edition : Proceedings ; 232

---

Guidance for Design Rationale Capture to Support Software Evolution

Autor(en)

Schubanz, Mathias, Pleuss, Andreas, Jordan, Howell, Botterweck, Goetz

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2014

Verlag

Bonn : Gesellschaft für Informatik

Freie Schlagworte

design rationale; software erosion; decision making; question catalogue; literature review

Quelle

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

Schriftenreihe(n) ; Bandnummer

Softwaretechnik-Trends ; 34,2

---

Model-driven Planning and Monitoring of Long-term Software Product Line Evolution

Autor(en)

Schubanz, Mathias, Pleuss, Andreas, Pradhan, Ligaj, Botterweck, Goetz, Thurimella, Anil Kumar

Herausgeber

Gnesi, Stefania, Collet, Philippe, Schmid, Klaus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2013

Verlag

New York, NY : ACM

Freie Schlagworte

software product lines; software evolution; software maintenance; software release planning

Quelle

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

Autor(en)

Steinbrückner, Frank, Lewerentz, Claus

Publikationsart

Wissenschaftlicher Zeitschriftenartikel referiert

Erscheinungsjahr

2013

Freie Schlagworte

software cities; software landscapes; software evolution; software visualization; metrics; software comprehension

Quelle

Information Visualization, S. 200 - 216

Band/Jahrgang

12

Ausgabe/Heft

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

Autor(en)

Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz, Lewerentz, Claus

Herausgeber

Eisenecker, Ulrich W., Apel, Sven, Gnesi, Stefania

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2012

Verlag

New York, NY : ACM

Freie Schlagworte

software product lines; software evolution; software maintenance; rationale

Quelle

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

Herausgeber

Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard

Publikationsart

Buch (Herausgeber)

Erscheinungsjahr

2010

Verlag

Berlin [u.a.] : Springer

Freie Schlagworte

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 5765

---

Towards Managing Software Architectures with Ontologies

Autor(en)

Bennicke, Marcel, Lewerentz, Claus

Publikationsart

Teil eines Buches (Kapitel)

Erscheinungsjahr

2010

Freie Schlagworte

Softwaretechnik; Softwarearchitekturen; Software-Ontologien

Quelle

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

Autor(en)

Steinbrückner, Frank

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2010

Verlag

Piscataway, NJ : IEEE

Freie Schlagworte

software visualization; software cities; software evolution

Quelle

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

Autor(en)

Steinbrückner, Frank, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2010

Freie Schlagworte

Graphical environments; Restructuring; reverse engineering; reengineering; Product Metrics; Process Metrics; Graphical User Interfaces; Softwaretechnik; Softwarevisualisierung; Softwareevolution

Quelle

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

Autor(en)

Botterweck, Goetz, Janota, Mikolás, Schneeweiss, Denny

Herausgeber

Benavides, David

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2009

Verlag

Essen : ICB

Freie Schlagworte

Softwaretechnik; Produktlinien; Konfigurationsmanagement

Quelle

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/

Schriftenreihe(n) ; Bandnummer

ICB research report ; 29

---

Interactive Techniques to Support the Configuration of Complex Feature Models

Autor(en)

Botterweck, Goetz, Schneeweiss, Denny, Pleuss, Andreas

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2009

Freie Schlagworte

Softwaretechnik; Produktlinien; Konfigurationsmanagement

Quelle

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

Autor(en)

Lewerentz, Claus, Steinbrückner, Frank

Publikationsart

Bericht

Erscheinungsjahr

2009

Verlag

Cottbus : BTU, Institut für Informatik

Freie Schlagworte

Softwaretechnik; Softwarevisualisierung

Schriftenreihe(n) ; Bandnummer

Computer Science Reports 2009 ; 2

---

Modularity clustering is force-directed layout

Autor(en)

Noack, Andreas

Publikationsart

Wissenschaftlicher Zeitschriftenartikel referiert

Erscheinungsjahr

2009

Freie Schlagworte

Graph Theory; Applications; Clustering; Graphvisualisierung

Quelle

Physical Review : E

Band/Jahrgang

79

ISSN

1550-2376

URL

http://pre.aps.org/abstract/PRE/v79/i2/e026102

---

Multi-level Algorithms for Modularity Clustering

Autor(en)

Noack, Andreas, Rotta, Randolf

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2009

Freie Schlagworte

Clustering; Algorithmen

Quelle

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

Autor(en)

Bennicke, Marcel, Hofmann, Alexander, Lewerentz, Claus, Wichert, Karl-Heinz

Publikationsart

Artikel

Erscheinungsjahr

2008

Freie Schlagworte

Softwaretechnik; Softwaremetriken

Quelle

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

Autor(en)

Botterweck, Goetz, Thiel, Steffen, Cawley, Ciarán, Nestor, Daren, Preußner, André

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2008

Freie Schlagworte

Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement

Quelle

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

Autor(en)

Cawley, Ciarán, Nestor, Daren, Preußner, André, Botterweck, Goetz, Thiel, Steffen

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2008

Freie Schlagworte

Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement

Quelle

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

Autor(en)

Ciolkowski, Marcus, Heidrich, Jens, Simon, Frank, Radicke, Mathias

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2008

Verlag

New York : ACM

Freie Schlagworte

Programming teams; Management; Measurement; Performance; Experimentation; SPCC; Case Study; Effectiveness; Cost; Softwaretechnik; Softwareleitstand; Softwaremetriken

Quelle

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

Autor(en)

Salger, Frank, Bennicke, Marcel, Engels, Gregor, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2008

Freie Schlagworte

Softwaretechnik; Softwarearchitektur

Quelle

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

Autor(en)

Noack, Andreas

Publikationsart

Dissertation

Erscheinungsjahr

2007

Freie Schlagworte

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

Autor(en)

Beyer, Dirk, Noack, Andreas

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2005

Verlag

Los Alamitos, Calif. [u.a.] : IEEE Computer Society

Quelle

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

Autor(en)

Noack, Andreas, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2005

Quelle

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

Autor(en)

Noack, Andreas, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2005

Verlag

New York, NY : Association for Computing Machinery

Quelle

Proceedings of the 2nd ACM Symposium on Software Visualization (SoftVis 2005)

Quelle

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

Autor(en)

Beyer, Dirk, Noack, Andreas, Lewerentz, Claus

Publikationsart

Artikel

Erscheinungsjahr

2005

Quelle

IEEE Transactions on Software Engineering 31(2005)2, S. 137-149, 0098-5589

---

An Energy Model for Visual Graph Clustering

Autor(en)

Noack, Andreas

Herausgeber

Liotta, Guiseppe

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2004

Verlag

Berlin [u.a.] : Springer Verlag

Quelle

Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, S. 425 - 436

ISBN

3-540-20831-3

Schriftenreihe(n) ; Bandnummer

Lecture Notes in Computer Science ; 2912

---

Software Landscapes: Visualizing the Structure of Large Software Systems

Autor(en)

Balzer, Michael, Noack, Andreas, Deussen, Oliver, Lewerentz, Claus

Publikationsart

Wissenschaftlicher Zeitschriftenartikel nicht referiert

Erscheinungsjahr

2004

Verlag

Aire-la-Ville : Eurographics Association

Quelle

VisSym 2004, Symposium on Visualization, Konstanz, Germany, May 19- 21, 2004, S. 261 - 266

---

Visual Clustering of Graphs with Nonuniform Degrees

Autor(en)

Noack, Andreas

Publikationsart

Bericht

Erscheinungsjahr

2004

Verlag

Cottbus : Inst. of Computer Science

Schriftenreihe(n) ; Bandnummer

Computer science reports ; 2004,2

---

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs

Autor(en)

Beyer, Dirk, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2003

Quelle

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

Autor(en)

Beyer, Dirk, Lewerentz, Claus

Publikationsart

Bericht

Erscheinungsjahr

2003

Verlag

Cottbus : Inst. of Computer Science

Schriftenreihe(n) ; Bandnummer

Computer science reports ; 2003,4

---

Rabbit: A Tool for BDD-based Verification of Real-Time Systems

Autor(en)

Beyer, Dirk, Lewerentz, Claus, Noack, Andreas

Herausgeber

Hunt, Warren A.

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2003

Verlag

Berlin [u.a.] : Springer

Quelle

Computer aided verification, 15th international conference, proceedings, CAV 2003, Boulder, CO, USA, July 8 - 12, 2003, S. 122 - 125

ISBN

3-540-40524-0

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2725

---

A Comparative Study of Decision Diagrams for Real-Time Verification

Autor(en)

Beyer, Dirk, Noack, Andreas

Publikationsart

Bericht

Erscheinungsjahr

2003

Verlag

Cottbus : BTU, Institut für Informatik

Schriftenreihe(n) ; Bandnummer

Computer science reports ; 2003,3

---

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

Autor(en)

Beyer, Dirk, Noack, Andreas

Herausgeber

König, Hartmut

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2003

Verlag

Berlin [u.a.] : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2767

---

Simple and Efficient Relational Querying of Software Structures

Autor(en)

Beyer, Dirk, Noack, Andreas, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2003

Verlag

Los Alamitos, Calif. [u.a.] : IEEE Computer Society

Quelle

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

Autor(en)

Noack, Andreas

Publikationsart

Bericht

Erscheinungsjahr

2003

Verlag

Cottbus : Inst. of Computer Science

Schriftenreihe(n) ; Bandnummer

Computer science reports ; 2003,7

---

CrocoCosmos - 3D Visualization of Large Object-Oriented Programs

Autor(en)

Lewerentz, Claus, Noack, Andreas

Herausgeber

Jünger, Michael, Mutzel, Petra

Publikationsart

Teil eines Buches (Kapitel)

Erscheinungsjahr

2003

Verlag

Berlin [u.a.] : Springer

Quelle

Graph drawing software, S. 279 - 297

ISBN

3-540-00881-0

---

A Non-standard Approach to Operational Semantics for Timed Systems

Autor(en)

Rust, Heinrich

Herausgeber

Börger, Egon

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2003

Verlag

Heidelberg [u.a.] : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2589

---

Metrics-based 3D Visualization of Large Object-Oriented Programs

Autor(en)

Lewerentz, Claus, Simon, Frank

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2002

Quelle

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

Autor(en)

Beyer, Dirk

Publikationsart

Dissertation

Erscheinungsjahr

2002

Freie Schlagworte

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

Autor(en)

Lewerentz, Claus

Herausgeber

Dumke, Reiner

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2002

Verlag

Aachen : Shaker

Quelle

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

Schriftenreihe(n) ; Bandnummer

Magdeburger Schriften zum Empirischen Software Engineering

---

Software Quality Assessments for System, Architecture, Design and Code

Autor(en)

Simon, Frank, Lewerentz, Claus, Bischofberger, Walter

Herausgeber

Meyerhoff, Dirk

Publikationsart

Teil eines Buches (Kapitel)

Erscheinungsjahr

2002

Verlag

Berlin [u.a.] : Springer Verlag

Quelle

Software quality and software testing in Internet times, S. 230 - 249

ISBN

3-540-42632-9

---

CrocoCosmos

Autor(en)

Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2002

Quelle

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

Autor(en)

Beyer, Dirk

Publikationsart

Bericht

Erscheinungsjahr

2001

Verlag

Cottbus : Inst. of Computer Science

Schriftenreihe(n) ; Bandnummer

Computer science reports ; 2001,05

---

Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata

Autor(en)

Beyer, Dirk

Publikationsart

Bericht

Erscheinungsjahr

2001

Verlag

Cottbus : Inst. of Computer Science

Schriftenreihe(n) ; Bandnummer

Computer science reports ; 2001,04

---

Software-Ingenieure als kompetente Teamworker

Autor(en)

Lewerentz, Claus, Rust, Heinrich

Publikationsart

Artikel

Erscheinungsjahr

2001

Quelle

Softwaretechnik-Trends, S. 30 - 35

Band/Jahrgang

21

Ausgabe/Heft

1

ISSN

0720-8928

---

Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme

Autor(en)

Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Koblenz-Landau : Univ., Inst. für Informatik

Quelle

3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001

Schriftenreihe(n) ; Bandnummer

Fachberichte Informatik, Universität Koblenz-Landau, Institut für Informatik ; 2002,1-6

---

Different Strategies for BDD-based Reachability Analysis of Timed Automata

Autor(en)

Beyer, Dirk, Heinig, Andy

Herausgeber

Rozenblit, Jerzy, Sveda, Miroslav, Rattray, Charles

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Quelle

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

Autor(en)

Beyer, Dirk, Lewerentz, Claus, Simon, Frank

Herausgeber

Abran, Alain, Dumke, Reiner

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Berlin [u.a.] : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2006

---

Efficient Verification of Timed Automata using BDDs

Autor(en)

Beyer, Dirk, Noack, Andreas

Herausgeber

Ultes-Nitsche, Ulrich, Gnesi, Stefania

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Rocquencourt : INRIA

Quelle

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

Autor(en)

Beyer, Dirk, Rust, Heinrich

Herausgeber

Rattray, Charles, Sveda, Miroslav, Rozenblit, Jerzy

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Stirling : University of Stirling, Dept. of Computing Science and

Quelle

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

Autor(en)

Beyer, Dirk

Herausgeber

Margaria, Tiziana, Melham, Tom

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Berlin [u.a.] : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2144

---

Improvements in BDD-based Reachability Analysis of Timed Automata

Autor(en)

Beyer, Dirk

Herausgeber

Zave, Pamela, Oliveira, José Nuno

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Berlin [u.a.] : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2021

---

Die Rolle der Reflexion in Software-Praktika

Autor(en)

Lewerentz, Claus, Rust, Heinrich

Herausgeber

Lichter, Horst, Glinz, Martin

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Heidelberg : dpunkt-Verlag

Quelle

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

Autor(en)

Rust, Heinrich, Lewerentz, Claus

Herausgeber

Althoff, Klaus-Dieter

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Berlin [u.a.] : Springer

Quelle

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

Schriftenreihe(n) ; Bandnummer

Lecture notes in computer science ; 2176

---

Metrics Based Refactoring

Autor(en)

Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus

Herausgeber

Sousa, Pedro

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Los Alamitos, Calif. [u.a.] : IEEE Computer Society

Quelle

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

Autor(en)

Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank, Breitling, H., Lilienthal, C., Lippert, M.

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2001

Verlag

Wiesbaden : Dt. Univ.-Verl.

Quelle

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

Schriftenreihe(n) ; Bandnummer

Gabler Edition Wissenschaft : Information-Engineering und IV-Controlling

---

BDD-basierte Verifikation von Realzeit-Systemen

Autor(en)

Beyer, Dirk, Noack, Andreas

Publikationsart

Konferenzveröffentlichung

Erscheinungsjahr

2000

Quelle

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)

---