Heiko Krumm - RankMe

70 papers A 2B 7C 13Misc 1Journal 13Unranked 31

Year	Rank	Type	Title / Venue / Authors
2018	—	`conf`	Development of a Computer-Aided Dosage and Telemonitoring System for Patients Under Oral Anticoagulation Therapy. eHealth Heiko Krumm, Nils Reiss, Malte Burkert, Thomas Schmidt, Steffen Biehs, Christian Bohr, Fabian Gürtler, Hendrik Horn, Philipp Kreutzer, Philipp Mewes, Hendrik Miller, Christian Riest, Christian Römer, Albert Seebold, Gertrude Sprung, Oliver Ziegler
2017	—	`conf`	Enhancing Long-Term Motivation of Cardiac Patients by Applying Exergaming in Rehabilitation Training. pHealth Joe Volmer, Malte Burkert, Heiko Krumm, Abdurrahman Abodahab, Patrick Dinklage, Marius Feltmann, Chris Kröger, Pernes Panta, Felix Schäfer, David Scheidt, Marcel Sellung, Hauke Singerhoff, Christofer Steingrefer, Thomas Schmidt, Jan-Dirk Hoffmann, Detlev Willemsen, Nils Reiss
2017	B	`conf`	Rule-based technical management for the dependable operation of networked building automation systems. IM Malte Burkert, Joe Volmer, Heiko Krumm, Christoph Fiehe
2017	—	`conf`	Telemonitoring and Medical Care of Heart Failure Patients Supported by Left Ventricular Assist Devices - The Medolution Project. eHealth Nils Reiss, Thomas Schmidt, Frerk Müller-von Aschwege, Wolfgang Thronicke, Jan-Dirk Hoffmann, Jenny Inge Röbesaat, Ezin Deniz, Andreas Hein, Heiko Krumm, Franz-Josef Stewing, Detlev Willemsen, Jan Dieter Schmitto, Christina Feldmann
2016	C	`conf`	A small-scale model house evaluation platform for building automation systems. ETFA Malte Burkert, Jorn Esdohr, Heiko Krumm
2016	—	`conf`	Dependency Management in Component-Based Building Automation Systems. DASC/PiCom/DataCom/CyberSciTech Malte Burkert, Heiko Krumm
2015	C	`conf`	Technical management system for dependable Building Automation Systems. ETFA Malte Burkert, Heiko Krumm, Christoph Fiehe
2014	—	`conf`	CordiAAL: Enhanced Motivation for Cardiological Ergometer Training through Virtual Groups in Virtual Worlds. HEALTHINF Israfil Akman, Rafael Bielen, Henning Brümmer, Egor Kudrjaschow, Stefan Tschentscher, Oliver Dohndorf, Heiko Krumm, Jan-Dirk Hoffmann, Anke Workowski, Detlev Willemsen
2011	C	`conf`	Adaptive and reliable binding in ambient service systems. ETFA Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
2011	J	`jnl`	Scalable model-based configuration management of security services in complex enterprise networks. Softw. Pract. Exp. João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus, René Jeruschkat
2011	—	`conf`	Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies. POLICY Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
2010	J	`jnl`	Formal validation of automated policy refinement in the management of network security systems. Int. J. Inf. Sec. João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
2010	—	`conf`	Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems. AINA Workshops Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
2010	—	`conf`	Policy-Based Management for Resource-Constrained Devices and Systems. POLICY Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
2010	—	`conf`	Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms. PerCom Workshops Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
2009	C	`conf`	Integration of a Legacy Automation System into a SOA for Devices. ETFA Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm
2009	—	`conf`	Location-Transparent Integration of Distributed OSGi Frameworks and Web Services. AINA Workshops Christoph Fiehe, Anna Litvina, Ingo Lück, Oliver Dohndorf, Jens Kattwinkel, Franz-Josef Stewing, Jan Krüger, Heiko Krumm
2009	—	`conf`	Policy-gesteuertes Management adaptiver und gütegesicherter Dienstesysteme im Projekt OSAMI. GI Jahrestagung Jan Krüger, Heiko Krumm, Oliver Dohndorf, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
2008	B	`conf`	Model-based management of security services in complex network environments. NOMS João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
2008	—	`conf`	Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems. AINA Workshops Andre Pohl, Heiko Krumm, Felix Holland, Franz-Josef Stewing, Ingo Lück
2007	—	`conf`	A Policy-Based Framework for Interoperable Digital Content Management. CCNC Fernando Marques Figueira Filho, João Porto de Albuquerque, Paulo Lício de Geus, Heiko Krumm
2006	—	`conf`	Model-based Management of Embedded Service Systems - An Applied Approach. AINA (2) Stefan Illner, Heiko Krumm, Ingo Lück, Andre Pohl, Andreas Bobek, Hendrik Bohn, Frank Golatowski
2005	C	`conf`	A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. FORTE Gerrit Rothmaier, Heiko Krumm
2005	—	`conf`	Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. Sicherheit Gerrit Rothmaier, Heiko Krumm
2005	—	`conf`	Improving the Configuration Management of Large Network Security Systems. DSOM João Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Lício de Geus
2005	—	`conf`	Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen. GI Jahrestagung (2) João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
2005	A	`conf`	On Scalability and Modularisation in the Modelling of Network Security Systems. ESORICS João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
2005	—	`conf`	Policy Controlled Automated Management of Distributed and Embedded Service Systems. Parallel and Distributed Computing and Networks Stefan Illner, Heiko Krumm, Andre Pohl, Ingo Lück, Darius Manka, Thomas Sparenberg
2005	—	`conf`	Policy Modeling and Refinement for Network Security Systems. POLICY João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
2005	—	`conf`	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. SPIN Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm
2004	Misc	`conf`	Analyzing Network Management Effects with SPIN and cTLA. SEC Gerrit Rothmaier, Andre Pohl, Heiko Krumm
2004	J	`jnl`	Trust-Based Monitoring of Component-Structured Software. Prax. Inf.verarb. Kommun. Peter Herrmann, Heiko Krumm
2004	B	`conf`	Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. DIMVA Peter Herrmann, Lars Wiebusch, Heiko Krumm
2002	J	`jnl`	Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. Telecommun. Syst. Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt
2002	B	`conf`	Model-based configuration of VPNs. NOMS Ingo Lück, Sebastian Vogel, Heiko Krumm
2002	—	`conf`	State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. I3E Peter Herrmann, Lars Wiebusch, Heiko Krumm
2001	—	`conf`	Model-Based Tool-Assistance for Packet-Filter Design. POLICY Ingo Lück, Christian Schäfer, Heiko Krumm
2001	C	`conf`	Tool-Assisted Security Assessment of Distributed Applications. DAIS Peter Herrmann, Lars Wiebusch, Heiko Krumm
2001	C	`conf`	Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. ISCC Peter Herrmann, Heiko Krumm
2000	J	`jnl`	A framework for modeling transfer protocols. Comput. Networks Peter Herrmann, Heiko Krumm
2000	J	`jnl`	Animation of Protocols and Distributed Algorithms. Comput. Sci. Educ. Arnulf Mester, Heiko Krumm
2000	J	`jnl`	Improving the efficiency of automated protocol implementations using a configurable FDT compiler. Comput. Commun. Hartmut König, Peter Langendörfer, Heiko Krumm
2000	C	`conf`	Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC Günter Graw, Peter Herrmann, Heiko Krumm
1999	C	`conf`	A Component framework for the configuration management of networks. DAIS Michael Wimmers, Arnulf Mester, Heiko Krumm
1999	—	`conf`	Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops Günter Graw, Peter Herrmann, Heiko Krumm
1999	C	`conf`	Constraint-oriented formal modelling of OO-systems. DAIS Günter Graw, Peter Herrmann, Heiko Krumm
1999	—	`conf`	Derivation of Backup Service Management Applications from Service and System Models. DSOM Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm
1999	B	`conf`	Formal Hazard Analysis of Hybrid Systems in cTLA. SRDS Peter Herrmann, Heiko Krumm
1998	C	`conf`	Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC Peter Herrmann, Günter Graw, Heiko Krumm
1998	J	`jnl`	Modular specification and verification of XTP. Telecommun. Syst. Peter Herrmann, Heiko Krumm
1998	J	`jnl`	Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. Prax. Inf.verarb. Kommun. Peter Herrmann, Heiko Krumm
1998	B	`conf`	User-Defined Telecooperation Services. ICPADS Volker Gruhn, Peter Herrmann, Heiko Krumm
1997	C	`conf`	Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. DAIS Arnulf Mester, Heiko Krumm
1996	J	`jnl`	Implementierung von Kommunikationsprotokollen. Inform. Spektrum Hartmut König, Heiko Krumm
1996	B	`conf`	Support of cooperating and distributed business processes. ICPADS Günter Graw, Volker Gruhn, Heiko Krumm
1996	A	`conf`	cTc - A Tool Supporting the Construction of cTLA-Specifications. TACAS Carsten Heyl, Arnulf Mester, Heiko Krumm
1995	—	`conf`	Re-usable verification elements for high-speed transfer protocol configurations. PSTV Peter Herrmann, Heiko Krumm
1994	—	`conf`	Compositional specification and verification of high-speed transfer protocols. PSTV Peter Herrmann, Heiko Krumm
1993	J	`jnl`	Großrechner-Anschluß an Kommunikationsvorrechner. Prax. Inf.verarb. Kommun. Heiko Krumm, Josef Reichl, Alexander Söder
1993	—	`book`	Telekommunikation und Datenhaltung. Peter C. Lockemann, Gerhard Krüger, Heiko Krumm
1990	—	`book`	Funktionelle Analyse von Kommunikationsprotokollen Heiko Krumm
1989	—	`conf`	Projections of the Reachability Graph and Environment Models. Automatic Verification Methods for Finite State Systems Heiko Krumm
1987	J	`jnl`	Logische Verifikation nebenläufiger Programme. Angew. Inform. Heiko Krumm
1987	—	`conf`	Offener Zugang zu abgesetzten Daten im Bürosystem. GI Jahrestagung Heiko Krumm
1986	C	`conf`	Problem-Oriented Logical Specifications of Communication Services and Protocols. ICCC Heiko Krumm, Oswald Drobnik
1984	J	`jnl`	Interactive verification of communication software on the basis of CIL. Comput. Commun. Rev. Heiko Krumm, Oswald Drobnik
1984	—	`—`	Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme. Heiko Krumm
1984	—	`conf`	Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. PSTV Heiko Krumm, Oswald Drobnik
1983	—	`conf`	CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten. Kommunikation in Verteilten Systemen Oswald Drobnik, Heiko Krumm
1983	—	`conf`	Specification, Implementation, and Verification of Communication Services on the Basis of CIL. Protocol Specification, Testing, and Verification Heiko Krumm, Oswald Drobnik