Conférence.
Nayla Sokhn and Richard Baltensperger and Louis-Felix Bersier and Jean Hennebert and Ulrich Ultes-Nitsche,
«Identification of Chordless Cycles in Ecological Networks»,
COMPLEX 2012: 2012
https://doi.org...
Article.
Allred, Joël, Ultes-Nitsche, Ulrich,
«k-Counting Automata», Rairo Journal of Theoretical Informatics and Applications (2012)
Livre.
Freund, Rudolf, Holzer, Markus, Truthe, Biance, Ultes-Nitsche, Ulrich, Proceedings of the 4th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2012)
(2012)
Conférence.
Standtke, R. and Ultes-Nitsche, U.,
«Java NIO framework introducing a high-performance I/O framework for Java»,
ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies: 2008, p. 206-211
http://www.scopus.com...
Conférence.
Ultes-Nitsche, U. and Moldt, D. and Augusto, J.C.,
«Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008; In Conjunction with ICEIS 2008: Foreword»,
Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)- Proc. 6th Int. Workshop on MSVVEIS 2008; In Conjunction with ICEIS 2008: 2008
http://www.scopus.com...
Conférence.
Nicola, Thierry and Ultes-Nitsche, Ulrich, Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos,
«Weakly Continuation Closed Homomorphisms on Automata»,
Barcelona, Spain: INSTICC Press, 2008, p. 39–48
Conférence.
Nicola, Thierry and Nießner, Frank and Ultes-Nitsche, Ulrich, Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos,
«Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way»,
Barcelona, Spain: INSTICC Press, 2008, p. 49–58
Livre.
Ultes-Nitsche, Ulrich, Moldt, Daniel, Augusto, Juan Carlos, Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos (dir.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
(Barcelona, Spain: INSTICC Press, 2008)
Conférence.
Christoph Ehret and Ulrich Ultes-Nitsche,
«Immune System Based Intrusion Detection»,
Johannesburg, South Africa: 2008
Conférence.
Carolin Latze, Ulrich Ultes-Nitsche,
«A Proof-of-Concept Implementation of EAP-TLS with TPM support»,
Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008): 2008
https://digifors.cs.up.ac.za...
Conférence.
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
«Towards a Zero Configuration Authentication Scheme for 802.11 Based Networks»,
Montreal, Canada: 2008
https://doi.org...
Conférence.
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
«Roaming, Accounting and Seamless Handover in EAP-TLS Authenticated Networks»,
Split, Dubrovnik, Croatia: 2008
https://doi.org...
Conférence.
Michael Hayoz and Ulrich Ultes-Nitsche,
«Visual Correlation in the Context of Post-Mortem Analysis»,
Johannesburg, South Africa: 2008
Conférence.
Augusto, J.C. and Barjis, J. and Ultes-Nitsche, U.,
«Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007: Foreword»,
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007: 2007
http://www.scopus.com...
Conférence.
Latze, C. and Ultes-Nitsche, U.,
«Stronger authentication in e-commerce: How to protect even Naïve user against Phishing, pharming, and MITM attacks»,
Proceedings of the IASTED International Conference on Communication Systems, Networks, and Applications, CSNA 2007: 2007, p. 111-116
http://www.scopus.com...
Conférence.
Carolin Latze and Ulrich Ultes-Nitsche,
«Using a Trusted Platform Module to enable a Secure Usage of Nodes in Company Networks. An extension of the AEGIS approach»,
Bern, Switzerland: 2007
Autre.
Torsten Braun, Ulrich Ultes-Nitsche, Marc Brogle, Dragan Milic, Patrick Lauer, Thomas Staub, Gerald Wagenknecht, Markus Anwander, Markus Waelchli, Markus Wulff, Carolin Latze, Michael Hayoz, Christoph Ehret, Thierry Nicola,
«RVS Retreat at Quarten»
, 2007
Article.
Ulrich Ultes-Nitsche,
«A power-set construction for reducing Büchi automata to non-determinism degree two»,
Information Processing Letters (IPL) 101.3 (2007), p. 107–111
https://doi.org...
Article.
Frank Niessner and Ulrich Ultes-Nitsche,
«A Complete Characterization of Deterministic Regular Liveness Properties»,
Theoretical Computer Science (TCS) 387 (2007), p. 187–195
https://doi.org...
Conférence.
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche,
«A role model to cope with the complexity of network configuration»,
Spa, Belgium: 2007
Conférence.
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche,
«Improving Network Reliability by avoiding Misconfiguration»,
La Rochelle, France: 2007
https://doi.org...
Livre.
Augusto, Juan Carlos, Barjis, Joseph, Ulrich Ultes-Nitsche, Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche (dir.), Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2007)
(Funchal, Madeira, Portugal: INSTICC Press, 2007)
Conférence.
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
«Strong Mutual Authentication in a User-Friendly Way in EAP-TLS»,
Split, Dubrovnik, Croatia: 2007
https://doi.org...
Article.
Barjis, J. and Augusto, J.C. and Ultes-Nitsche, U.,
«Towards more adequate EIS»,
Science of Computer Programming 65.1 (2007), p. 1-3
https://doi.org...
Conférence.
Jungo, D. and Buchmann, D. and Ultes-Nitsche, U.,
«Assessment of code quality through classification of unit tests in VeriNeC»,
Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07: 2007, p. 177-182
https://doi.org...
Conférence.
Aurelius Baier and Thomas Bernoulli and Torsten Braun and Christoph Graf and Ulrich Ultes-Nitsche, Jan Eloff and Hein Venter and Les Labuschagne and Mariki Eloff,
«Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-learning Project»,
Sandton, South Africa: 2006
Conférence.
Buchmann, D. and Jungo, D. and Ultes-Nitsche, U.,
«Environmental acquisition in mobile network simulation»,
WINSYS 2006 - International Conference on Wireless Information Networks and Systems, Proceedings: 2006, p. 108-113
http://www.scopus.com...
Conférence.
Barjis, J. and Ultes-Nitsche, U. and Augusto, J.C.,
«Foreword»,
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006: 2006
http://www.scopus.com...
Livre.
Barjis, Joseph, Ulrich Ultes-Nitsche, Augusto, Juan Carlos, Barjis, Joseph and Ulrich Ultes-Nitsche and Augusto, Juan Carlos (dir.), Proceedings of the 4th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2006)
(Paphos, Cyprus: INSTICC Press, 2006)
Article.
InSeon Yoo and Ulrich Ultes-Nitsche,
«Non-Signature Based Virus Detection: Towards Establishing Unknown Virus Detection Technique Using SOM», Journal in Computer Virology 2.3 (2006), p. 163–186
Conférence.
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
«Testing of Semantic Properties in XML Documents»,
Paphos, Cyprus: 2006, p. 38–46
Article.
Yoo, I.S. and Ultes-Nitsche, U.,
«Non-signature based virus detection: Towards establishing a unknown virus detection technique using SOM»,
Journal in Computer Virology 2.3 (2006), p. 163-186
https://doi.org...
Conférence.
Thierry Nicola and Fank Nießner and Ulrich Ultes-Nitsche,
«Model-checking Inherently Fair Linear-time Properties»,
Miami, Florida, USA: 2005, p. 3-8
Conférence.
Ultes-Nitsche, U. and Augusto, J.C. and Barjis, J.,
«Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005: Foreword»,
Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005: 2005
http://www.scopus.com...
Conférence.
Moldt, D. and Augusto, J.C. and Ultes-Nitsche, U.,
«Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, in Conjunction with ICEIS 2009: Foreword»,
Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, in Conjunction with ICEIS 2009: 2005
http://www.scopus.com...
Livre.
Augusto, Juan Carlos, Barjis, Joseph, Ulrich Ultes-Nitsche, Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche (dir.), Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
(Miami, Florida, USA: INSTICC Press, 2005)
Conférence.
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
«A Unit Testing Framework for Network Configurations»,
Miami, Florida, USA: 2005, p. 77-82
Conférence.
InSeon Yoo and Ulrich Ultes-Nitsche,
«How to Predict Email Viruses under Uncertainty»,
Phoenix, Arizona, USA: 2004
Livre.
Augusto, Juan Carlos, Ulrich Ultes-Nitsche, Augusto, Juan Carlos and Ulrich Ultes-Nitsche (dir.), Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
(Porto, Portugal: INSTICC Press, 2004)
Conférence.
Ulrich Ultes-Nitsche and InSeon Yoo,
«Run-time Protocol-Conformance Verification in Firewalls»,
Johannesburg, South Africa: 2004
Conférence.
InSeon Yoo and Ulrich Ultes-Nitsche,
«Towards Run-time Protocol Anomaly Detection and Verification»,
Setubal, Portugal: 2004
Conférence.
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
«The Role of Simulation in a Network Configuration Engineering Approach»,
Cairo, Egypt: 2004
Article.
Michael Leuschel and Andreas Podelski and Ramakrishnan, C.R. and Ulrich Ultes-Nitsche,
«Editors of Special issue on Verification and Computational Logic», Theory and Practice of Logic Programming (TPLP) 4.5-6 (2004)
Article.
Juan Carlos Augusto and Ulrich Ultes-Nitsche,
«Editors of the Special Issue on the Second International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)», Journal of Universal Computer Science (J.UCS) 10.11 (2004)
Article.
Leuschel, M. and Podelski, A. and Ramakrishnan, C.R. and Ultes-Nitsche, U.,
«Introduction to the special issue on Verification and Computational Logic»,
Theory and Practice of Logic Programming 4.5-6 (2004), p. 543-544
https://doi.org...
Conférence.
Ulrich Ultes-Nitsche and InSeon Yoo,
«Steps towards an Intelligent Firewall --- A Basic Model»,
Sandton, Johannesburg, South Africa: 2003, p. 155–167
Conférence.
InSeon Yoo and Ulrich Ultes-Nitsche,
«Adaptive Detection of Worms/Viruses in Firewalls»,
New York, USA): 2003
Livre.
Pedro Isaías, Florence Sedes, Augusto, Juan Carlos, Ulrich Ultes-Nitsche, Pedro Isaías and Florence Sedes and Augusto, Juan Carlos and Ulrich Ultes-Nitsche (dir.), New Technologies for Information Systems, Proceedings of NDDL 2003 and VVEIS 2003
(Setúbal, Portugal: ICEIS Press, 2003)
Article.
Ultes-Nitsche, Ulrich and St James, Simon,
«Improved Verification of Linear-time Properties within Fairness --- Weakly Continuation-closed Behaviour Abstractions Computed from Trace Reductions», Software Testing, Verification and Reliability (STVR) 13.4 (2003), p. 241–255
Article.
Ultes-Nitsche, U. and St James, S.,
«Improved verification of linear-time properties within fairness: Weakly continuation-closed behaviour abstractions computed from trace reductions»,
Software Testing Verification and Reliability 13.4 (2003), p. 241-255
https://doi.org...
Conférence.
Simon Chudley and Ulrich Ultes-Nitsche,
«Simulation and Implementation of an E-Commerce Network Infrastructure using XML Specifications»,
Poznan, Poland: 2002
Conférence.
InSeon Yoo and Ulrich Ultes-Nitsche,
«Intelligent Firewall: Packet-Based Recognition Against Internet-Scale Virus Attacks»,
Proc. Conference on Communications and Computer Networks (CCN 2002): 2002
Conférence.
InSeon Yoo and Ulrich Ultes-Nitsche,
«Proc. SOFSEM Conference, SOFSEM 2002 Student Research Forum»,
2002, p. 59-64
Conférence.
Ulrich Ultes-Nitsche and InSeon Yoo,
«An Integrated Network Security Approach --- Pairing Detecting Malicious Patterns with Anomaly Detection»,
Misty Hills, Muldersdrift, South Africa: 2002
Conférence.
Simon Chudley and Ulrich Ultes-Nitsche,
«Configuring Firewalls --- An XML-based Approach to Modelling and Implementing Firewall Configurations»,
Misty Hills, Muldersdrift, South Africa: 2002
Conférence.
Ulrich Ultes-Nitsche and Stephanie Teufel, Rolf Grütter,
«Secure Internet-Access to Medical Data»,
Hershey, PA, USA: Idea Group, 2002
Livre.
Michael Leuschel, Ulrich Ultes-Nitsche, Michael Leuschel and Ulrich Ultes-Nitsche (dir.), Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2002)
(Pittsburgh, PA, USA: 2002)
Conférence.
Ulrich Ultes-Nitsche,
«Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties»,
Milovy, Czech Republic: Springer Verlag, 2002
https://doi.org...
Conférence.
St. James, Simon and Ultes-Nitsche, Ulrich,
«Computing Property-Preserving Behaviour Abstractions from Trace Reductions: Abstraction-Based Verification of Linear-Time Properties under Fairness»,
New York, NY, USA: Association for Computing Machinery, 2001, p. 238–245
https://doi.org...
Conférence.
Ulrich Ultes-Nitsche and St James, Simon, Myungchul Kim and Byoungmoon Chin and Sungwon Kang and Danhyung Lee,
«Testing Liveness Properties: Approximating Liveness Properties by Safety Properties»,
Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21$^\mboxst$ International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea: Kluwer, 2001, p. 369–376
Livre.
Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R., Ultes-Nitsche, Ulrich, Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (dir.), Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2001)
(Florence, Italy: 2001)
Livre.
Stefania Gnesi, Ulrich Ultes-Nitsche, Stefania Gnesi and Ulrich Ultes-Nitsche (dir.), Proceedings of the 6th Internation Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
(Paris, France: INRIA Press, Rhone-Alpes, France, 2001)
Article.
Ulrich Ultes-Nitsche and Stephanie Teufel,
«Acceso Seguro por Internet a datos médicos», CEPIS Upgrade Novatica (2001), p. 49-53
Article.
Ulrich Ultes-Nitsche and Stephanie Teufel,
«Secure Internet-Access to Medical Data», Informatik — Journal of the Swiss Chapter of the ACM Special Issue on the ECIS 2000 Health Care Track (2001), p. 23–26
Conférence.
Ulrich Ultes-Nitsche and Stephanie Teufel,
«Secure Access to Medical Data over the Internet»,
Vienna, Austria: 2000
Conférence.
Ulrich Ultes-Nitsche,
«Satisfaction up to Liveness --- Automatic Verification based on Exhaustive Testing»,
Pisa, Italy: Springer Verlag, 2000, p. 237–248
Conférence.
Ulrich Ultes-Nitsche and St James, Simon, Michael Leuschel and Andreas Podelski and C.R. Ramakrishnan and Ulrich Ultes-Nitsche,
«Weakly Continuation-Closed Abstractions can be Defined on Trace Reductions»,
Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000): 2000, p. 11 pages
Livre.
Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R., Ultes-Nitsche, Ulrich, Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (dir.), Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000)
(London, UK: 2000)
Article.
Ulrich Ultes-Nitsche,
«Servidor Seguro para aplicaciones Java», CEPIS Upgrade Novatica (2000), p. 39-41
Article.
Ulrich Ultes-Nitsche,
«Secure Server-Side Java Applications», Informatik — Journal of the Swiss Chapter of the ACM Invited Contribution to the Special Issue on Privacy in the Net (2000), p. 30-32
Conférence.
Ulrich Ultes-Nitsche, Jan Pavelka and Gerard Tel and Miroslav Bartosek,
«A Persistent-Set Approach to Abstract State-Space Construction in Verification»,
Milovy, Czech Republic: Springer Verlag, 1999, p. 463–470
https://doi.org...
Conférence.
Eleanor Hepworth and Ulrich Ultes-Nitsche, J.H.P. Eloff and L. Labuschagne and R. von Solms and J. Verschuren,
«Security of a Java-Servlet-Based Web-Hosted E-Mail System»,
Amsterdam, The Netherlands: Kluwer Academic Press, 1999, p. 117–130
Conférence.
Pieter Hartel and Michael Butler and Andrew Currie and Peter Henderson and Michael Leuschel and Andrew Martin and Adrian Smith and Ulrich Ultes-Nitsche and Robert Walters, S.Gnesi and D. Latella,
«Questions and Answers about Ten Formal Methods»,
Trento, Italy: STAR/CNR, 1999, p. 179-203
Article.
Ochsenschläger, P. and Repp, J. and Rieke, R. and Nitsche, U.,
«The SH-Verification Tool — Abstraction-Based Verification of Co-Operating Systems»,
Form. Asp. Comput. 10.4 (4.1998), p. 381–404
https://doi.org...
Conférence.
Othmar Morger and Ulrich Nitsche and Stephanie Teufel,
«Privacy and Efficiency in Patient Focused Health Care Processes»,
Seoul, Korea: 1998, p. 1–10
Conférence.
Nitsche, Ulrich,
«On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets»,
Metz, France: 1998, p. 169–181
Conférence.
Nitsche, Ulrich and Holbein, Ralph and Morger, Othmar and Teufel, Stephanie,
«Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform»,
Vienna/Budapest, Austria/Hungary: Austrian Computer Society, 1998, p. 160-1-70
Conférence.
Frank Nießner and Ulrich Nitsche and Peter Ochsenschläger, Symeon Bozapalidis,
«Deterministic $ω$-Regular Liveness Properties»,
Thessaloniki, Greece: 1998, p. 237–247
Conférence.
Ulrich Nitsche, P. Jancar and M. Kretinsky,
«Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One»,
Brno, Czech Republic: 1998
Livre.
Ulrich Nitsche, Verification of Co-Operating Systems and Behaviour Abstraction
(Sankt Augustin, Germany: GMD, 1998)
Article.
Peter Ochsenschläger and Jürgen Repp and Roland Rieke and Ulrich Nitsche,
«The SH-Verification Tool --- Abstraction-based Verification of Co-operating Systems», Formal Aspects of Computing 10 (1998), p. 381–404
Article.
Ulrich Nitsche,
«Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks», Journal of Systems and Software 40.3 (1998), p. 227–248
Article.
Ulrich Ultes-Nitsche,
«Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One»,
Electronic Notes in Theoretical Computer Science 18 (1998), p. 1–17
https://doi.org...
Conférence.
Nitsche, Ulrich and Wolper, Pierre,
«Relative Liveness and Behavior Abstraction (Extended Abstract)»,
New York, NY, USA: Association for Computing Machinery, 1997, p. 45–52
https://doi.org...
Conférence.
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
«Security Concerns for Mobile Information Systems in Health Care»,
Toulouse, France: IEEE Press, 1997, p. 312–317
Conférence.
Nitsche, Ulrich, Nerode, Anil and Adian, Sergei,
«Interpretation of the Full Computation Tree Logic CTL$^*$ on Sets of Infinite Sequences»,
Yaroslavl, Russia: Springer Verlag, 1997, p. 276–282
Conférence.
Bauknecht, Kurt and Holbein, Ralph and Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
«The MobiMed Approach to Privacy in Medical Systems»,
Helsinki University of Technology, Finland: 1997
Conférence.
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
«Datenschutz als Qualitätskriterium für Krankenhausinformationssysteme»,
Ulm, Germany: 1997
Conférence.
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
«MobiMed---Privacy and Efficiency in Mobile Medical Systems (Abstract to the Poster Session)»,
Lugano, Switzerland: 1997
Conférence.
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen and Rieke, Roland,
«The SH-Verification Tool»,
Cesena, Italy: 1997
Conférence.
Nießner, Frank and Nitsche, Ulrich and Ochsenschläger, Peter,
«Deterministic $ω$-Regular Liveness Properties»,
Preproceedings of the 3rd International Conference on Developments in Language Theory (DLT'97): 1997
Chapitre de livre.
Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Rafael and Nitsche, Ulrich and Ochsenschläger, Peter,
«Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT2» (1996)
Conférence.
Capellmann, Carla and Demant, Ralph and Galvez-Estrada, Raphael and Nitsche, Ulrich and Ochsenschläger, Peter, Tiziana Margaria,
«Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction»,
Passau, Germany: 1996, p. 71–90
Conférence.
Capellmann, Carla and Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Raphael and Nitsche, Ulrich and Ochsenschläger, Peter,
«Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks»,
New Brunswick, NJ: Springer Verlag, 1996, p. 466–469
Conférence.
Nitsche, Ulrich and Ochsenschläger, Peter,
«Approximately Satisfied Properties of Systems and Simple Language Homomorphisms»,
Oxford, U.K.: 1996
Chapitre de livre.
Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Rafael and Link, Astrid and Nitsche, Ulrich and Noll, Armin and Ochsenschläger, Peter and Repp, Jürgen and Rieke, Roland,
«Abschluß bericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT2» (1996)
Chapitre de livre.
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen,
«The SH-Verification Tool» (Darmstadt: 1996)
Conférence.
Nitsche, Ulrich, Dassow, Jürgen and Rozenberg, Grzegorz and Salomaa, Arto,
«A Finitary Language Semantics for Propositional Linear Temporal Logic»,
Magdeburg, Germany: World Scientific, Singapore, 1996, p. 482–489
Article.
Ulrich Nitsche,
«Verification and Behavior Abstraction --- Towards a Tractable Verification Technique for Large Distributed Systems», Journal of Systems and Software 33.3 (1996), p. 273–285
Article.
Ulrich Nitsche and Peter Ochsenschläger,
«Approximately Satisfied Properties of Systems and Simple Language Homomorphisms», Information Processing Letters 60 (1996), p. 201–206
Chapitre de livre.
Nitsche, Ulrich and Ochsenschläger, Peter,
«Approximately Satisfied Properties of Systems and Simple Language Homomorphisms» (Darmstadt: 1995)
Chapitre de livre.
Nitsche, Ulrich and Ochsenschläger, Peter,
«Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT» (1995)
Conférence.
Nitsche, Ulrich,
«A Finitary Language Semantics for Propositional Linear Temporal Logic (Abstract)»,
Preproceedings of the 2nd International Conference on Developments in Language Theory (DLT'95): 1995
Chapitre de livre.
Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Rafael and Nitsche, Ulrich and Ochsenschläger, Peter,
«Abschluß bericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT» (1995)
Chapitre de livre.
Nitsche, Ulrich,
«Simple Homomorphisms and Linear Temporal Logic» (Darmstadt: 1994)
Conférence.
Nitsche, Ulrich,
«A Verification Method Based on Homomorphic Model Abstractions (Abstract)»,
New York, NY, USA: Association for Computing Machinery, 1994, p. 393
https://doi.org...
Conférence.
Nitsche, Ulrich, Desel, Jörg and Oberweis, Andreas and Reisig, Wolfgang,
«Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs»,
National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94): Humboldt Universität Berlin, 1994, p. 42–47
Conférence.
Nitsche, Ulrich,
«A Verification Method Based on Homomorphic Model Abstraction»,
Los Angeles: ACM Press, 1994, p. 393
Conférence.
Nitsche, Ulrich, Nerode, Anil and Matiyasevich, Yuri V.,
«Propositional Linear Temporal Logic and Language Homomorphisms»,
Saint Petersburg, Russia: Springer Verlag, 1994, p. 265–277
