Horst F. Wedde

Sebastian Lehnhoff

Bernhard van Bonn

Proceedings of the Fourth International Workshop on Vehicular Ad Hoc Networks, 2007

Electric Power Management and a Clean Environment - a Discrepancy and an Algorithmic Challenge.

[BibT_eX]

[DOI]

Proceedings of the Information Technologies in Environmental Engineering, 2007

A novel class of multi-agent algorithms for highly dynamic transport planning inspired by honey bee behavior.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

A Technical and Distributed Management Basis for an Environmentally Clean and Sustainable Energy Supply.

[BibT_eX]

[DOI]

Proceedings of the Environmental Informatics and Systems Research: Proceedings of the 21st International Conference for Environmental Protection, 2007

2006

A comprehensive review of nature inspired routing algorithms for fixed telecommunication networks.

[BibT_eX]

[DOI]

J. Syst. Archit., 2006

BeeHiveAIS: A Simple, Efficient, Scalable and Secure Routing Framework Inspired by Artificial Immune Systems.

[BibT_eX]

[DOI]

Constantin Timm

Proceedings of the Parallel Problem Solving from Nature, 2006

BeeHiveGuard: A Step Towards Secure Nature Inspired Routing Algorithms.

[BibT_eX]

[DOI]

Constantin Timm

Proceedings of the Applications of Evolutionary Computing, 2006

Distributed Integrated Scheduling in Automated Manufacturing Systems with Transient Machine Failures.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Real-Time Multi-Agent Support for Decentralized Management of Electric Power.

[BibT_eX]

[DOI]

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

Concurrency in Distributed Systems under Autonomous and Enforced Actions.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

BeeHive.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Bioinspired Algorithms and Applications., 2005

BeeHive: Routing Algorithms Inspired by Honey Bee Behavior.

[BibT_eX]

[DOI]

Künstliche Intell., 2005

The wisdom of the hive applied to mobile ad-hoc networks.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Swarm Intelligence Symposium, 2005

Nature Centered Information Systems: How Philosophy and Poetry Helps in Designing Technical Systems.

[BibT_eX]

Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

BeeAdHoc: an energy efficient routing algorithm for mobile ad hoc networks inspired by bee behavior.

[BibT_eX]

[DOI]

Thorsten Pannenbaecker

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Incremental Modeling Under Large-Scale Distributed Interaction.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

A Performance Evaluation Framework for Nature Inspired Routing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2005

2004

Modular authorization and administration.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2004

Role-based access control in ambient and remote space.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

A User Centered Evolutionary Scheduling Framework.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2004

An Evolutionary Meta Hierarchical Scheduler for the Linux Operating System.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation, 2004

BeeHive: An Efficient Fault-Tolerant Routing Algorithm Inspired by Honey Bee Behavior.

[BibT_eX]

[DOI]

Yue Zhang

Proceedings of the Ant Colony Optimization and Swarm Intelligence, 2004

2003

Cooperative role-based administration.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, 2003

2002

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems.

[BibT_eX]

[DOI]

Arnim Wedig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

A Role-Based Adaptive CSCL Environment for Intensive Hands-on Teaching and Learning under Rigid Time Constraints.

[BibT_eX]

Frank Thorsten Breuer

Proceedings of the Informatics and The Digital Society: Social, 2002

2001

Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects.

[BibT_eX]

[DOI]

Sabine Böhm

Wolfgang Freund

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Modular authorization.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001

Concurrent Read/Write: Real-Time Theory and Practice.

[BibT_eX]

[DOI]

Sabine Böhm

Wolfgang Freund

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000

Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente's Contribution.

[BibT_eX]

[DOI]

Real Time Syst., 2000

Critical Issues in Object-Oriented Real-Time Systems - A Guided Panel Discussion.

[BibT_eX]

[DOI]

Real Time Syst., 2000

A Universal Framework for Managing Metadata in the Distributed Dragon Slayer System.

[BibT_eX]

[DOI]

Jens-Oliver P. Siepmann

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Harmonious internal clock synchronization.

[BibT_eX]

[DOI]

Wolfgang Freund

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999

New dimensions in distributed journalism through Dragon Slayer III.

[BibT_eX]

[DOI]

Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99, 1999

Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Distributed real-time task monitoring in the safety-critical system Melody.

[BibT_eX]

[DOI]

Guido Seghert

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

Integration of task scheduling and file services in the safety-critical system MELODY.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

Real-Time Systems - Panel Overview.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '98, 1998

1997

Building Large, Complex, Distributed Safety-Critical Operating Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1997

1996

Worst-Case Blocking Scenarios for Distributed Real-Time Programs.

[BibT_eX]

[DOI]

Arnim Wedig

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems.

[BibT_eX]

[DOI]

Andreas Eiss

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Formal Timing Analysis for Distributed Real-Time Programs.

[BibT_eX]

[DOI]

Dorota M. Huizinga

Real Time Syst., 1994

Achieving Dependability in Mission-Critical Operating Systems Through Adaptability and Large-Scale Functional Integration.

[BibT_eX]

[DOI]

Andreas Eiss

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Are We Providing the Right Education for Computer Science/Engineering Students?

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Determining the worst-case blocking sequences for distributed real-time programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993

Highly Integrated Task and Resource Scheduling for Mission-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

Present and Future Challenges for Scheduling in Mission-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Dynamic method of test data generation for distributed software.

[BibT_eX]

[DOI]

Roger Ferguson

Inf. Softw. Technol., 1992

Formal Analysis of Waiting Times for Distributed Real-time Processes.

[BibT_eX]

[DOI]

Dorota M. Huizinga

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

Scheduling critical and sensitiue tasks with remote requests in mission-critical systems.

[BibT_eX]

[DOI]

Mengdai Hu

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Are formal methods useful for software development?

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Version Management in Distributed Network Environment.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

Efficient Distributed Resource Scheduling for Adaptive Real-Time Operation Support.

[BibT_eX]

[DOI]

Douglas C. Daniels

Dorota M. Huizinga

Proceedings of the Advances in Computing and Information, 1991

Enhanced Reliability in Scheduling Critical Tasks for Hard Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Ghasem S. Alijani

Proceedings of the Advances in Computing and Information, 1991

A task scheduling scheme for real-time multi-robotics systems.

[BibT_eX]

[DOI]

Ghasem S. Alijani

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

Automated test data generation for distributed software.

[BibT_eX]

[DOI]

Roger Ferguson

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

MELODY: A Completely Decentralized Adaptive File System for Handling Real-Time Tasks in Unpredictable Environments.

[BibT_eX]

[DOI]

Real Time Syst., 1990

Distributed management of replicated and partitioned files under DRAGON SLAYER.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Operating System Support for Adaptive Distributed Real-Time Systems in DRAGON SLAYER.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1989

Real-Time File Performance of a Completely Decentralized Adaptive File System.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1989

Transparent distributed object management under completely decentralized control.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

A Three-Phase Task Scheduling Scheme in a Hard Real-Time Distributed Environment.

[BibT_eX]

[DOI]

Ghasem S. Alijani

Proceedings of the Computing in the 90's, 1989

1988

MELODY: A Distributed Real-Time Testbed for Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

1987

Graph-Theoretical Tools and their Use in a Practical Distributed Operating System Design Case.

[BibT_eX]

[DOI]

Douglas C. Daniels

Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Long-Term Reconfiguration of Double-Ring Networks under Real-Time Constraints.

[BibT_eX]

Peter H. L. Tjoie

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

1986

A Graph-Theoretic Approach for Designing Fair Distributed Resource Scheduling Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986

Real-Time Performance of a Completely Distributed Operating System.

[BibT_eX]

Douglas C. Daniels

Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

Distributed Processing Under the Dragon Slayer Operating System.

[BibT_eX]

Carl Friedlander

Proceedings of the International Conference on Parallel Processing, 1986

1985

A Formal Basis for Correct Implementations of Distributed Programming Languages.

[BibT_eX]

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1983

An Iterative and Starvation-Free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

1982

Comments on H.-D. Schulz/B. Schinzel.

[BibT_eX]

[DOI]

Proceedings of the Adequate Modeling of Systems, 1982

Innovative Conceptual Perspectives for Adequately Modeling Complex Real Systems.

[BibT_eX]

[DOI]

Andrea Maggiolo-Schettini

Proceedings of the Adequate Modeling of Systems, 1982

1981

Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.

[BibT_eX]

[DOI]

Józef Winkowski

Theor. Comput. Sci., 1981

A Starvation-Free Solution of the Dining Philosopher's Problem by Use of Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1980

Inducing Patterns of Behaviour in Distributed System Parts.

[BibT_eX]

[DOI]

Norbert Kraft

Andrea Maggiolo-Schettini

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.

[BibT_eX]

[DOI]

Józef Winkowski

Proceedings of the Formale Modelle für Informationssysteme, 1979

1978

Analyzing Program Solutions of Coordination problems by CP-Nets.

[BibT_eX]

[DOI]

Michael Schiffers

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

Determining Processes by Violations.

[BibT_eX]

[DOI]

Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

Generating Control Mechanisms by Restrictions.

[BibT_eX]

[DOI]

Kurt Lautenbach

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1973

Lose Kopplung in Informationssystemen.

[BibT_eX]

[DOI]