By Year | By Type | RSS
2017
[2017] F. Möhrle et al., "Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees", in International Symposium on Model-Based Safety and Assessment, Demo Session (IMBSA), 2017. [bibtex] [pdf]
[2017] F. Möhrle et al., "A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees", in Proc. of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications., Portorož, Slovenia: Taylor & Francis (CRC Press), 2017. [bibtex]
[2017] S. Müller, P. Liggesmeyer, "Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes", in International Conference on Computer Safety, Reliability, and Security, 2017, pp. 225-236. [bibtex] [pdf] [doi]
[2017] A. Prohaska, "Dependency-Aware Fault Trees", in Proc. of the Embedded World Conference, 2017. [bibtex]
[2017] N. Bhardwaj, P. Liggesmeyer, "A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems", in Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, SASSUR, Trento, Italy, September 12, 2017, Proc., Cham: Springer International Publishing, pp. 309-316. [bibtex] [pdf] [doi]
2016
[2016] S. Müller, P. Liggesmeyer, "Safety Assurance for Emergent Collaboration of Open Distributed Systems", in Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International Symposium on. [bibtex] [doi]
[2016] F. Möhrle et al., "Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees", in Risk, Reliability and Safety: Innovating Theory and Practice: Proc. of ESREL., 2016, pp. 1380-1387. [bibtex]
[2016] S. Müller, P. Liggesmeyer, "Dynamic Safety Contracts for Functional Cooperation of Automotive Systems", in International Conference on Computer Safety, Reliability, and Security, 2016, pp. 171-182. [bibtex] [pdf] [doi]
[2016] K. Holl et al., "Interaction with Mobile Systems as part of Smart Ecosystems", in Weyers, B. & Dittmar, A. (Hrsg.), Mensch und Computer 2016 – Workshopband. Aachen: Gesellschaft für Informatik e.V.. [bibtex]
[2016] K. Bizik et al., "Modular Safety Assurance, Springer International", in Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology, 2016. [bibtex] [doi]
2015
[2015] F. Möhrle et al., "Automated compositional safety analysis using component fault trees", in Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on, pp. 152-159. [bibtex] [doi]
[2015] M. Roth, A. Hartoyo and P. Liggesmeyer, "Efficient reachability graph development for qualitive analysis of state/event fault trees", in Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on, pp. 144-151. [bibtex] [doi]
[2015] C. Schmitt, P. Liggesmeyer, "A Model for Structuring and Reusing Security Requirements Sources and Security Requirements", in Proceedings of CRE'15 - 1st Workshop on Continuous Requirements Engineering, T. W. Raimundas Matulevi&269;ius, Ed., CEUR Workshop Proceedings, 2015, pp. 34-43. [bibtex] [pdf]
[2015] A. Prohaska, "Integration von Markov-Modellen in Fehlerbäume", in 5. Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020), W. Zimmermann et al., Eds., CEUR Workshop Proceedings, 2015, pp. 51-60. [bibtex] [pdf]
[2015] S. Müller, P. Liggesmeyer, "A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime", in International Conference on Computer Safety, Reliability, and Security, 2015, pp. 156-166. [bibtex] [pdf] [doi]
[2015] M. Steiner, P. Liggesmeyer, "Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account", in Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, F. Koornneef, C. van Gulijk, Eds., Cham: Springer International Publishing, pp. 109-120. [bibtex] [pdf] [doi]
[2015] C. Schmitt, P. Liggesmeyer, "Instantiating a Model for Structuring and Reusing Security Requirements Sources", in IEEE 2nd Workshop on Evolving Security and Privacy Requirements Engineering, ESPRE 2015, 25 August, 2015, Ottawa, Canada, 2015, pp. 25-30. [bibtex]
[2015] C. Schmitt et al., "Bedrohungen kennen und sich erfolgreich dagegen schützen: Effektive Analyse von IT-Security-Risiken in einem heterogenen Produkt- und Lösungsportfolio", in OBJEKTspektrum, 2015, pp. 14-18. [bibtex]
[2015] C. Schmitt, P. Liggesmeyer, "Getting Grip on Security Requirements Elicitation by Structuring and Reusing Security Requirements Sources", in Complex Systems Informatics and Modeling Quarterly, 2015, pp. 15-34. [bibtex] [pdf] [doi]
[2015] M. Roth, P. Liggesmeyer, "Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems", in Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, Cham: Springer International Publishing, pp. 121-132. [bibtex] [pdf] [doi]
2014
[2014] T. Khan et al., "Analyzing Software Architectural Relations through Interactive Visual Support", in ECSA '14: Proceedings of the 8th European Conference on Software Architecture, Springer. [bibtex]
[2014] T. Khan et al., "eCITY+: A Visual Environment for Analysing Software Structure and Evolution", in AVI '14: Proceedings of the International Working Conference on Advanced Visual Interfaces, ACM. [bibtex]
[2014] R. AlTarawneh, J. Schultz and S. R. Humayoun, "CluE: An Algorithm for Expanding Clustered Graphs", in Pacific Visualization Symposium (PacificVis), 2014, pp. 233-237. [bibtex] [doi]
[2014] R. AlTarawneh et al., "Poster: 3DintEx - A tool to explore interactively the structural and behavioral aspects of system models in 3D environments", in 3D User Interfaces (3DUI), 2014 IEEE Symposium on, pp. 141-142. [bibtex] [doi]
[2014] C. Schmitt, P. Liggesmeyer, "Implications of the Operational Environmental on Software Security Requirements Engineering", in Security in Information Systems, D. G. Rosado et al., Eds., SCITEPRESS, 2014, pp. 63-74. [bibtex]
[2014] H. Mohammad, P. Patil, "Verification of Transport Protocol's Parallel Routing of a Vehicle Gateway System", Vehicular 2014, The Third International Conference on Advances in Vehicular Systems, Technologies and Applications, 2014, pp. 39-45. [bibtex]
[2014] H. Mohammad, S. M. Shamoon, "Handling conflicts to test transport protocol's parallel routing on a vehicle gateway system", Federated Conference on Computer Science and Information Systems (FedCSIS), 2014, pp. 1559-1568. [bibtex] [doi]
[2014] T. Khan et al., "eCITY: Evolutionary Software Architecture Visualization – An Evaluation", in Building Bridges: HCI, Visualization, and Non-formal Modeling, A. Ebert et al., Eds., Springer Berlin Heidelberg, 2014, pp. 201-224. [bibtex] [doi]
[2014] R. AlTarawneh et al., "Enhancing Understanding of Safety Aspects in Embedded Systems Through an Interactive Visual Tool", in Proceedings of the Companion Publication of the 19th International Conference on Intelligent User Interfaces, New York, NY, USA: ACM, 2014, pp. 9-12. [bibtex] [pdf] [doi]
[2014] R. AlTarawneh, J. Bauer and A. Ebert, "A Visual Interactive Environment for Enhancing Collaboration Between Engineers for the Safety Analysis Mechanisms in Embedded Systems", in Proceedings of the Companion Publication of the 17th ACM Conference on Computer Supported Cooperative Work &\38; Social Computing, New York, NY, USA: ACM, 2014, pp. 125-128. [bibtex] [pdf] [doi]
[2014] R. AlTarawneh et al., "Does Visualization Speed Up the Safety Analysis Process?", in Computer Safety, Reliability, and Security, A. Bondavalli, A. Ceccarelli, F. Ortmeier, Eds., Springer International Publishing, 2014, pp. 431-443. [bibtex] [doi]
2013
[2013] T. Khan et al., "Visual Exploration of Architectural Metric Data Evolution", in MetriKon 2013 - Praxis der Software-Messung: Tagungsband des DASMA Software Metrik Kongresses MetriKon 2013, Magdeburger Schriften zum Empirischen Software Engineering. [bibtex]
[2013] M. Roth, P. Liggesmeyer, "Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems", in 24th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2013, pp. 353-358. [bibtex] [pdf] [doi]
[2013] R. Altarawneh et al., "ESSAVis: A 2Dplus3D Visual Platform for Speeding Up the Maintenance Process of Embedded Systems", in 27th Int. British Computer Society Human Computer Interaction Conference (HCI 2013). [bibtex]
[2013] T. Khan et al., "eCITY: A Tool to Track Software Structural Changes using an Evolving City", in 29th IEEE International Conference on Software Maintenance (ICSM 2013), IEEE Computer Society, pp. 492-495. [bibtex] [doi]
[2013] R. AlTarawneh, S. R. Humayoun, "Evolving Prototypes Towards The Best-suited Design and Interaction Schema Using The Genetic Algorithm.", in MobileHCI, Workshop: PID-MAD 2013 (Best Paper Award). [bibtex]
[2013] R. AlTarawneh, S. R. Humayoun, "A Two-Perspective Visualization Approach for Utilizing Visualization Power in Computer Science Education.", in ACM Computer Science Education Research Conference (CSERC13), 2013. [bibtex]
[2013] R. AlTarawneh et al., "The Extended Stereoscopic Highlighting Technique For Node-Link Diagrams: An Empirical Study", in 14th IASTED International Conference on Computer Graphics and Imaging (CGIM 2013). [bibtex]
[2013] M. Steiner, P. Liggesmeyer, "Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System", in SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, M. ROY, Ed.. [bibtex] [pdf]
[2013] M. Roth, P. Liggesmeyer, "Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen", in Funktionale Sicherheit, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2013, pp. 117-126. [bibtex] [doi]
[2013] M. Roth, P. Liggesmeyer, "Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees", in SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, M. ROY, Ed.. [bibtex] [pdf]
[2013] T. Khan et al., "Evolutionary Software Architecture Visualization - An Evaluation of a Non-Formal Modeling Approach", in ECCE 2011 Workshop on Non-formal modelling for interaction design, 2013. [bibtex]
[2013] K. Jamboti et al., "Modeling and analysis of State/Event Fault Trees using ESSaRel", in DEPEND 2013, The Sixth International Conference on Dependability, ThinkMind, pp. 48. [bibtex] [pdf]
[2013] R. AlTarawneh, S. R. Humayoun, "Evolving Mobile Prototypes Towards The Best-suited Design and Interaction Schema Using The Genetic Algorithm.", International Journal of Mobile Human Computer Interaction (IJMHCI), 2013. [bibtex]
[2013] R. AlTarawneh et al., "The Reflection Layer Extension to the Stereoscopic Highlight Technique for Node-Link Diagrams: An Empirical Study", in Advances in Visual Computing, G. Bebis et al., Eds., Berlin/Heidelberg: Springer, 2013, pp. 1-12. [bibtex] [doi]
2012
[2012] A. M. Tiadjio, K. Jamboti, "Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems", in 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), 2012, pp. 319-324. [bibtex] [doi]
[2012] R. AlTarawneh et al., "ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems.", in SIGRAD 2012, Interactive Visual Analysis of Data. [bibtex]
[2012] K. Jamboti, P. Liggesmeyer, "A Framework for Generating Integrated Component Fault Trees from Architectural Views", in 14th International Symposium on High-Assurance Systems Engineering (HASE), 2012, pp. 114-121. [bibtex] [doi]
[2012] R. AlTarawneh, "A Framework for Utilizing Visualization Power in Computer Science Education.", in CSERC 2012, Visualization Power in Computer, Visualization in University Level Computer Science Education Workshop. [bibtex]
[2012] T. Khan et al., "Software Architecture Visualization in Theory and Practice", in ECCE 2012 Workshop: Visualization -- Beauty or The Beast, ACM Press. [bibtex]
[2012] P. Keller, V. Köppen and P. Liggesmeyer, "Sicherheit in der Fahrzeugtechnik", OBJEKTSpektrum, vol. 06/12, Jun 2012. [bibtex]
[2012] P. Liggesmeyer et al., "Quality Improvement Through Visualization of Software and Systems", in Quality Assurance and Management, M. Savsar, Ed., Rijeka, Croatia: InTech, 2012, pp. 315-334. [bibtex] [pdf]
[2012] T. Khan et al., "Visualization and Evolution of Software Architectures", in Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - IRTG 1131 Workshop, C. Garth, A. Middel, H. Hagen, Eds., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, pp. 25-42. [bibtex] [pdf] [doi]
[2012] Y. I. Al-Zokari et al., "Towards Advanced Visualization and Interaction Techniques for Fault Tree Analyses Comparing existing methods and tools", in PSAM11 - ESREL2012. [bibtex]
[2012] Y. Yang, P. Keller and P. Liggesmeyer, "Visual Approach Facilitating the Importance Analysis of Component Fault Trees", in Computer Safety, Reliability, and Security - SAFECOMP 2012, F. Ortmeier, P. Daniel, Eds., Berlin/Heidelberg, Germany: Springer, pp. 486-497. [bibtex]
[2012] Y. Yang et al., "Improving Safety-Critical Systems by Visual Analysis", in Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011, C. Garth, A. Middel, H. Hagen, Eds., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, pp. 43-58. [bibtex] [pdf] [doi]
[2012] M. Steiner, P. Keller and P. Liggesmeyer, "Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems", in Computer Safety, Reliability, and Security, F. Ortmeier, P. Daniel, Eds., Springer Berlin Heidelberg, 2012, pp. 454-465. [bibtex] [doi]
[2012] M. Roth, M. Steiner and P. Liggesmeyer, "Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme", in Kommunikation unter Echtzeitbedingungen, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2012, pp. 109-118. [bibtex] [doi]
[2012] K. Höfig, "Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis", in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, J. Schmitt, Ed., Berlin / Heidelberg: Springer, 2012, pp. 61-75. [bibtex] [doi]
2011
[2011] R. AlTarawneh, P. Keller and A. Ebert, "A General Introduction To Graph Visualization Techniques", in IRTG 1131 Workshop 2011, OASICS. [bibtex]
[2011] T. Khan et al., "Framework for Comprehensive Size and Resolution Utilization of Arbitrary Displays", in Scientific Visualization: Interactions, Features, Metaphors, H. Hagen, Ed., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011, pp. 144-159. [bibtex] [pdf] [doi]
[2011] Y. Yang et al., "ViSSaAn: Visual Support for Safety Analysis", in Scientific Visualization: Interactions, Features, Metaphors, H. Hagen, Ed., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2011, pp. 378-395. [bibtex] [pdf] [doi]
[2011] S. Wagner et al., Eds., Tagungsband 4. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011), Electronic Publication. [bibtex]
[2011] S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2011 im Rahmen der SE 2011, pp. 45. [bibtex]
[2011] M. Trapp, T. Kuhn and P. Liggesmeyer, "Modellbasierte Entwicklung eingebetteter Softwaresysteme", ELEKTRONIKPRAXIS. Embedded Software, Engineering Report, no. 1, 2011. [bibtex]
[2011] M. Roth, "Einsatz von Echtzeitstrategien in der MES-Automatisierung", in Herausforderungen durch Echtzeitbetrieb, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2011, pp. 91-100. [bibtex] [pdf] [doi]
[2011] P. Liggesmeyer, "Architekturen Eingebetteter Systeme", in Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb, 3rd ed. H. Balzert, Ed., Elsevier, Spektrum Akademischer Verlag, 2011, pp. 123; 125; 126; 397-411. [bibtex]
[2011] S. Kemmann, M. Trapp, "SAHARA - A Systematic Approach for Hazard and Risk Assessment", SAE, Rep. 2011-01-1003. [bibtex] [doi]
[2011] K. Höfig, D. Domis, "Failure-dependent execution time analysis", in Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, New York: ACM, 2011, pp. 115-122. [bibtex] [doi]
[2011] K. Höfig, "Timing Overhead Analysis for Fault Tolerance Mechanisms", in Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), R. Reussner, A. Pretschner, S. Jähnichen, Eds., Bonn, Germany: GI, pp. 89-98. [bibtex] [pdf]
[2011] K. Höfig, "FDTA - A Tool Chain for Failure-Dependent Timing Analysis", in Proc. of the 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011). [bibtex] [pdf]
[2011] K. Breiner et al., "Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote", in Human-Computer Interaction. Design and Development Approaches, J. Jacko, Ed., Berlin / Heidelberg: Springer, 2011, pp. 165-174. [bibtex] [doi]
[2011] R. Adler et al., "Integration of Component Fault Trees into the UML", in Models in Software Engineering, J. Dingel, A. Solberg, Eds., Berlin / Heidelberg, Germany: Springer, 2011, pp. 312-327. [bibtex] [doi]
2010
[2010] D. Domis, K. Höfig and M. Trapp, "A Consistency Check Algorithm for Component-Based Refinements of Fault Trees", in Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on, IEEE, pp. 171-180. [bibtex] [doi]
[2010] K. Breiner et al., "Kontextmodellierung und automatische Anpassung von Aufgabenmodellen in intelligenten Produktionsumgebungen am Beispiel der SmartMote", in Proceedings of USEWARE 2010 - Nutzergerechte Gestaltung technischer Systeme, VDI Wissensforum. [bibtex]
[2010] S. Wagner et al., Eds., Tagungsband 3. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2010), Electronic Publication. [bibtex]
[2010] S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2010 im Rahmen der SE 2010, pp. 250. [bibtex]
[2010] S. Wagner et al., "Softwarequalitätsmodelle – Praxisempfehlungen und Forschungsagenda", Informatik Spektrum, vol. 33, no. 1, 2010, pp. 37-44. [bibtex]
[2010] F. Schmidt, N. Hartmann, "Funktionaler Black-Box-Softwaretest für aktive kamera-basierte Fahrerassistenzsysteme im Automotive Umfeld", in Software Engineering, G. Engels, M. Luckey, W. Schäfer, Eds., Bonn, Germany: GI, 2010, pp. 21-22. [bibtex] [pdf]
[2010] K. Nehring, P. Liggesmeyer, "Tracing Structural Changes of Adaptive Systems", in ADAPTIVE 2010: The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, Lisbon, Portugal: IARIA, pp. 142-145. [bibtex] [pdf]
[2010] A. Mouaffo et al., "Tool support for a safety- and security- based assessment model for software engineering processes", in Software Process Improvement And Capability dEtermination (SPICE) Conference, 2010. [bibtex]
[2010] P. Liggesmeyer, "2017. Reisefreuden - Reiseleiden", in Heinz' Life 1962 - 2032. Kleine Geschichte vom Kommen und Gehen des Computers, L. Heuser, Ed., Munich, Germany: Carl Hanser Verlag, 2010, pp. 257-261. [bibtex]
[2010] K. Höfig et al., "Pattern-based Safety Engineering: Semantic Enrichment of System-Architecture Models for Semi-Automated Safety Analysis", in ESREL, Proceedings of, 2010. [bibtex]
[2010] Z. Guo et al., "Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques", in Software Engineering Advances (ICSEA), 2010 Fifth International Conference on, IEEE, pp. 508-513. [bibtex] [doi]
[2010] C. Gomez, P. Liggesmeyer and A. Sutor, "Variability management of safety and reliability models: an intermediate model towards systematic reuse of component fault trees", in Proceedings of the 29th international conference on Computer safety, reliability, and security, Berlin / Heidelberg, Germany: Springer, 2010, pp. 28-40. [bibtex] [pdf]
[2010] C. Gomez et al., "A new approach towards systematic reuse of safety and reliability models", in Reliablity, Risk and Safety Back to the Future: Proceedings of the European Safety and Reliability conference 2010, London: CRC Press / Balkema, pp. 818-824. [bibtex]
[2010] M. Förster, R. Schwarz and M. Steiner, "Integration of Modular Safety and Security Models for the Analysis of the Impact of Security on Safety", Fraunhofer IESE and University of Kaiserslautern: Kaiserslautern, Germany, Rep. 078.10/E, 2010. [bibtex] [pdf]
[2010] J. Dörr, P. Liggesmeyer, "3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2010 - SE 2010, pp. 243. [bibtex]
[2010] M. Becker, S. Kemmann and K. C. Shashidhar, "Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities", in Proceedings of Software Product Line Conference (SPLC '10), pp. 129-136. [bibtex] [pdf]
2009
[2009] S. Wagner et al., Eds., Tagungsband 2. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2009), Electronic Publication. [bibtex]
[2009] S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2009 im Rahmen der SE 2009, pp. 211. [bibtex]
[2009] M. Trapp et al., "Efficient Safety Analysis of Automotive Software Systems", SAE International Journal of Passenger Cars - Electronic and Electrical Systems, vol. 2, no. 1, 2009, pp. 258-270. [bibtex] [doi]
[2009] F. Schmidt, E. Sax, "Funktionaler Softwaretest für aktive Fahrerassistenzsysteme mittels parametrierter Szenario-Simulation", in Informatik 2009, S. Fischer, E. Maehle, R. Reischuk, Eds., Bonn, Germany: GI. [bibtex] [pdf]
[2009] J. Münch, P. Liggesmeyer, Eds., Software Engineering 2009 – Workshop-Band, Fachtagung des GI-Fachbereichs Softwaretechnik, Kaiserslautern, Germany, March 02-06, 2009, Köllen Verlag. [bibtex]
[2009] P. Liggesmeyer et al., Eds., Software Engineering 2009, Fachtagung des GI-Fachbereichs Softwaretechnik, Kaiserslautern, Germany, March 02-06, 2009 - Proceedings, Köllen Verlag. [bibtex]
[2009] P. Liggesmeyer, M. Trapp, "Trends in Embedded Software Engineering", IEEE Software, vol. 26, no. 3, 2009, pp. 19-25. [bibtex]
[2009] P. Liggesmeyer et al., "Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control", in Human-Computer Interaction. New Trends. 13th International Conference,HCI International 2009 - Proceedings, Part I, pp. 846-855. [bibtex]
[2009] P. Liggesmeyer, Software-Qualität, 2nd ed. Heidelberg, Germany: Spektrum-Verlag, 2009. [bibtex]
[2009] T. Kuhn et al., "Multi-Language Development of Embedded Systems", in Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM '09), M. Rossi et al., Eds., pp. 21-27. [bibtex] [pdf]
[2009] D. Domis, M. Trapp, "Component-Based Abstraction in Fault Tree Analysis", in Computer Safety, Reliability, and Security, B. Buth, G. Rabe, T. Seyfarth, Eds., Berlin: Springer, 2009, pp. 297-310. [bibtex] [doi]
[2009] D. Domis et al., "Safety Concept Trees", in 2009 Proc. Ann. Reliability & Maintainability Symp., Piscataway, NJ: IEEE, pp. 212-217. [bibtex] [doi]
2008
[2008] R. Adler et al., "Probabilistic analysis of safety-critical adaptive systems with temporal dependences", in Reliability and Maintainability Symposium, 2008. RAMS 2008. Annual, IEEE, pp. 149-154. [bibtex] [doi]
[2008] S. Wagner et al., "Software-Qualitätsmodellierung und -bewertung", in SQMB 2008 - im Rahmen der SE 2008, pp. 295-297. [bibtex]
[2008] S. Wagner et al., "Eine Forschungsagenda für Softwarequalität", in Software-Qualitätsmodellierung und -bewertung - SQMB'08 Workshop-Band, pp. 47-59. [bibtex]
[2008] C. Robinson-Mallett et al., "Using communication coverage criteria and partial model generation to assist software integration testing", Software Quality Journal, vol. 16, no. 2, 2008, pp. 185-211. [bibtex]
[2008] P. Liggesmeyer, "Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense", in Industrialisierung des Software-Managements 2008, pp. 13. [bibtex]
[2008] M. Kläs et al., "The use of simulation techniques for hybrid software cost estimation and risk analysis", in Advances in computers, M. V. Zelkowitz, Ed., London: Academic Press, 2008, pp. 115-174. [bibtex]
[2008] D. Domis, M. Trapp, "Integrating Safety Analyses and Component-Based Design", in Computer Safety, Reliability, and Security, M. Harrison, M. Sujan, Eds., Berlin / Heidelberg, Germany: Springer, 2008, pp. 58-71. [bibtex] [doi]
[2008] J. Dörr, P. Liggesmeyer, "2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2008 - SE 2008. [bibtex]
[2008] C. Denger, M. Trapp and P. Liggesmeyer, "SafeSpection - A Systematic Customization Approach for Software Hazard Identification", in SAFECOMP 2008: The 27th International Conference on Computer Safety, Reliability and Security, pp. 44-57. [bibtex]
2007
[2007] P. Müller, P. Liggesmeyer, E. Maehle, Eds., Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007). [bibtex]
[2007] P. Liggesmeyer, H. Rombach, "Software Engineering", in Technologieführer. Grundlagen - Anwendungen - Trends, H. J. Bullinger, Ed., Springer, 2007, pp. 166-169. [bibtex]
[2007] P. Liggesmeyer, "Formal Techniques in Software Engineering: Correct Software and Safe Systems", in 20th International Conference, Theorem Proving in Higher Order Logics - TPHOLs 2007, pp. 3-4. [bibtex]
[2007] M. Kläs et al., "Prozessverbesserung über Fehlerstrommessung bei einem mittelständischen Unternehmen", in MetriKon 2007 - Praxis der Software-Messung - Tagungsband, G. Büren, M. Bundschuh, R. R. Dumke, Eds., Aachen: Shaker-Verlag. [bibtex]
[2007] J. Doerr, P. Liggesmeyer, "Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2007 - SE 2007, pp. 285-286. [bibtex]
[2007] C. Denger, P. Liggesmeyer and M. Trapp, "Safety Engineering für eingebettete Softwaresysteme", in Software Engineering 2007 - SE 2007, pp. 287-292. [bibtex]
2006
[2006] C. Robinson-Mallett et al., "Extended state identification and verification using a model checker", Information and Software Technology, vol. 48, no. 10, 2006, pp. 981-992. [bibtex]
[2006] C. Robinson-Mallett, P. Liggesmeyer, "State Identification and Verification using a Model Checker", in Software Engineering 2006 - SE 2006, pp. 131-142. [bibtex]
[2006] C. Robinson-Mallett, R. Hierons and P. Liggesmeyer, "Achieving communication coverage in testing", ACM SIGSOFT Software Engineering Notes, vol. 31, no. 6, 2006, pp. 1-10. [bibtex]
[2006] R. Kalcklösch, P. Liggesmeyer, "Communication Test for Object-Oriented Systems using Gossiped Data", in 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI): Informatik 2006 – Informatik für Menschen!, pp. 282-283. [bibtex]
[2006] B. F. J. et al., Eds., Abstracts Collection – Component-Based Modeling and Simulation, Dagstuhl Seminar Proceedings, January 18-23, 2004, Electronic Publication, 2006. [bibtex]
[2006] D. J. Domis, C. Schäfer and M. Trapp, "Physical Domain Modeling for the Development of Dependable Embedded Systems", in Proceedings of the 10th international conference on software engineering and applications, A. M. K. Chenk, Ed., Anaheim, CA: ACTA Press, 2006, pp. 150-154. [bibtex] [pdf]
2005
[2005] C. Robinson-Mallett et al., "Generating Optimal Distinguishing Sequences with a Model Checker", ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, 2005. [bibtex]
[2005] C. Robinson-Mallett et al., "Generating Optimal Distinguishing Sequences with a Model Checker", in 1st International Workshop on Advances in Model-Based Testing - A-MOST 2005. [bibtex]
[2005] P. Liggesmeyer, K. Pohl, M. Goedicke, Eds., Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen, Germany, March 08-11, 2005 - Proceedings, Köllen Verlag. [bibtex]
[2005] P. Liggesmeyer, "Prüfung eingebetteter Software", in Software Engineering eingebetteter Systeme. Grundlagen – Methodik – Anwendungen, P. Liggesmeyer, H. Rombach, Eds., Elsevier, Spektrum Akademischer Verlag, 2005, pp. 205-225. [bibtex]
[2005] P. Liggesmeyer, "Einleitung und Überblick", in Software Engineering eingebetteter Systeme. Grundlagen – Methodik – Anwendungen, P. Liggesmeyer, H. Rombach, Eds., Elsevier, Spektrum Akademischer Verlag, 2005, pp. 1-12. [bibtex]
[2005] T. Bauer et al., "A Flexible Integration Strategy for In-Car Telematics Systems", ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, 2005. [bibtex]
[2005] T. Bauer et al., "A Flexible Integration Strategy for In-Car Telematics Systems", in 2nd International Workshop on Software Engineering for Automotive Systems - SEAS 2005. [bibtex]
2004
[2004] M. Weske, P. Liggesmeyer, Eds., Object-Oriented and Internet-Based Technologies - 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World (NODE 2004), Erfurt, Germany, September 27-30, 2004 - Proceedings, Springer. [bibtex]
[2004] P. Liggesmeyer, O. Mäckel, "A Comprehensive Approach for Automated Safety and Reliability Analysis of Systems", in Probalistic Safety Assessment and Management - PSAM 7 - ESREL 04, 2004. [bibtex]
[2004] M. Heisel, P. Liggesmeyer, S. Wittmann, Eds., Computer Safety, Reliability, and Security, 23rd International Conference (SAFECOMP 2004), Potsdam, Germany, September 21-24, 2004 - Proceedings, Springer. [bibtex] [doi]
2003
[2003] P. Liggesmeyer, "Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme", It – Information Technology, vol. 45, no. 1, 2003, pp. 39-45. [bibtex]
[2003] B. Kaiser, P. Liggesmeyer and O. Mäckel, "A new component concept for fault trees", in 8th Australian Workshop on Industrial Experience with Safety Critical Systems and Software – SCS 2003. [bibtex]
2002
[2002] P. Liggesmeyer, Software-Qualität, Heidelberg, Germany: Spektrum-Verlag, 2002. [bibtex]
[2002] J. Gericke, P. Liggesmeyer, "Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen", Informatik – Forschung & Entwicklung, vol. 17, no. 2, 2002, pp. 60-67. [bibtex]
2001
[2001] P. Liggesmeyer, O. Mäckel, "Quantifying the reliability of embedded systems by automated analysis", in DSN 2001. [bibtex]
[2001] P. Liggesmeyer, O. Mäckel, "Automatic Reliability Analysis of Electronic Designs using Fault Trees", in 13. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2001. [bibtex]
[2001] P. Liggesmeyer, "Bedingungsüberdeckungstesttechniken: Vergleich, Bewertung und Anwendung in der Praxis", Softwaretechnik Trends, vol. 21, no. 3, 2001, pp. 15-17. [bibtex]
[2001] P. Liggesmeyer, "Entwicklung technischer Software: Eine Situationsanalyse", in ADA-Deutschland Tagung 2001. [bibtex]
2000
[2000] A. Spillner, P. Liggesmeyer, "Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest", Informatik – Forschung & Entwicklung, vol. 15, no. 3, 2000, pp. 119-120. [bibtex]
[2000] P. Liggesmeyer, O. Mäckel, "Automatisierung erweiterter Fehlerbaumanalysen für komplexe technische Systeme", at - Automatisierungstechnik, vol. 48, no. 2, 2000, pp. 67-76. [bibtex]
[2000] P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", Softwaretechnik Trends, vol. 20, no. 3, 2000. [bibtex]
[2000] P. Liggesmeyer, "Qualitätsmanagement technischer Software – Standortbestimmung und Prognose der weiteren Entwicklung", LOG IN, vol. 20, no. 6, 2000, pp. 19-23. [bibtex]
[2000] P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", in Informatik 2000. [bibtex]
[2000] P. Liggesmeyer, "Automated Failure Modeling of Embedded Systems", in 17th International Conference on Testing Computer Software, 2000. [bibtex]
[2000] P. Liggesmeyer, Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg, Germany: Spektrum-Verlag, 2000. [bibtex]
1999
[1999] P. Liggesmeyer, O. Mäckel, "Statistische Messung und Prognose von Zuverlässigkeit", in Workshop der GI-Fachgruppen 2.1.4 und 3.6.2: Sicherheit und Zuverlässigkeit software-basierter Systeme, 1999. [bibtex]
[1999] P. Liggesmeyer, "Statistische Messung und Prognose von Zuverlässigkeit", Softwaretechnik-Trends, vol. 19, no. 1, 1999, pp. 7-8. [bibtex]
[1999] P. Liggesmeyer, "Quantified Risk Assessment and Test Support by Automated Fault Tree Analysis", in 7th European International Conference on Software Testing, Analysis and Review – EuroSTAR ´99, 1999. [bibtex]
[1999] P. Liggesmeyer, "Testing non-functional quality characteristics of software-based systems", in Conquest '99. [bibtex]
1998
[1998] M. Rettelbach, P. Liggesmeyer and M. Greiner, "Prediction of Project Quality by applying Stochastic Techniques to Measures based on Accounting Data: An Industrial Case Study", in 2nd International European Quality Week, 1998. [bibtex]
[1998] P. Liggesmeyer et al., "Qualitätssicherung softwarebasierter Systeme: Problembereiche und Lösungsansätze", Informatik-Spektrum, vol. 21, no. 5, 1998, pp. 249-258. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Towards Automated Proof of Fail-safe Behavior", in SAFECOMP 98, The 17th International Conference on Computer Safety, Reliability and Security, 1998, pp. 169-184. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Going beyond Correctness: Improving Software Robustness", in 11th International Software Quality Week, 1998. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Improving System Reliability with Automatic Fault Tree Generation", in 28th Annual Fault Tolerant Computing Symposium, 1998, pp. 90-99. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "System Safety Improvement by Automated Software Robustness Evaluation", in 15th International Conference on Testing Computer Software, 1998, pp. 71-77. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Automating Reliability and Safety Analysis Based on Formal System Models", in International Conference and workshop: Engineering of Computer Based Systems, 1998, pp. 264-271. [bibtex]
[1998] P. Liggesmeyer, T. Ackermann, "Applying Reliability Engineering: Empirical Results, Lessons Learned, and Furthermore Improvements", in ISSRE ´98, The 9th International Symposium on Software Reliability Engineering, 1998, pp. 263-271. [bibtex]
1997
[1997] P. Liggesmeyer, P. Rüppel, "Problemlösung oder Problemquelle: Die Auswirkungen objektorientierter Systeme auf die Qualitätssicherung", COMPUTERWOCHE focus, Sep 1997, pp. 16-17. [bibtex]
1996
[1996] M. Muellerburg, Test, Analyse und Verifikation von Software. Aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TVA) der Gesellschaft für Informatik (GI), Oldenbourg, 1996. [bibtex]
[1996] P. Liggesmeyer, P. Rüppel, "Die Prüfung von objektorientierter Systemen", OBJEKTspektrum, no. 6, 1996, pp. 68-78. [bibtex]
[1996] P. Liggesmeyer, "Methoden und Techniken für die Prüfung objektorientierter Systeme", in Object World, 1-7, 1996. [bibtex]
[1996] P. Liggesmeyer, "Qualitätssicherung von Telekommunikationssoftware und -systemen", in 1st G-IIA-Symposium, German Branch oft he International Informatization Academy (G-IIA), 1996, pp. 93-100. [bibtex]
[1996] P. Liggesmeyer, "Quantitative Bewertung von Software-Prüfverfahren durch unscharfe Logik", in GI-Fachtagung Softwaretechnik '96, pp. 81-88. [bibtex]
[1996] P. Liggesmeyer, "Fuzzy Logic based Decision Support for Improving the Testing Process", in 13th International Conference on Testing Computer Software, 1996, pp. 101-110. [bibtex]
[1996] P. Liggesmeyer, "Selecting Test Methods, Techniques, Metrics and Tools Using Systematic Decision Support", in 9th International Software Quality Week, 1996. [bibtex]
[1996] P. Liggesmeyer, "Selecting engineering techniques using fuzzy logic based decision support", in 1996 International IEEE Symposium on Engineering of Computer-Based Systems - ECBS ´96, pp. 427-434. [bibtex]
[1996] P. Liggesmeyer, "Die Bewertung und Verbesserung von Software-Entwicklungsprozessen mit Assessments", in Test, Analyse und Verifikation von Software, M. Müllerburg, A. Spillner, P. Liggesmeyer, Eds., Oldenbourg, 1996, pp. 155-168. [bibtex]
[1996] P. Liggesmeyer, "Metriken zur Planung, Steuerung und Optimierung des Softwaretests", in Software-Metriken in der Praxis, R. Dumke, C. Ebert, Eds., Springer, 1996, pp. 84-104. [bibtex]
1995
[1995] P. Liggesmeyer, "A set of complexity metrics for guiding the software test process", Software Quality Journal, vol. 4, no. 4, 1995, pp. 257-273. [bibtex]
[1995] P. Liggesmeyer, "The influence of object orientation and process orientation on software testing", in 3rd European International Conference on Software Testing, Analysis and Review – EuroSTAR ´95, 1995, pp. 25/1-25/10. [bibtex]
[1995] P. Liggesmeyer, "Software-Qualitätssicherung: Chancen und Risiken neuer Entwicklungen", in Software DevCon, 1995, pp. 101-106. [bibtex]
[1995] P. Liggesmeyer, "A framework for selecting appropriate test techniques", in 4th International Conference on Software Testing, Analysis and Review – STAR ´95, 1995, pp. 725-733. [bibtex]
[1995] P. Liggesmeyer, "Software Engineering und Software-Qualitätssicherung: Was kann man von neuen Techniken erwarten?", in 10. SAVE-Frühjahrstagung, 1995. [bibtex]
1994
[1994] P. Liggesmeyer, A. Spillner, "Software-Qualitätssicherung in der Praxis", Informatik Spektrum, vol. 17, no. 6, 1994, pp. 368-372. [bibtex]
[1994] P. Liggesmeyer, "Ein Überblick über objektorientiertes Testen", Softwaretechnik-Trends, vol. 15, no. 4, 1994, pp. 14-15. [bibtex]
[1994] P. Liggesmeyer, "Das Capability Maturity Model und die Bewertung von Software-Entwicklungsprozessen mit Assessments", Softwaretechnik-Trends, vol. 14, no. 2, 1994, pp. 11-12. [bibtex]
[1994] P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", Softwaretechnik-Trends, vol. 14, no. 1, 1994, pp. 11-12. [bibtex]
[1994] P. Liggesmeyer, "Software-Komplexitätsmetriken zur Testunterstützung", Informatik – Forschung & Entwicklung, vol. 9, no. 3, 1994, pp. 153-166. [bibtex]
[1994] P. Liggesmeyer, "Eine Methode zur Konstruktion von Prüfstrategien für Software", Informatik – Forschung & Entwicklung, vol. 9, no. 2, 1994, pp. 82-92. [bibtex]
[1994] P. Liggesmeyer, "Achieving reliable software by adapting test, analysis, and verification techniques to the requirements of the test process", in ICINAS-94 International Infomatization Forum II – International Conference on Informational Networks and Systems, 1994, pp. 73-83. [bibtex]
[1994] P. Liggesmeyer, "A method for the selection of suitable unit test techniques", in 2nd European International Conference on Software Testing, Analysis and Review – EuroSTAR ´94, 1994, pp. 23/1-23/10. [bibtex]
[1994] P. Liggesmeyer, "Selecting adequate test techniques in the real world", in 11th International Conference on Testing Computer Software, 1994, pp. 61-69. [bibtex]
1993
[1993] P. Liggesmeyer, "Wissensbasierte Qualitätsassistenz zur problemspezifischen Konstruktion von Prüfstrategien (Kurzfassung)", Softwaretechnik-Trends, vol. 13, no. 2, 1993, pp. 20-21. [bibtex]
[1993] P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", in GI-Fachtagung Softwaretechnik '93, pp. 103-110. [bibtex]
[1993] P. Liggesmeyer, "Werkzeuge für den Softwaretest – ein Vergleich", in CASE – Auswahl, Einführung, Erfahrungen, H. Balzert, Ed., Mannheim, Germany: BI Wissenschaftsverlag, 1993, pp. 127-148. [bibtex]
[1993] P. Liggesmeyer, Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
[1993] H. Balzert, P. Liggesmeyer, "Software-Qualitätssicherung: Neue Werkzeuge für Industrie und Lehre", RUBIN, 1993, pp. 40-45. [bibtex]
[1993] H. Balzert, P. Liggesmeyer, Systematisches Testen mit Tensor, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
1992
[1992] P. Liggesmeyer, A. Dregger and H. Balzert, "Ein experimentelles Testsystem für die Sprache HyperTalk", in Testen, Analysieren und Verifizieren von Software, P. Liggesmeyer, H. Sneed, A. Spillner, Eds., Berlin / Heidelberg, Germany: Springer, 1992, pp. 177-186. [bibtex]
[1992] P. Liggesmeyer, "Ein experimentelles Testsystem für die Sprache HyperTalk (Kurzfassung)", Softwaretechnik-Trends, vol. 12, no. 1, 1992, pp. 12-13. [bibtex]
[1992] P. Liggesmeyer, "Kriterien für die Auswahl von Test-, Analyse- und Verifikationsverfahren in der Praxis", HMD Theorie und Praxis der Wirtschaftsinformatik, vol. 29, no. 166, 1992, pp. 16-30. [bibtex]
[1992] P. Liggesmeyer, "Testen, Analysieren und Verifizieren von Software – eine klassifizierende Übersicht der Verfahren", in Testen, Analysieren und Verifizieren von Software, S. Liggesmeyer P., A. Spillner, Eds., Berlin / Heidelberg, Germany: Springer, 1992, pp. 1-25. [bibtex]
[1992] P. Liggesmeyer, "TensorC, TensorM, TensorP – Werkzeuge zur Testunterstützung", in CASE Systeme und Werkzeuge, H. Balzert, Ed., Mannheim, Germany: BI Wissenschaftsverlag, 1992, pp. 505-520. [bibtex]
1991
[1991] P. Liggesmeyer, "Klassifikation der Verfahren zur analytischen Software-Qualitätssicherung auf der Modulebene", Softwaretechnik-Trends, vol. 11, no. 2, 1991, pp. 54-55. [bibtex]
1990
[1990] P. Liggesmeyer, Modultest und Modulverifikation – State of the Art, Mannheim, Germany: BI Wissenschaftsverlag, 1990. [bibtex]
1988
[1988] P. Liggesmeyer, L. Sturm, "Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen", Angewandte Informatik, vol. 30, no. 6, 1988, pp. 252-258. [bibtex]



Übergeordnete Seite: SEDA
[mehr ...]
Feedback zu dieser Seite
Email an den Verantwortlichen dieser Seite (bizik@cs.uni-kl.de@informatik.uni-kl.de) [mehr ...]