Dieter Hutter - RankMe

86 papers A* 3A 10B 4C 2Misc 5Journal 16Unranked 39

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	How Deduction Systems Can Help You To Verify Stability Properties. CDC Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2024	J	`jnl`	How Deduction Systems Can Help You To Verify Stability Properties. CoRR Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2021	J	`jnl`	Towards a Secure and Reliable IT-Ecosystem in Seaports. CoRR Tobias Brandt, Dieter Hutter, Christian Maeder, Rainer Müller
2020	—	`conf`	Integrated Analysis of Safety and Security Hazards in Automotive Systems. CyberICPS/SECPRE/ADIoT@ESORICS Rhea C. Rinaldo, Dieter Hutter
2017	J	`jnl`	A Model Checker for the Verification of Browser Based Protocols. Computación y Sistemas Victor Ferman, Dieter Hutter, Raúl Monroy
2016	—	`conf`	Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit. GI-Jahrestagung Helmar Hutschenreuter, Dieter Hutter
2016	B	`conf`	Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting. Intelligent Environments Tim Schwartz, Michael Feld, Christian Bürckert, Svilen Dimitrov, Joachim Folz, Dieter Hutter, Peter Hevesi, Bernd Kiefer, Hans-Ulrich Krieger, Christoph Lüth, Dennis Mronga, Gerald Pirkl, Thomas Röfer, Torsten Spieldenner, Malte Wirkus, Ingo Zinnikus, Sirko Straube
2015	J	`jnl`	Preface. Int. J. Softw. Informatics Berthold Hoffmann, Dieter Hutter, Hui Shi
2015	C	`conf`	SHIP - A Logic-Based Language and Tool to Program Smart Environments. LOPSTR Serge Autexier, Dieter Hutter
2015	C	`conf`	Structure Formation in Large Theories. CICM Serge Autexier, Dieter Hutter
2015	J	`jnl`	Structure Formation in Large Theories. CoRR Serge Autexier, Dieter Hutter
2014	Misc	`conf`	Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS. SEC Thomas Bauereiss, Dieter Hutter
2014	J	`jnl`	Information flow control for workflow management systems. it Inf. Technol. Thomas Bauereiß, Dieter Hutter
2014	—	`conf`	Possibilistic Information Flow Control for Workflow Management Systems. GraMSec Thomas Bauereiß, Dieter Hutter
2014	—	`conf`	Security (Hyper-)properties in Workflow Systems: From Specification to Verification. ESSoS Doctoral Symposium Thomas Bauereiss, Dieter Hutter
2013	—	`conf`	An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. AmI Serge Autexier, Dieter Hutter, Christoph Stahl
2013	—	`conf`	Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. Description Logics Serge Autexier, Dieter Hutter
2013	—	`conf`	SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo). AmI Serge Autexier, Dieter Hutter, Christian Mandel, Christoph Stahl
2013	—	`conf`	Selective LDAP Multi-Master Replication. Open Identity Summit Thomas Bauereiss, Stefan Gohmann, Dieter Hutter, Alexander Kläser
2013	J	`jnl`	Strand-Based Approach to Patch Security Protocols. CoRR Dieter Hutter, Raúl Monroy
2012	J	`jnl`	AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
2012	—	`conf`	SmartTies - Management of Safety-Critical Developments. ISoLA (1) Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
2012	—	`conf`	Structure Formation to Modularize Ontologies. WoMO Serge Autexier, Dieter Hutter
2010	—	`conf`	Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis Serge Autexier, Dieter Hutter, Till Mossakowski
2010	B	`conf`	Information Flow in Disaster Management Systems. ARES Achim D. Brucker, Dieter Hutter
2009	—	`conf`	On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS Dieter Hutter, Raúl Monroy
2009	—	`conf`	Semantic Management of Heterogeneous Documents. MICAI Dieter Hutter
2007	A	`conf`	On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS Juan Carlos López Pimentel, Raúl Monroy, Dieter Hutter
2007	J	`jnl`	Security of multi-agent systems: A case study on comparison shopping. J. Appl. Log. Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
2006	—	`conf`	A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. V&D@FLoC Juan Carlos López Pimentel, Raúl Monroy, Dieter Hutter
2006	J	`jnl`	Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. Till Mossakowski, Serge Autexier, Dieter Hutter
2006	—	`conf`	Information Flow Analysis Based Security Checking of Health Service Composition Plans. ECEH Dieter Hutter, Matthias Klusch, Melanie Volkamer
2006	—	`conf`	Information Flow Control to Secure Dynamic Web Service Composition. SPC Dieter Hutter, Melanie Volkamer
2006	—	`conf`	On the Use of Word Networks to Mimicry Attack Detection. ETRICS Fernando Godínez, Dieter Hutter, Raúl Monroy
2006	—	`conf`	Possibilistic Information Flow Control in MAKS and Action Refinement. ETRICS Dieter Hutter
2005	—	`conf`	A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning Dieter Hutter, Werner Stephan
2005	—	`conf`	Audit File Reduction Using N-Gram Models. Financial Cryptography Fernando Godínez, Dieter Hutter, Raúl Monroy
2005	—	`conf`	Formal Software Development in MAYA. Mechanizing Mathematical Reasoning Dieter Hutter, Serge Autexier
2005	—	`ed.`	Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Mechanizing Mathematical Reasoning Dieter Hutter, Werner Stephan
2005	—	`conf`	On the Role of Information Compaction to Intrusion Detection. ISSADS Fernando Godínez, Dieter Hutter, Raúl Monroy
2005	—	`book`	Rippling - meta-level guidance for mathematical reasoning. Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland
2005	—	`ed.`	Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings SPC Dieter Hutter, Markus Ullmann
2005	A*	`conf`	Software certificate management (SoftCeMent'05). ASE Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
2004	—	`conf`	Attribute Reduction for Effective Intrusion Detection. AWIC Fernando Godínez, Dieter Hutter, Raúl Monroy
2004	—	`conf`	From Legal Principles to an Internet Voting System. Electronic Voting in Europe Melanie Volkamer, Dieter Hutter
2004	A	`conf`	Possibilistic Information Flow Control in the Presence of Encrypted Communication. ESORICS Dieter Hutter, Axel Schairer
2004	—	`ed.`	Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers SPC Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann
2004	Misc	`conf`	Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA Fernando Godínez, Dieter Hutter, Raúl Monroy
2003	—	`conf`	Deduction as an Engineering Science. FTP Dieter Hutter
2003	J	`jnl`	Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. Prax. Inf.verarb. Kommun. Dieter Hutter, Heiko Mantel, Axel Schairer
2003	—	`conf`	Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC Dieter Hutter, Werner Stephan, Markus Ullmann
2002	—	`ed.`	First International Workshop on Security of Mobile Multiagent Systems, SEMAS 2001, Montreal, Canada, May 29, 2001 SEMAS Klaus Fischer, Dieter Hutter
2002	B	`conf`	Maintenance of Formal Software Developments by Stratified Verification. LPAR Serge Autexier, Dieter Hutter
2002	—	`conf`	MultiMedia Instruction in Safe and Secure Systems. WADT Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing
2002	—	`conf`	Proof Transformations for Evolutionary Formal Software Development. AMAST Axel Schairer, Dieter Hutter
2002	—	`conf`	The Development Graph Manager MAYA. AMAST Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
2001	—	`conf`	A Pragmatic Approach to Reuse in Tactical Theorem Proving. STRATEGIES@IJCAR Axel Schairer, Serge Autexier, Dieter Hutter
2001	B	`conf`	Extending Development Graphs with Hiding. FASE Till Mossakowski, Serge Autexier, Dieter Hutter
2001	—	`conf`	Preface. SEMAS Klaus Fischer, Dieter Hutter
2001	—	`conf`	Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. SEMAS Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan
2001	A*	`conf`	Towards an Evolutionary Formal Software Development. ASE Dieter Hutter, Axel Schairer
2000	J	`jnl`	Annotated reasoning. Ann. Math. Artif. Intell. Dieter Hutter
2000	Misc	`conf`	Formal Software Development in the Verification Support Environment (VSE). FLAIRS Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000	J	`jnl`	Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
2000	A*	`conf`	Management of Change in Structured Verification. ASE Dieter Hutter
2000	J	`jnl`	Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reason. Dieter Hutter, Michael Kohlhase
2000	J	`jnl`	VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
1999	—	`ed.`	Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings FM-Trends Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
1999	A	`conf`	System Description: inka 5.0 - A Logic Voyager. CADE Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1999	A	`conf`	The Design of the CADE-16 Inductive Theorem Prover Contest. CADE Dieter Hutter, Alan Bundy
1999	—	`conf`	Towards an Evolutionary Formal Software-Development Using CASL. WADT Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1998	Misc	`conf`	Deductive Verification of Invariants of State-Transition Systems. KI Dieter Hutter
1998	—	`conf`	VSE: Controlling the Complexity in Formal Software Developments. FM-Trends Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	A	`conf`	A Colored Version of the Lambda-Calculus. CADE Dieter Hutter, Michael Kohlhase
1997	J	`jnl`	Coloring Terms to Control Equational Reasoning. J. Autom. Reason. Dieter Hutter
1996	—	`conf`	Deduction in the Verification Support Environment (VSE). FME Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
1996	A	`conf`	INKA: The Next Generation. CADE Dieter Hutter, Claus Sengler
1996	Misc	`conf`	Using Rippling for Equational Reasoning. KI Dieter Hutter
1994	—	`conf`	A Methodology for Equational Reasoning. HICSS (3) Jürgen Cleve, Dieter Hutter
1994	A	`conf`	Synthesis of Induction Orderings for Existence Proofs. CADE Dieter Hutter
1993	—	`conf`	VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver
1992	A	`conf`	Adapting a Resolution Calculus for Inductive Proofs. ECAI Dieter Hutter
1991	—	`—`	Mustergesteuerte Strategien für das Beweisen von Gleichungen. Dieter Hutter
1990	A	`conf`	Guiding Induction Proofs. CADE Dieter Hutter
1986	A	`conf`	The Karlsruhe Induction Theorem Proving System. CADE Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther
1986	—	`conf`	Using Resolution and Paramodulation for Induction Proofs. GWAI Dieter Hutter