Ulrich Ultes-Nitsche

55 papers A* 2B 3C 3Journal 11Unranked 28

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Universality of Büchi Automata: Analysis With Graph Neural Networks. IEEE Access Christophe Stammet, Ulrich Ultes-Nitsche, Andreas Fischer
2022	J	`jnl`	Analyzing Büchi Automata with Graph Neural Networks. CoRR Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche, Andreas Fischer
2018	A*	`conf`	A Simple and Optimal Complementation Algorithm for Büchi Automata. LICS Joël D. Allred, Ulrich Ultes-Nitsche
2014	—	`conf`	Structure Comparison of Binary and Weighted Niche-Overlap Graphs. CompleNet Nayla Sokhn, Richard Baltensperger, Louis-Félix Bersier, Ulrich Ultes-Nitsche, Jean Hennebert
2013	—	`conf`	Structural Network Properties of Niche-Overlap Graphs. SITIS Nayla Sokhn, Richard Baltensperger, Louis-Félix Bersier, Ulrich Ultes-Nitsche, Jean Hennebert
2012	—	`ed.`	Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings NCMA Rudolf Freund, Markus Holzer, Bianca Truthe, Ulrich Ultes-Nitsche
2012	—	`conf`	Identification of Chordless Cycles in Ecological Networks. Complex Nayla Sokhn, Richard Baltensperger, Louis-Félix Bersier, Jean Hennebert, Ulrich Ultes-Nitsche
2011	—	`conf`	cPLC - A Cryptographic Programming Language and Compiler. ISSA Endre Bangerter, Stephan Krenn, Matrial Seifriz, Ulrich Ultes-Nitsche
2011	—	`conf`	k-Counting Automata. NCMA Ulrich Ultes-Nitsche, Joël Allred
2010	J	`jnl`	Web 3.0 - Wohin geht es mit dem World Wide Web? Grundlagen zum Social Semantic Web. HMD Prax. Wirtsch. Ulrich Ultes-Nitsche
2009	—	`conf`	A Proof of Concept Implementation of a Secure E-Commerce Authentication Scheme. ISSA Carolin Latze, Andreas Ruppen, Ulrich Ultes-Nitsche
2009	—	`ed.`	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009 MSVVEIS Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche
2008	—	`conf`	A Proof-of-Concept Implementation of EAP-TLS with TPM Support. ISSA Carolin Latze, Ulrich Ultes-Nitsche
2008	—	`conf`	Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche
2008	—	`conf`	Immune System Based Intrusion Detection System. ISSA Christoph Ehret, Ulrich Ultes-Nitsche
2008	—	`conf`	Java Nio Framework - Introducing a High-Performance I/O Framework for Java. ICSOFT (PL/DPS/KE) Ronny Standtke, Ulrich Ultes-Nitsche
2008	—	`ed.`	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, Barcelona, Spain, June 2008 MSVVEIS Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto
2008	B	`conf`	Towards a zero configuration authentication scheme for 802.11 based networks. LCN Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner
2008	—	`conf`	Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS Thierry Nicola, Ulrich Ultes-Nitsche
2007	J	`jnl`	A complete characterization of deterministic regular liveness properties. Theor. Comput. Sci. Frank Nießner, Ulrich Ultes-Nitsche
2007	J	`jnl`	A power-set construction for reducing Büchi automata to non-determinism degree two. Inf. Process. Lett. Ulrich Ultes-Nitsche
2007	—	`conf`	Assessment of Code Quality through Classification of Unit Tests in VeriNeC. AINA Workshops (1) Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche
2007	—	`conf`	Improving network reliability by avoiding misconfiguration. DRCN David Buchmann, Dominik Jungo, Ulrich Ultes-Nitsche
2007	—	`ed.`	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007 MSVVEIS Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche
2007	J	`jnl`	Towards more adequate EIS. Sci. Comput. Program. Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche
2006	—	`conf`	A Complete Characterization of Deterministic Regular Liveness Properties. DCFS Frank Nießner, Ulrich Ultes-Nitsche
2006	—	`conf`	Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-Learning Project. ISSA Torsten Braun, Christoph Graf, Ulrich Ultes-Nitsche, Aurelius Baier, Thomas Bernoulli
2006	—	`conf`	Environmental Acquisition in Mobile Network Simulation. WINSYS David Buchmann, Dominik Jungo, Ulrich Ultes-Nitsche
2006	—	`ed.`	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006 MSVVEIS Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto
2006	J	`jnl`	Non-signature based virus detection. J. Comput. Virol. InSeon Yoo, Ulrich Ultes-Nitsche
2006	—	`conf`	Testing of Semantic Properties in XML Documents. MSVVEIS Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche
2005	—	`conf`	A Unit Testing Framework for Network Configurations. MSVVEIS Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche
2005	—	`conf`	Automated configuration distribution in verinec. ICETE David Buchmann, Dominik Jungo, Ulrich Ultes-Nitsche
2005	—	`conf`	Model-checking Inherently Fair Linear-time Properties. MSVVEIS Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche
2005	—	`ed.`	Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005 MSVVEIS Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis
2004	C	`conf`	How to predict e-mail viruses under uncertainty. IPCCC InSeon Yoo, Ulrich Ultes-Nitsche
2004	J	`jnl`	Introduction to the Special Issue on Verification and Computational Logic. Theory Pract. Log. Program. Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche
2004	—	`conf`	Run-Time Protocol Conformance Verification In Firewalls. ISSA Ulrich Ultes-Nitsche
2004	—	`conf`	Towards Run-Time Protocol Anomaly Detection and Verification. ICETE (2) InSeon Yoo, Ulrich Ultes-Nitsche
2004	—	`ed.`	Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004 VVEIS Juan Carlos Augusto, Ulrich Ultes-Nitsche
2003	—	`conf`	An Optimised Partial-Order Approach to the Verification of System Components. NDDL/VVEIS Simon St. James, Ulrich Ultes-Nitsche
2003	J	`jnl`	Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions. Softw. Test. Verification Reliab. Ulrich Ultes-Nitsche, Simon St. James
2003	—	`ed.`	New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003 NDDL/VVEIS Pedro T. Isaías, Florence Sèdes, Juan Carlos Augusto, Ulrich Ultes-Nitsche
2002	—	`conf`	An Integrated Network Security Approach - Pairing Detecting Malicious Patterns with Anomaly Detection. ISSA Ulrich Ultes-Nitsche, InSeon Yoo
2002	—	`conf`	Configuring Firewalls - An XML-based Approach to Modelling and Implementing Firewall Configurations. ISSA Simon R. Chudley, Ulrich Ultes-Nitsche
2002	B	`conf`	Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. SOFSEM Ulrich Ultes-Nitsche
2001	J	`jnl`	Checking Properties within Fairness and Behavior Abstractions CoRR Ulrich Ultes-Nitsche, Pierre Wolper
2001	A*	`conf`	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. PODC Simon St. James, Ulrich Ultes-Nitsche
2001	C	`conf`	Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. FORTE Ulrich Ultes-Nitsche, Simon St. James
2000	C	`conf`	Satisfaction up to Liveness. FORTE Ulrich Ultes-Nitsche
2000	—	`conf`	Secure Access to Medical Data over the Internet. ECIS Ulrich Ultes-Nitsche, Stephanie Teufel
1999	B	`conf`	A Persistent-Set Approach to Abstract Stat-Space Construction in Verification. SOFSEM Ulrich Ultes-Nitsche
1999	—	`conf`	Security aspects of a Java-servlet-based web-hosted e-mail system. Conference on Information Security Management & Small Systems Security Eleanor Hepworth, Ulrich Ultes-Nitsche
1998	J	`jnl`	Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks. J. Syst. Softw. Ulrich Ultes-Nitsche
1998	—	`conf`	Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. MFCS Workshop on Concurrency Ulrich Ultes-Nitsche