environments In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (ESEM), Oktober 09-10, 2008, Kaiserslautern, Germany. ESEM '08 , Seiten 243-252 ACM [...] Industrial Environments In: Proceedings of the 1st International Symposium on Empirical Software Engineering and Measurement (ESEM), September 20-21, 2007, Madrid, Spanien. ESEM 2007, Seiten 314-323 ESEM 2007 [...] Lewerentz , Frank Simon "Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems" In: Reiner Dumke and Alain Abran (editors): New Approaches in Software Measurement. 10th I
/fg-software-systemtechnik/team/ehemalige-mitarbeitende/dr-frank-simon
UBICO Dirk Beyer , Heinrich Rust "Cottbus Timed Automata: Formal Definition and Semantics" In Charles Rattray, Miroslav Sveda and Jerzy Rozenblit (editors): Proceedings of the 2nd IEEE/IFIP Joint Workshop [...] Components: An Approach Combining Formal Real Time Specifications and Patterns In: Wolfgang Ehrenberger (editor): Computer Safety, Reliability and Security, SAFECOMP '98: 17th International Conference, Heidelberg [...] Heinrich Rust Are Software Engineers True Engineers? Annals of Software Engineering, Vol. 10, November 2000, pp.311 - 328, Baltzer Science Publishers, Bussum, 2000 SpringerLink - Zeitschriftenbeitrag 2000[08]
/fg-software-systemtechnik/team/ehemalige-mitarbeitende/dr-heinrich-rust
Andreas Noack , Claus Lewerentz "Simple and Efficient Relational Querying of Software Structures" In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003, Victoria, Canada, Nov. 13-16) [...] Abstract 2000[03] UBICO Andreas Noack Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria PhD Thesis, Brandenburgische Technische [...] Seminar on Graph Drawing, Dagstuhl, 11.05.2005 Simple and Efficient Relational Querying of Software Structures Working Conference on Reverse Engineering (WCRE) 2003, Victoria, Kanada, 15. November 2003 An
/fg-software-systemtechnik/team/ehemalige-mitarbeitende/dr-andreas-noack
Beyer Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs In: Tiziana Margaria and Tom Melham (Eds.): Correct Hardware Design and Verification Methods. 11th IFIP WG 10 [...] Software Engineering 31(2): p. 137-149 (February 2005) IEEE 2005[02] UBICO Dirk Beyer , Andreas Noack CrocoPat 2.1 Introduction and Reference Manual Report No. UCB//CSD-04-1338, Computer Science Division [...] Andreas Noack , Claus Lewerentz "Simple and Efficient Relational Querying of Software Structures" In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003, Victoria, Canada, Nov. 13-16)
/fg-software-systemtechnik/team/ehemalige-mitarbeitende/prof-dr-dirk-beyer
of Collembola and Oribatida changes with drought and farming system . PeerJ 10:e1277 Damptey FG , ... Opuni-Frimpong E (2022) Citizen Science Approach for Assessing the Biodiversity and Ecosystem Service [...] antibiotics ceftriaxone and levofloxacin on the growth of Calliphora vomitoria L.(Diptera: Calliphoridae) and effects on the determination of the post mortem-interval . Journal of Forensic and Legal Medicine, [...] on on above- and belowground diversity . Nature Communications 12, 3918 Damptey FG, Garcia de La Riva E, Birkhofer K (2021) Trade-offs and synergies between food and fodder production and other ecosystem
/fg-oekologie/publikationen/publikationen
Trisurat, Y., & Birkhofer, K . (2023). Effects of land use and climate on web-building spiders and their prey in dry dipterocarp forests . Forest Ecology and Management , 546 , 121366. Tölgyesi, C., Bátori, Z [...] K.. .. & Moya-Laraño, J. (2023). Severe drought and conventional farming affect detritivore feeding activity and its vertical distribution . Basic and Applied Ecology , 69 , 49-59. Damptey, F. G. , Djoudi [...] Isiogu, Abiola O. Oke. Regenerative edible insects for food, feed, and sustainable livelihoods in Nigeria: Consumption, potential and prospects, Future Foods, Volume 9, 2024, 100309, ISSN 2666-8335, doi
/fg-oekologie
Measurement- based Cockpits for Distributed Software and Systems Engineering Project SOFTPIT 2007. International Conference on Global Software Engineering, 27. - 30.08.2007, München SOFTPIT 2007 Abstract 2007[03] [...] Beyer Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs In: Tiziana Margaria and Tom Melham (Eds.): Correct Hardware Design and Verification Methods. 11th IFIP WG 10 [...] in Agile Software Development Konferenz: Software Engineering im Unterricht der Hochschulen 2020. Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck 26.02
/fg-software-systemtechnik/publikationen/konferenzen
Mizuno, N. Shiratori, T. Higashino, A. Togashi (eds.): Formal Description Techniques and Protocol Specification, Testing and Verification; Proceedings of the Joint Int. Conference FORTE/PSTV97; Osaka, Japan [...] Mizuno, N. Shiratori, T. Higashino, A. Togashi (eds.): Formal Description Techniques and Protocol Specification, Testing and Verification; Proceeding of the Joint Int. Conference FORTE/PSTV97; Osaka, Japan [...] Mizuno, N. Shiratori, T. Higashino, A. Togashi (eds.): Formal Description Techniques and Protocol Specification, Testing and Verification; Proceeding of the Joint Int. Conference FORTE/PSTV97; Osaka, Japan
/fg-rechnernetze/publikationen/archiv-2000-1989/1997
applicability. Model based engineering enables the fast design, generation, and validation of intrusion detection systems and facilitate the design and adaptation of needed protocols and system components. Moreover [...] collaborative system engineering approach SPACE which currently is dedicated mainly to the design of networked services and its toolset Arctis shall be extended to enable the automated creation and security analysis [...] inspectors and model checking tools. To cover vulnerabilities and threads of the modeled system, a security analysis has to be performed. The resulting system model must be synthesized and the appropriate
/fg-rechnernetze/forschung/projekte/abgeschlossene-projekte/projektbezogener-personenaustausch-mit-norwegen
Acker Silicon for the Chemical and Solar Industry XVI, The Norwegian University of Science and Technology, Trondheim, Norway, 2022. ISBN 978-82-692919-0-2 26. "Recovery and secondary use of Nickel-Manga [...] Chemical and Solar Industry XV, Eds.:B. Andresen, H. Rong, M. Tangstad, H. Tveit, I.G. Page, The Norwegian University of Science and Technology, Trondheim, Norway, 2020, 145-159. 24. "Lattice strain and phase [...] materials and metallurgical industries : COM 2020, Toronto, Ontario, Canada, Paper 810719. 25. "Advanced insights into the stoichiometry and kinetics of the reaction of silicon in HF/HNO 3 and HF/HNO 3
/physikalische-chemie/publikationen/beitraege-in-sammelwerken