Heinz Nixdorf Institut: Publikationen

Publikationen

2012

Esau, Natascha; Krüger, Martin; Rasche, Christoph; Beringer, Steffen; Kleinjohann, Lisa; Kleinjohann, Bernd: Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: accepted for 7th IEEE Conference in Industrial Electronics and Applications, Singapore, 18. - 20. Jul. 2012 IEEE, IEEE (Details)

Montealegre, Norma; Hagenkötter, Sebastian: Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks . Journal of Intelligent Manufacturing, 23(3): S. 699-715, Mai 2012 (Details)

Groesbrink, Stefan; Oberthür, Simon; Baldin, Daniel: Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 16. - 19. Apr. 2012 (Details)

Montealegre, Norma; Rammig, Franz Josef: Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, Apr. 2012 (Details)

Mathews, Emi: Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technology : New Generations (ITNG), Apr. 2012 IEEE Computer Society, IEEE Computer Society (Details)

Stern, Claudius; Rasche, Christoph; Kleinjohann, Lisa; Kleinjohann, Bernd: Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), St. Maarten, Netherlands Antilles, 25. - 30. Mrz. 2012 IARIA, IEEE Xplore (Details)

Jungmann, Alexander; Kleinjohann, Bernd; Kleinjohann, Lisa; Bieshaar, Maarten: Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services, 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services (Details)

Groesbrink, Stefan; Oberthür, Simon; Baldin, Daniel: Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012), 12. - 16. Mrz. 2012 (Details)

Nascimento, Francisco A. M.; F. S. Oliveira, Marcio; Wagner, Flavio: A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering, 8: S. 19-33, Mrz. 2012 (Details)

Becker, Markus; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Fummi, F.; Pravadelli, G.; Vinco, Sara : MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution . In: {Design, Automation and Test in Europe (DATE 2012), Mrz. 2012 (Details)

Kuznik, Christoph; F. S. Oliveira, Marcio; Müller, Wolfgang: SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mrz. 2012 (Details)

Jungmann, Alexander; Schierbaum, Thomas; Kleinjohann, Bernd: Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. In: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), S. 441-444, 24. - 26. Feb. 2012 INSTICC, INSTICC PRESS (Details)

Mathews, Emi; Frey, Hannes: A Localized Link Removal and Addition based Planarization Algorithm . In: 13th International Conference On Distributed Computing And Networking (ICDCN), Jan. 2012 The Hong Kong Polytechnic University, Hong Kong, China, Springer (Details)

Mathews, Emi; Mathew, Ciby: Deployment of mobile routers ensuring coverage and connectivity. International Journal of Computer Networks and Communications, 4(1): S. 175-192, Jan. 2012 (Details)

Mathews, Emi; Mathew, Ciby: Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: Third International Conference on Networks & Communications, LNICST, Bangalore, India, Jan. 2012, Springer (Details)

2011

Hosseinimehr, Masoud; Montealegre, Norma: Implementation of a Singular Value Decomposition Module on an FPGA. In: Gonzalez, Teofilo (Hrsg.) The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada (Details)

Jungmann, Alexander; Kleinjohann, Bernd: Automatic Feature Classification for Object Detection based on Motion Analysis. In: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE (Details)

Mathews, Emi; Graf, Tobias; Kulathunga, K.S.S.B : A Bio-inspired Coverage and Connectivity Maintenance Algorithm. In: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Dez. 2011, Lecture Notes of ICST (Details)

Rasche, Christoph; Stern, Claudius; Kleinjohann, Lisa; Kleinjohann, Bernd: A Distributed Multi-UAV Path Planning Approach for 3D Environments. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, Dez. 2011 (Details)

Stern, Claudius; Rasche, Christoph; Kleinjohann, Lisa; Kleinjohann, Bernd: Towards Using Virtual Forces for Image Registration. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, Dez. 2011 (Details)

Xie, Tao; Müller, Wolfgang: IP-XACT based System Level Mutation Testing. In: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), Nov. 2011 (Details)

Baldin, Daniel; Groesbrink, Stefan; Oberthür, Simon: Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC), 1(4), Nov. 2011 (Details)

Kuznik, Christoph; Müller, Wolfgang: Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), Nov. 2011 (Details)

Bin Tariq, Fahad: F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems. In: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Poznan, Poland, 26. - 28. Okt. 2011, Springer-Verlag (Details)

Orfanus, Dalimir; Janacik, Peter; Eliassen, Frank; Orten, Pal: High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. In: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), Salamanca, Spain, 19. - 21. Okt. 2011, IEEE Computer Society (Details)

Vanderperren, Yves; Müller, Wolfgang; He, Da; Mischkalla, Fabian; Dahaene, Wim: Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu, Gabriela; O'Connor, Ian; Piguet, Christian (Hrsg.) Design Technology for Heterogeneous Embedded Systems Springer Verlag, 1st Edition. Auflage, Okt. 2011 (Details)

Baldin, Daniel; Groesbrink, Stefan; Kerstan, Timo; Oberthür, Simon: Towards Constraint-based Binary Code Optimization using Annotated Control Flow Graphs. In: 2nd Annual International Conference on Advances in Distributed and Parallel Computing, Proceedings of the 2nd International Conference on Advances in Distributed and Parallel Computing (ADPC), Nr.2, S. 59-64, Sep. 2011, Global Science and Technology Forum (Details)

Xie, Tao; Müller, Wolfgang: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), Sep. 2011 (Details)

Jungmann, Alexander; Lutterbeck, Jan; Werdehausen, Benjamin; Kleinjohann, Bernd: A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), 26. - 29. Jul. 2011, IEEE (Details)

Gausemeier, Jürgen; Schierbaum, Thomas; Dumitrescu, Roman; Herbrechtsmeier, Stefan; Jungmann, Alexander: Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), 26. - 29. Jul. 2011, IEEE (Details)

Thuy, Andreas: Comparison of periodic and aperiodic task models for cyber-physical-systems . In: Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on , 20. - 22. Jun. 2011, IEEE Xplore (Details)

Mathews, Emi; Frey, Hannes: A Localized Planarization Algorithm for Realistic Wireless Networks. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), S. 1-9, Jun. 2011 IEEE Computer Society, IEEE Computer Society (Details)

Kuznik, Christoph; Müller, Wolfgang: Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting, (16th), Jun. 2011 (Details)

Becker, Markus; Zabel, Henning; Müller, Wolfgang; Elfeky, Ahmed; DiPasquale, Anthony: Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. In: Gausemeier, Jürgen; Rammig, Franz Josef; Schaefer, Wilhelm; Trächtler, Ansgar (Hrsg.) 8. Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 294, S. 315-327, Mai 2011 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (Details)

Rasche, Christoph; Stern, Claudius; Kleinjohann, Lisa; Kleinjohann, Bernd: Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. ThinkMind, International Journal On Advances in Software, 3(3&4): S. 351 - 370, Apr. 2011 (Details)

Khaluf, Yara; Mathews, Emi; Rammig, Franz Josef: Self-Organized Cooperation in Swarm Robotics. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), S. 217-226, Newport Beach, California, USA, 28. - 31. Mrz. 2011 IEEE, IEEE Computer Society (Details)

Klobedanz, Kay; König, A.; Müller, Wolfgang: A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: Proceedings of Design, Automation, Test Europe - DATE2011, Grenoble, France, 14. - 18. Mrz. 2011, IEEE Computer Society Press (Details)

Kuznik, Christoph; Müller, Wolfgang: Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON, Mrz. 2011 (Details)

He, Da; Mischkalla, Fabian; Müller, Wolfgang: A SysML-based Framework with QEMU-SystemC Code Generation. In: Proceedings of 1st international QEMU Users Forum, Mrz. 2011 (Details)

Mischkalla, Fabian; He, Da; Müller, Wolfgang: A Retargetable SysML-based Front-End for High-Level Synthesis. In: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED) , Mrz. 2011 (Details)

Klobedanz, Kay; König, A.; Müller, Wolfgang; Rettberg, Achim: Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, Newport Beach, California, USA, Mrz. 2011, IEEE Computer Society Press (Details)

Gnokam Defo, Gilles Bertrand; Müller, Wolfgang: Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Feb. 2011 MBMV 2011 (Details)

Adelt, Philipp; Esau, Natascha; Hölscher, Christian ; Kleinjohann, Bernd; Kleinjohann, Lisa; Krüger, Martin; Zimmer, Detmar: Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. , Kapitel: 10, S. 169 - 194, InTech Open Access Publisher, Feb. 2011 (Details)

Kuznik, Christoph; Müller, Wolfgang: Native binary mutation analysis for embedded software and virtual prototypes in SystemC. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing 2011 (Details)

Jungmann, Alexander; Kleinjohann, Bernd; Richert, Willi: A Fast Hierarchical Learning Approach for Autonomous Robots. In: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, S. 545-558. Springer Basel, 2011 (Details)

Jungmann, Alexander; Lutterbeck, Jan; Werdehausen, Benjamin; Kleinjohann, Bernd; Kleinjohann, Lisa: Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. In: Proceedings of the 2011 workshop on Organic computing, S. 41-50, 2011, ACM (Details)

Esau, Natascha; Kleinjohann, Lisa: Emotional Engineering. , Kapitel: Emotional Robot Competence and Its Use in Robot Behavior Control, S. 119-142, Springer-Verlag London, 2011 (Details)

Jungmann, Alexander; Kleinjohann, Bernd; Richert, Willi: Increasing Learning Speed by Imitation in Multi-robot Societies. In: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1, S. 295-307. Springer Basel, 2011 (Details)

Khaluf, Lial; Gerth, Christian ; Engels, Gregor: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE'11), S. 521-535, 2011, Springer Verlag (Details)

2010

Samara, Sufyan: ٍPartitioning granularity, communication overhead, and adaptation in OS services for Distributed Reconfigurable Systems on Chip. In: The 13th IEEE International Conference on Computational Science and Engineering, Dez. 2010, IEEE Computer Society (Details)

Rasche, Christoph; Stern, Claudius; Kleinjohann, Lisa; Kleinjohann, Bernd: Role-based path planning and task allocation with exploration tradeoff for UAVs. In: 11th International Conference on Control Automation Robotics Vision (ICARCV), 2010, S. 417-422, Singapore, Dez. 2010 (Details)

Klompmaker, Florian; Nebe, Karsten: Towards 3D Multitouch Interaction & Widgets, Workshop on Interaction Techniques in Real and Simulated Assistive Smart Environment. In: Workshop at the First International Joint Conference on Ambient Intelligence, Malaga, Spain, Nov. 2010 (Details)

F. S. Oliveira, Marcio; Wehrmeister, Marco; Pereira, Carlos E.; Rammig, Franz Josef; Wagner, Flavio: Model-Driven Engineering for Embedded Systems. In: First Brazilian-German Workshop on Nano-Microelectronics, Porto Alegre, Brasilien, 6. - 8. Okt. 2010 (Details)

Mathews, Emi; Frey, Hannes: Topological Cluster Based Geographic Routing in Multihop Ad Hoc Networks. In: The Fourth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Florence, Italy, Okt. 2010 UBICOMM 2010 (Details)

Klobedanz, Kay; Defo, Bertrand; Zabel, Henning; Müller, Wolfgang; Zhi, Yuan: Task Migration for Fault-Tolerant FlexRay Networks. In: Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter A.; Rammig, Franz Josef; Timmis, Jon; Wolf, Marilyn (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), S. 55-66, Brisbane, Australia, 20. - 23. Sep. 2010, Springer (Details)

Klompmaker, Florian; Nebe, Karsten: 2D vs. 3D: Interaktion mit und Visualisierung auf großfllächigen interaktiven Displays, Anforderungengen und Lösungen für die Nutzung interaktiver Displays im Kontext kollaborativer Arbeit. In: Workshop im Rahmen der Mensch und Computer, Duisburg, Germany, 12. - 15. Sep. 2010 (Details)

Becker, Markus; Zabel, Henning; Müller, Wolfgang: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann, Lisa; Kleinjohann, Bernd (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Brisbane, Australia, Sep. 2010 DIPES 2010, Springer Verlag (Details)

Müller, Wolfgang; Bol, Alexander; Lundkvist, O.: Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann, Lisa; Kleinjohann, Bernd (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep. 2010 DIPES 2010, Springer Verlag (Details)

Xie, Tao; Letombe, Florian; Müller, Wolfgang: Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann, Lisa; Kleinjohann, Bernd (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep. 2010 DIPES 2010, Springer Verlag (Details)

F. S. Oliveira, Marcio; do Nascimento, Francisco Assis M.; Müller, Wolfgang; Wagner, Flavio: Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MomPES), Antwerp, Belgium, Sep. 2010 (Details)

Klobedanz, Kay; Gnokam Defo, Gilles Bertrand; Zabel, Henning; Müller, Wolfgang; Zhi, Yuan: Task Migration for Fault-Tolerant FlexRay Network. In: Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter A.; Rammig, Franz Josef; Timmis, Jon; Wolf, Marilyn (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), S. 55-66, Brisbane, Australia, Sep. 2010, Springer (Details)

Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter A.; Rammig, Franz Josef; Timmis, Jon; Wolf, Marilyn (Hrsg.) Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010. IFIP Advances in Information and Communication Technology, Band 329, Springer Verlag, Brisbane, Australia, Sep. 2010 (Details)

Samara, Sufyan; Zhao, Yuhong; Rammig, Franz Josef: Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. In: Distributed, Parallel and Biologically Inspired Systems, IFIP Advances in Information and Communication Technology, Band 329, S. 102-113. Springer Boston, Sep. 2010 (Details)

Stern, Claudius; Adelt, Philipp; Schmitz, Matthias; Kleinjohann, Lisa; Kleinjohann, Bernd: An infrastructure for flexible runtime reconfigurable multi-microcontroller systems. In: Hinchey, Mike; Kleinjohann, Lisa; Kleinjohann, Bernd; Lindsay, Peter A.; Rammig, Franz Josef; Timmis, Jon; Wolf, Marilyn (Hrsg.) Proceedings of Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, IFIP Advances in Information and Communication Technology, Band 329, S. 205-217, Brisbane, Australia, Sep. 2010, Springer (Details)

Prüßner, Niko; Richert, Willi; Rettberg, Achim; Rasche, Christoph: ACTION SELECTION FOR MULTI-SMDP BASED ROBOTS WITH DYNAMICALLY PRIORITIZED GOALS. In: International Conference Intelligent Systems and Agents, S. 8, 29. - 31. Jul. 2010 (Details)

Jungmann, Alexander; Stern, Claudius; Kleinjohann, Lisa; Kleinjohann, Bernd: Increasing Motion Information by Using Universal Tracking of 2D-Features. In: Proceedings of the 8th IEEE International Conference on Industrial Informatics (INDIN), S. 511-516, Osaka, Japan, 13. - 16. Jul. 2010 IEEE, IEEE Xplore (Details)

Kerstan, Timo; Baldin, Daniel; Groesbrink, Stefan: Full Virtualization of Real-Time Systems by Temporal Partitioning. In: Petters, Stefan M.; Zijlstra, Peter (Hrsg.) Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications , S. 24--32, 6. - 9. Jul. 2010 ArtistDesign Network of Excellence on Embedded Systems Design, ArtistDesign Network of Excellence on Embedded Systems Design (Details)

Klobedanz, Kay; Defo, Bertrand; Müller, Wolfgang; Kerstan, Timo: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of the fifth IEEE Symposium on Industrial Embedded Systems (SIES2010), 7. - 9. Jul. 2010 IEEE, IEEE (Details)

Kuznik, Christoph; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang: Verification of a CAN bus model in SystemC with functional coverage. In: International Symposium on Industrial Embedded Systems (SIES), S. 28-35, 7. - 9. Jul. 2010 IEEE (Details)

Müller, Wolfgang; He, Da; Mischkalla, Fabian; Wegelel, Arthur; Whiston, Paul; Peñil, Pablo; Villar, Eugenio; Mitas, Nikolaos; Kritharidis, Dimitros; Azcarate, Florent; Carballeda, Manuel: The SATURN Approach to SysML-Based HW/SW Codesign. IEEE Computer Society Annual Symposium on VLSI, Jul. 2010 (Details)

Samara, Sufyan; Schomaker, Gunnar: Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. In: Computer and Information Technology, International Conference on, S. 1743-1750, Los Alamitos, CA, USA, Jul. 2010, IEEE Computer Society Press (Details)

Klobedanz, Kay; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Kerstan, Timo: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Network. In: Proceedings of the fifth IEEE Symposium on Industrial Embedded Systems (SIES2010), Jul. 2010, IEEE Computer Society Press (Details)

Stöcklein, Jörg; Pogscheba, Patrick; Geiger, Christian; Paelke, Volker: MiReAS: a mixed reality software framework for iterative prototyping of control strategies for an indoor airship. In: AFRIGRAPH '10: Proceedings of the 7th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, ACM International Conference Proceeding Series, S. 27-36, 21. - 23. Jun. 2010 African Graphics Association (AFRIGRAPH), ACM Press, New York, NY, USA (Details)

Stöcklein, Jörg; Bolte, Mario; Klompmaker, Florian; Geiger, Christian; Nebe, Karsten: Interaktive Illustration heuristischer Optimierungsverfahren zur Wegeplanung. In: Augmented & Virtual Reality in der Produktentstehung, 10. - 11. Jun. 2010 Heinz Nixdorf Institut, Heinz Nixdorf Institut, Universität Paderborn (Details)

Müller, Wolfgang; F. S. Oliveira, Marcio; Zabel, Henning; Becker, Markus: Verification of Real-Time Properties for Hardware-Dependant Software. In: Proc. of IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, USA, Jun. 2010 IEEE (Details)

Xie, Tao; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang: An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, Jun. 2010 (Details)

Orfanus, Dalimir; Janacik, Peter; Wagner, Flavio: Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems. In: Proceedings of 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), S. 29-38, Carmona, Spanien, 4. - 7. Mai 2010 IEEE (Details)

Henkler, Stefan; Oberthür, Simon; Giese, Holger; Seibel, Andreas: Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. In: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Mai 2010 IEEE, IEEE CS Press (Details)

Klompmaker, Florian; Ajaj, Rami: Towards Multi-Touch Map Interaction on Tabletops: State of the Art and Design Recommendations. In: 31st Annual Conference of the European Association for Computer Graphics, Norrköping, Sweden, Mai 2010 Eurographics (Details)

Oberthür, Simon; Zaramba, Leszek ; Lichte, Hermann-Simon: Flexible Resource Management for Self-X Systems: An Evaluation. In: Proceedings of First IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2010, Mai 2010 IEEE, IEEE CS Press (Details)

Janacik, Peter; Mathews, Emi; Orfanus, Dalimir: Self-Organizing Data Collection in Wireless Sensor Networks. In: Proceedings of The Third Workshop on Applications of Ad hoc and Sensor Networks (AASNET) at the IEEE International Conference on Advanced Information Networking and Applications (AINA 2010), Perth, Australia, 20. - 23. Apr. 2010 IEEE, IEEE Computer Society (Details)

Janacik, Peter; Lessmann, Johannes; Heimfarth, Tales; Karch, Michael: Towards an Efficient Protocol Development Process in the ShoX Network Simulator. In: Proceedings of the 12th International Conference on Mathematical/Analytical Modelling and Computer Simulation, Cambridge, UK, 24. - 26. Mrz. 2010, IEEE Computer Society (Details)

Stöcklein, Jörg; Geiger, Christian; Paelke, Volker: Mixed reality in the loop - design process for interactive mechatronical systems. In: Virtual Reality Conference (VR), 2010 IEEE, S. 303-304, 20. - 24. Mrz. 2010 IEEE, IEEE Computer Society Press (Details)

Schäfer, Wilhelm; Henke (Abteilungsleiter Regelungstechnik), Christian; Kaiser, Lydia; Kerstan, Timo; Tichy, Matthias; Rieke, Jan; Eckardt, Tobias: Der Softwareentwurf im Entwicklungsprozess mechatronischer Systeme. In: Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) 7. Paderborner Workshop Entwurf mechatronischer Systeme, 18. - 19. Mrz. 2010 Heinz Nixdorf Institut, HNI Verlagsschriftenreihe, Paderborn (Details)

Rasche, Christoph; Stern, Claudius; Richert, Willi; Kleinjohann, Lisa; Kleinjohann, Bernd: Combining Autonomous Exploration, Goal-Oriented Coordination and Task Allocation in Multi-UAV Scenarios. In: ICAS, S. 6, http://www.iaria.org/conferences2010/ICAS10.html, 7. - 13. Mrz. 2010, IEEE Xplore (Details)

Janacik, Peter; Lessmann, Johannes; Karch, Michael: Distributed Simulation Environment for the ShoX Network Simulator. In: Proceedings of the Sixth International Conference on Networking and Services (ICNS) , 7. - 13. Mrz. 2010, IEEE Computer Society Press (Details)

Kuznik, Christoph: Test and Testbench Modeling Approaches. In: State-of-the-Art and Challenges in ESL-Verification Tutorial, DATE 2010, 8. - 12. Mrz. 2010 (Details)

Kerstan, Timo; Oertel, Markus: Design of a real-time optimized emulation method. In: Proceedings of DATE 2010, Dresden, 8. - 12. Mrz. 2010 IEEE Computer Society, IEEE Computer Society Press (Details)

Müller, Wolfgang; De Micheli, Giovanni : Proceedings of DATE 2010. IEEE, Dresden, Germany, Mrz. 2010 (Details)

Mischkalla, Fabian; He, Da; Müller, Wolfgang: Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Design, Automation and Test in Europe, Dresden, Germany, Mrz. 2010 DATE 2010 (Details)

Mischkalla, Fabian; He, Da; Müller, Wolfgang: A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. . In: Proceedings of 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED), Dresden, Germany, Mrz. 2010 DATE 2010 (Details)

De Micheli, Giovanni ; Müller, Wolfgang: Proceedings of DATE (Design, Automation and Test in Europe) 2010. IEEE, Dresden, Germany, Mrz. 2010 (Details)

Becker, Markus; Müller, Wolfgang; Xie, Tao; Fummi, F.; Pravadelli, G.: RTOS-Aware Refinement for TLM2.0-based HW/SW Designs. In: Design, Automation and Test in Europe, Dresden, Germany, Mrz. 2010 DATE 2010 (Details)

Klobedanz, Kay; Kuznik, Christoph; Thuy, Andreas; Müller, Wolfgang: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Design, Automation and Test in Europe, S. 642 - 645, Dresden, Germany, Mrz. 2010 DATE 2010 (Details)

Bol, Alexander; Müller, Wolfgang; Krupp, Alexander: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, Mrz. 2010 MBMV 2010 (Details)

Adelt, Philipp; Rose, Mirko; Esau, Natascha: Hybride Planung zur Auswahl des optimalen RailCab-Verhaltens bezüglich der Umweltbedingungen und Streckeneigenschaften. In: 7. Paderborner Workshop "Entwurf mechatronischer Systeme", Band 272, Paderborn, Germany, Mrz. 2010, HNI Verlagsschriftenreihe, Paderborn (Details)

Krupp, Alexander; Müller, Wolfgang: A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE 2010, Mrz. 2010 (Details)

Janacik, Peter; Lessmann, Johannes; Karch, Michael: Multi-View Communication Visualization for Wireless Network Simulations. In: Proceedings of the International Conference on Intelligent Systems, Modelling and Simulation (ISMS), Liverpool, UK, 27. - 29. Jan. 2010, IEEE Computer Society Press (Details)

Adelt, Philipp; Kleinjohann, Bernd; Herbrechtsmeier, Stefan; Rückert, Ulrich: Demonstrating self-optimization using a heterogeneous robot group. In: Proceedings of the 8th IEEE International Conference on Industrial Informatics (INDIN), Osaka, Japan, 2010 (Details)

F. S. Oliveira, Marcio; Zabel, Henning; Müller, Wolfgang: Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE 2010, 2010 (Details)

Jung, H.; Raupach, S.; Reimann, Christian; Klompmaker, Florian; Nebe, Karsten: Kollaborative Interaktion mit geografischem Kartenmaterial auf Multi-Touch Displays, Anforderungen und Lösungen für die Nutzung interaktiver Displays im Kontext kollaborativer Arbeit. In: Workshop im Rahmen der Mensch und Computer, Duisburg, Germany, 2010 (Details)

Klompmaker, Florian; Nebe, Karsten; Bleiker, Andreas; Busch, Clemens; Willemsen, Detlev: User Centered Design of Patient User Interfaces for Remote Training Supervision. In: Third International Conference on Health Informatics (HEALTHINF 2010), Jan. 2010, Springer (Details)

Oberthür, Simon; Schomaker, Gunnar: Verteilte, dynamische Ressourcenverwaltung für mechatronische Systeme. In: Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) 7. Paderborner Workshop Entwurf mechatronischer Systeme, 1. Jan. 2010 Heinz Nixdorf Institut (Details)

Schomaker, Gunnar; Oberthür, Simon; Kortenjan, Michael: Distributed and dynamic resource management for self-optimizing mechatronic systems. In: 8th IEEE International Conference on Industrial Informatics (INDIN'2010), 1. Jan. 2010 (Details)

2009

Montealegre, Norma: Demonstration of the Fault Recognition and Recovery of FPGA Circuits by Means of Cytokine-Formal Immune Networks. In: Bergmann, Neil; Diessel, Oliver; Shannon, Lesley (Hrsg.) Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT 2009), S. 384-397, Sydney, Australia, 9. - 11. Dez. 2009 The University of New South Wales, IEEE, Piscataway, NJ, USA (Details)

Stöcklein, Jörg; Pogscheba, Patrick: Development Of Complex Technical Systems: The 'Mixed Reality In The Loop' Design Process. In: HC2009: 12th International Conference on Humans and Computers, 9. - 10. Dez. 2009 (Details)

Schomaker, Gunnar: Distributed Resource Allocation and Management in Heterogeneous Networks. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, HNI-Verlagsschriftenreihe, Paderborn, Band 259, Dez. 2009 (Details)

Montealegre, Norma; Rammig, Franz Josef: Dynamically Reconfigurable Systems. , Kapitel: Dynamic Partial Reconfiguration by Means of Algorithmic Skeletons - A Case Study -, S. 183-197, Springer-Verlag, Heidelberg, Germany, Dez. 2009 (Details)

Kerstan, Timo; Baldin, Daniel; Schomaker, Gunnar: Formale Bestimmung von Systemparametern zum transparenten Scheduling virtueller Maschinen unter Echtzeitbedingungen. In: Informatik aktuell (Tagungsband Echtzeit 2009), 19. - 20. Nov. 2009 Fachausschuß Echtzeitsysteme der Gesellschaft für Informatik und der VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik (GMA), Springer-Verlag (Details)

Orfanus, Dalimir; Heimfarth, Tales; Janacik, Peter: An Approach for Systematic Design of Emergent Self-Organization in Wireless Sensor Networks. In: Proceedings of The First International Conference on Adaptive and Self-adaptive Systems and Applications, best paper award winner, Athens/Glyfada, Greece, 15. - 20. Nov. 2009, IEEE Computer Society Press (Details)

Deveci, Deniz; Kortenjan, Michael; Schomaker, Gunnar: Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In: Parallel and Distributed Computing and Systems, Nr.21, Cambridge, Massachusetts, USA, 2. - 4. Nov. 2009, ACTA Press, Calgary, Canada (Details)

Montealegre, Norma; Kataev, Vadim: Automatic Speech Recognition Front-End Implemented by Means of Algorithmic Skeletons and Partial Reconfiguration. In: Gonzalez, Teofilo (Hrsg.) The 21st IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2009), Cambridge, Massachusetts, USA, 2. - 4. Nov. 2009 IASTED, ACTA Press, Calgary, Canada (Details)

Rammig, Franz Josef; Zhao, Yuhong; Samara, Sufyan: On-line Model Checking as Operating System Service. In: The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'09), Nov. 2009 IFIP WG 10.5, Springer (Details)

Klompmaker, Florian; Nebe, Karsten; Reimann, Christian: TANGIMALS - An Educational Multi-User Tabletop Game. In: Interactive Tabletops and Surfaces - Poster & Demo Session, Nov. 2009 (Details)

Klompmaker, Florian; Reimann, Christian: Towards Standardized Distributed Multitouch Interaction. In: Proceedings of th Academic MindTrek Conference 2009, Tampere, Finland, 30. Sep. - 2. Okt. 2009, ACM Press (Details)

Orfanus, Dalimir; Heimfarth, Tales; Wagner, Flavio: Process Algebra to Model {Self-Organizing} Behavior in Wireless Sensor Networks. In: IEEE SASN '09 The International Workshop on Scalable Ad Hoc and Sensor Networks, St. Petersburg, Russia, Okt. 2009, IEEE Computer Society (Details)

Samara, Sufyan; Orfanus, Dalimir; Janacik, Peter: Towards biologically inspired decentralized self-adaptive OS services for distributed Reconfigurable System on Chip (RSoC) . ACM SIGBED (Special Interest Group on Embedded Systems) Review, 6(3), Okt. 2009 (Details)

Samara, Sufyan; Orfanus, Dalimir; Janacik, Peter: Towards Biologically Inspired Decentralized Self-Adaptive OS Services for Distributed Reconfigurable System on Chip (RSoC). In: 2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES) at ESWeek 2009, Grenoble, France, Okt. 2009 (Details)

Richert, Willi; Niehörster, Oliver; Koch, Markus: Layered Understanding for Sporadic Imitation in a Multi-Robot Scenario. In: IEEE/RSJ International Conference on In Intelligent Robots and Systems (IROS'08), 22. - 26. Sep. 2009 IEEE (Details)

Kruse, Michael; Baumann, Michael; Knieper, Tobias; Seipel, Christoph; Khaluf, Lial; Lehmann, Nico; Lermontow, Alex; Messinger, Christian; Richter, Simon ; Schmidt, Thomas; Swars, Daniel: Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm. In: 32nd Annual Conference on Artificial Intelligence, Paderborn, Germany, 15. - 18. Sep. 2009 (Details)

Janacik, Peter; Kujat, Alexander: Biologically-Inspired Construction of Connected k-Hop Dominating Sets in Wireless Sensor Networks. In: Proceedings of Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2009), San Francisco, California, USA, 14. - 18. Sep. 2009, IEEE Computer Society (Details)

Baldin, Daniel; Kerstan, Timo: Proteus, a hybrid Virtualization Platform for Embedded Systems. In: Rettberg, Achim; Rammig, Franz Josef (Hrsg.) Analysis, Architectures and Modelling of Embedded Systems, 14. - 16. Sep. 2009 IFIP WG 10.5, Springer-Verlag (Details)

Klompmaker, Florian; Schrage, Klemens; Reimann, Christian: INDiE: A Framework for Human Computer Interaction in Distributed Environments. In: ACM Mobility 2009, Nice, France, 2. - 4. Sep. 2009, ACM Press (Details)

Khaluf, Yara; Rettberg, Achim: Towards a Load Balancing Middleware for Automotive Infotainment Systems. In: Analysis, Architectures and Modelling of Embedded Systems, Band 310, S. 238-249, Schloß Montfort, Langenargen, Germany, Sep. 2009 IESS, Springer (Details)

Krupp, Alexander; Müller, Wolfgang: Systematic Model-in-the-Loop Test of Embedded Control Systems. In: Proceedings of IESS'09, Friedrichshafen, Germany, Sep. 2009 IFIP WG 10.5, Springer Verlag LNCS (Details)

Adelt, Philipp; Klöpper, Benjamin: Buildings Blocks and Prototypical Implementation of a Hybrid Planning Architecture. In: Klöpper, Benjamin; Dangelmaier, Wilhelm (Hrsg.) Self-x in Engineering, S. 55-67, Sep. 2009, MV Verlag (Details)

Geiger, Christian; Stöcklein, Jörg; Berssenbrügge, Jan; Paelke, Volker: Mixed Reality Design of Control Strategies. In: DETC2009/CIE-87350, Proceeding of ASME 2009 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug. 2009 ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME (Details)

Stöcklein, Jörg; Geiger, Christian; Paelke, Volker; Pogscheba, Patrick: A Design Method for Next Generation User Interfaces inspired by the Mixed Reality Continuum. In: HCI International, 13th International Conference on Human-Computer Interaction, Band 13, 19. - 24. Jul. 2009 HCI International, Springer Verlag (Details)

Geiger, Christian; Pogscheba, Patrick; Stöcklein, Jörg; Haehnel, Hartmut; Berntssen, Malte C.: Modellbasierter Entwurf von Mixed Reality- Interaktionstechniken für ein Indoor-Zeppelin. In: Augmented & Virtual Reality in der Produktentstehung, Band 8, 28. - 29. Mai 2009 Heinz Nixdorf Institut, Heinz Nixdorf Institut, Universität Paderborn (Details)

Klompmaker, Florian; Nebe, Karsten; Busch, Clemens; Willemsen, Detlev: Designing Context Aware User Interfaces for Online Exercise Training Supervision. In: 2nd International Conference on Human System Interaction, 21. - 23. Mai 2009, IEEE (Details)

Samara, Sufyan; Bin Tariq, Fahad; Kerstan, Timo; Stahl, Katharina: Applications Adaptable Execution Path for Operating System Services on a Distributed Reconfigurable System on Chip. In: Proceedings of International Conference on Embedded Software and Systems, 2009. ICESS '09, Mai 2009 (Details)

Richert, Willi; Tornese, Riccardo: ESLAS - a robust layered learning framework. International Journal on Advances in Intelligent Systems, 1(2), Mai 2009 (Details)

Richert, Willi; Scheller, Ulrich; Koch, Markus; Kleinjohann, Bernd; Stern, Claudius: Increasing the autonomy of mobile robots by imitation in multi-robot scenarios. In: International Conference on Autonomic and Autonomous Systems (ICAS'09), 20. - 24. Apr. 2009 IASTED (Details)

Richert, Willi; Scheller, Ulrich; Koch, Markus; Kleinjohann, Bernd; Stern, Claudius: Integrating sporadic imitation in reinforcement learning robots. In: IEEE International Symposium on Approximate Dynamic Programming and Reinforcement Learning (ADPRL'09), 30. Mrz. - 2. Apr. 2009 (Details)

Magenheim, Johannes; Dohmen, Michael; Lehner, Leopold; Reinhardt, Wolfgang; Stahl, Katharina; Suess, Tim: Informatik macchiato. Pearson-Studium, Apr. 2009 (Details)

Stöcklein, Jörg; Geiger, Christian; Paelke, Volker; Pogscheba, Patrick; Lehmann, Anke: MVCE - A Design Pattern to Guide the Development of Next Generation User Interfaces. In: IEEE Symposium on 3D User Interfaces 2009, 14. - 15. Mrz. 2009 IEEE, IEEE Computer Society Press (Details)

Becker, Markus; Zabel, Henning; Müller, Wolfgang; Kiffmeier, Ulrich: Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Berlin, Germany, Mrz. 2009 (Details)

Dittmann, Florian; Weber, Elmar; Montealegre, Norma: Implementation of the Reconfiguration Port Scheduling on the Erlangen Slot Machine. In: Chow, Paul; Cheung, Peter (Hrsg.) Proceeding of the International Symposium on Field Programmable Gate Arrays (FPGA 2009), Band 17, S. 282-282, Monterey, California, 22. - 24. Feb. 2009 ACM/SIGDA, ACM Press, New York, NY, USA (Details)

Mathews, Emi: Evaluation of a “Smart” Pedestrian Counting System Based on Echo State Networks. EURASIP Journal on Embedded Systems, vol. 2009(352172), Feb. 2009 (Details)

Zabel, Henning; Müller, Wolfgang: Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: DATE '09: Proceedings of the conference on Design, automation and test in Europe, 2009 (Details)

Klobedanz, Kay; Kuznik, Christoph; Elfeky, Ahmed; Müller, Wolfgang: Development of Automotive Communication based real-time systems – a steer-by-wire case study. IFIP Advances in Information and Communication Technology 2009 (Details)

F. S. Oliveira, Marcio; Ferreira, Ronaldo R.; do Nascimento, Francisco Assis M.; Rammig, Franz Josef; Wagner, Flavio: Exploiting the Model-Driven Engineering Approach to Improve Design Space Exploration of Embedded Systems. In: Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI), 2009 (Details)

do Nascimento, Francisco Assis M.; F. S. Oliveira, Marcio; Wagner, Flavio: MDE Approach to the Co-Synthesis of Embedded Systems Using a MOF-based Internal Design Representation. In: Proceedings of Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), 2009 (Details)

do Nascimento, Francisco Assis M.; F. S. Oliveira, Marcio; Wagner, Flavio: Using MDE for the Formal Verification of Embedded Systems Modeled by UML Sequence Diagrams. In: Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI), 2009 (Details)

F. S. Oliveira, Marcio; Wehrmeister, Marco A.; do Nascimento, Francisco Assis M.; Pereira, Carlos E.; Wagner, Flavio: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. , Kapitel: High-Level Design Space Exploration of embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches, S. 114-146, IGI Global, 2009 (Details)

do Nascimento, Francisco Assis M.; F. S. Oliveira, Marcio; Wagner, Flavio: Formal Verification for Embedded Systems Design Based on MDE. In: Proceedings of International Embedded Systems Symposium (IESS), 2009 (Details)

Zabel, Henning; Müller, Wolfgang; Gerstlauer, A.: Accurate RTOS Modelling and Analysis with SystemC. In: W. Ecker, W. Mueller, R. Doemer (eds.) ''Hardware Dependent Software - Principles and Practice'' Springer-Verlag, 2009 (Details)

Samara, Sufyan; Schomaker, Gunnar: Self-adaptive OS service model in relaxed resource distributed Reconfigurable System on Chip (RSoC). In: International Conference on Adaptive and Self-adaptive Systems and Applications, ADAPTIVE 2009, 2009 (Details)

Esau, Natascha: Emotionale Aspekte der Mensch-Roboter-Interaktion und ihre Realisierung in verhaltensbasierten Systemen. Dissertation, Universität Paderborn, 2009 (Details)

Samara, Sufyan; Bin Tariq, Fahad: OS service optimization in a heterogeneous distributed System on Chip ( SoC). In: Workshop on Distributed Computing in Ambient Environments ( DiComAe) within the KI2009 Conference, 2009 (Details)

Radkowski, Rafael; Zabel, Henning: Kommunikationsserver zur dynamischen Kopplung mechatronischer Systeme an Augmented-Reality-Anwendungen . In: 12. IFF-Wissenschaftstage, Digitales Engineering zum Planen, Testen und Betreiben technischer Systeme, 6. Fachtagung zur Virtual Reality, Magdeburg, 2009, Fraunhofer IFF (Details)

Rammig, Franz Josef; Ditze, Michael; Janacik, Peter; Heimfarth, Tales; Kerstan, Timo; Oberthür, Simon; Stahl, Katharina: Hardware-dependent Software Principles and Practice. , Kapitel: Basic Concepts of Real Time Operating Systems, S. 15--45, Springer, Jan. 2009 (Details)

Lipprandt, Myriam ; Eichelberg, Marco; Thronicke, Wolfgang; Krüger, Jan; Drüke, Isabell; Willemsen, Detlev; Busch, Clemens; Fiehe, Christoph; Zeeb, Elmar; Golatowski, Frank; Hein, Andreas: OSAMI-D: A Domain-Specific Software Platform for Health Care Services. In: Proc. 2nd International Conference on Human System Interaction, S. 139-145, Catania, Italy, 2009 (Details)

Dömer, Rainer; Gerstlauer, Andreas; Müller, Wolfgang: Hardware Dependent Software - Introduction and Overview. In: Proc. of the ASP-DAC'09, Yokohama, Japan, 2009 (Details)

Wehrmeister, Marco A.; Freitas, Edison P.; Pereira, Carlos E.: An Infrastructure for UML-based Code Generation Tools. In: Analysis, Architectures and Modelling of Embedded Systems, Band 310, S. 32-43. Springer, Boston, 2009 (Details)

Freitas, Edison P.; Wehrmeister, Marco A.; Pereira, Carlos E.; Ferreira, A. M.; Larsson, T.: Multi-Agents Supporting Reflection in a Middleware for Mission-Driven Heterogeneous Sensor Networks. In: Proceedings of 3rd International Workshop on Agent Technology for Sensor Networks, S. 25-32, Budapest, 2009 (Details)

Freitas, Edison P.; Wehrmeister, Marco A.; Pereira, Carlos E.; Heimfarth, Tales; Wagner, Flavio; Ferreira, A. M.; Larsson, T.: Using a Link Metric to Improve Communication Mechanisms and Real-Time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks. In: Advances in Information Security and Assurance, S. 422-431. Springer, Berlin, 2009 (Details)

Wehrmeister, Marco A.; Freitas, Edison P.; Pereira, Carlos E.: Using GenERTiCA to generation code from RT-UML : a case study. In: Proceedings of 13th IFAC Symposium on Information Control Problems in Manufacturing, S. 678-683, Moscow, 2009, Elsevier Science (Details)

Freitas, Edison P.; Allgayer, Rodrigo S.; Wehrmeister, Marco A.; Pereira, Carlos E.; Larsson, T.: Supporting Platform for Heterogeneous Sensor Network Operation based on Unmanned Vehicles Systems and Wireless Sensor Nodes. In: Proceedings of IEEE Intelligent Vehicles Symposium, S. 786-791, Los Alamitos, 2009, IEEE Computer Society (Details)

Schnelte, Matthias: Generating Test Cases for Timed Systems from Controlled Natural Language Specification. In: Proceedings 3nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI'09), S. 348 - 353, 2009 (Details)

Zhao, Yuhong; Rammig, Franz Josef: Model-based Runtime Verification Framework. In: Electronic Notes in Theoretical Computer Science, Band 253(1), S. 179-193, 2009 (Details)

Adelt, Philipp; Esau, Natascha; Schmidt, Alexander: Hybrid Planning for an Air Gap Adjustment System Using Fuzzy Models. Journal of Robotics and Mechatronics, 21(5): S. 647-655 2009 (Details)

Oyamada, Marcio S.; F. S. Oliveira, Marcio; Wagner, Flavio: Advanced Topics in VLSI Design. , Kapitel: Performance Estimation in MPSoC Design, S. 115-132, UFRGS, 2009 (Details)

Dömer, Rainer; Ecker, Wolfgang; Müller, Wolfgang (Hrsg.) Hardware Dependent Software - Principles and Practice. Springer Verlag, Dordrecht, Jan. 2009 (Details)

Götz, Marcelo; Dittmann, Florian; Xie, Tao: Dynamic relocation of hybrid tasks: Strategies and methodologies. Microprocessors and Microsystems - Embedded Hardware Design, 33(1): S. 81-90 2009 (Details)

Meyer auf der Heide, Friedhelm; Rammig, Franz Josef: Self-Organisation and Self-Optimization. Public Service Review: Science and Technology, 04 2009 (Details)

Xie, Tao; Müller, Wolfgang; Schattkowsky, Tim: A UML frontend for IP-XACT-based IP management. In: Proceedings of Design, Automation and Test in Europe (DATE'09), S. 238-243, Nice, France, 2009 (Details)

2008

Dittmann, Florian; Weber, Elmar; Montealegre, Norma: Part-E - A Tool for Reconfigurable System Design. In: Torres, Cesar; Torres, Lionel; Cumplido, René (Hrsg.) International Conference on Reconfigurable Computing and FPGAs (ReConFig 2008), Cancun, Mexico, 3. - 5. Dez. 2008 IEEE Computer Society, IEEE, Piscataway, NJ, USA (Details)

Klompmaker, Florian; Reimann, Christian: A Service Based Framework for Developing Mobile, Collaborative Games. In: International Conference on Advances in Computer Entertainment Technology (ACE 2008), Yokohama, Japan, 3. - 5. Dez. 2008, ACM Press (Details)

Gausemeier, Jürgen; Znamenshchykov, Alex; Oberthür, Simon; Podlogar, Herbert: An Approach for Achieving Self-Optimization in Mechatronic Systems Supported by Active Patterns. In: : Proceedings of the 18th International Conference on Intelligent Systems Design and Applications, Band ., 26. - 28. Nov. 2008 uk, uk (Details)

Kuznik, Christoph: A Generic Debug Interface for IP-Integrated Assertions. (Details)

Nebe, Karsten; Masuhr, Julian; Klompmaker, Florian; Reimann, Christian: Context-aware Information Systems for In-Car use: A User Study . Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, Nov. 2008 (Details)

Orfanus, Dalimir; Lessmann, Johannes; Janacik, Peter; Lachev, Lazar: Performance of Wireless Network Simulators - A Case Study. In: Proc. 3-nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks (PM²HW²N), part of The 11-th ACM MSWiM Conference 2008, S. 59--66, Vancouver, Canada, 27. - 31. Okt. 2008, ACM Press (Details)

Reimann, Christian; Klompmaker, Florian; Santelmann, Holger: MRPipeline: A Module based Architecture for self adaptive Mixed Reality Applications. In: ACM Symposium on Virtual Reality Software and Technologie (VRST 2008), Bordeaux, France, 27. - 29. Okt. 2008 (Details)

Münch, Eckehard ; Adelt, Philipp; Krüger, Martin; Kleinjohann, Bernd; Trächtler, Ansgar: Hybrid Planning and Hierarchical Optimization of Mechatronic Systems. In: Proceedings of the International Conference on Control, Automation and Systems (ICCAS), Seoul, Korea, 14. - 17. Okt. 2008 (Details)

Rammig, Franz Josef: Cyber Biosphere for Future Embedded Systems. In: Brinkschulte, Uwe; Givargis, Tony; Russo, Stefano (Hrsg.) Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, Okt. 2008 IFIP WG 10.2 , Springer-Verlag (Details)

Radkowski, Rafael; Gausemeier, Jürgen; Kleinjohann, Bernd; Richert, Willi; Adelt, Philipp; Zabel, Henning: Augmented Reality to Support the Testing of Autonomous Systems by the Example of Soccer Robots. In: 53. Internationales wissenschaftliches Kolloquium, Band -, 8. - 12. Sep. 2008 Technische Universität Ilmenau, Technische Universität Ilmenau (Details)

Stern, Claudius; Adelt, Philipp; Richert, Willi; Kleinjohann, Bernd: Hierarchically Distributing Embedded Systems for Improved Autonomy. In: Proceedings of the Distributed Parallel Embedded Systems Workshop (DIPES), Distributed and Parallel Embedded Systems, 7. - 10. Sep. 2008 (Details)

Montealegre, Norma; Rammig, Franz Josef: Immuno-Repairing of FPGA Designs. In: Hinchey, Mike; Pagnoni, Anastasia; Rammig, Franz Josef; Schmeck, Hartmut (Hrsg.) Biologically-Inspired Collaborative Computing, World Computer Congress (WCC 2008), Springer IFIP Series, Nr.268/2008, S. 137-149, Milano, Italy, 7. - 10. Sep. 2008 International Federation for Information Processing, Springer-Verlag, Heidelberg, Germany (Details)

Adelt, Philipp; Schmidt, Alexander; Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd; Rose, Mirko: Approximation of environment models for an air gap adjustment system in a hybrid planning context. In: Proceedings of the IEEE International Symposium on Intelligent Control (ISIC), 3. - 5. Sep. 2008 (Details)

Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Integrating Emotional Competence into Man-Machine Collaboration. In: IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2008), Milan, Italy, Sep. 2008 (Details)

Knieper, Tobias; Gnokam Defo, Gilles Bertrand; Kaufmann, Paul; Platzner, Marco: On Robust Evolution of Digital Hardware. In: 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008), S. 213-222, Milano, Italy, Sep. 2008, Springer (Details)

Heimfarth, Tales; Orfanus, Dalimir: Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects. In: Proceedings of the 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008), Milan, Italy, Sep. 2008 (Details)

Heimfarth, Tales; Janacik, Peter: Experiments with Biologically-Inspired Methods for Service Assignment in Wireless Sensor Networks. In: Proceedings of the 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008), S. 71--84, Milan, Italy, Sep. 2008, Springer Boston (Details)

Esau, Natascha; Adelt, Philipp; Schmidt, Alexander; Rose, Mirko: Interval Optimization in a Hybrid Planner Context for an Air Gap Adaptation System. In: Processings of the Third Asia International Symposium on Mechatronics (AISM), Sapporo, Japan, 27. - 31. Aug. 2008 (Details)

Koch, Markus; Schrage, J.; Richert, Willi: Real-time measurement, visualization and analysis of movements by fiber optical sensory applied to robotics. In: Proceedings of 47th International IEEE Conference on Instrumentation, Control and Information Technology (SICE 2008), Tokyo, Japan, Proceedings of International IEEE/ASME Conference on Advanced Intelligent Mechatronics (AIM 2008), Xi´an, China, 20. - 22. Aug. 2008 IEEE, IEEE Press (Details)

Schmidt, Alexander; Esau, Natascha; Adelt, Philipp: Integrating dynamic track sectioning into a hybrid planning infrastructure. In: Proceedings of the International Conference on Instrumentation, Control and Information Technology, Chofu City, Tokyo, Japan, 20. - 22. Aug. 2008 (Details)

Koch, Markus; Kleinjohann, Bernd: An efficient dataflow-oriented fuzzy library. In: Proceedings of 47th International IEEE Conference on Instrumentation, Control and Information Technology (SICE 2008), Tokyo, Japan, Proceedings of 47th International IEEE Conference on Instrumentation, Control and Information Technology (SICE 2008), Tokyo, Japan, 20. - 22. Aug. 2008 IEEE, IEEE Press (Details)

Schmidt, Alexander; Esau, Natascha; Adelt, Philipp; Stern, Claudius: Dynamic optimization of track sectioning in mechatronic systems for a hybrid planner. In: Proceedings of IEEE International Conference on Mechatronics and Automation (ICMA), Takamatsu, Kagawa, Japan, 5. - 8. Aug. 2008 (Details)

Schmidt, Alexander; Adelt, Philipp; Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Using Environmental Models Approximated by Fuzzy Identification for Hybrid Planning of Mechatronic Systems. In: Proceedings of the 28th Computers and Information in Engineering Conference (CIE), New York City, New York, USA, 3. - 6. Aug. 2008 (Details)

Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Emotional Competence in Human-Robot Communication. In: Proceedings of the ASME 28th Computers and Information in Engineering Conference (CIE), New York, USA, Aug. 2008, New York City (Details)

Anthony, Richard; Ward, Paul; Chen, Dejiu; Rettberg, Achim; Hawthorne, James; Pelc, Mariusz; Törngren, Martin (Hrsg.) A Middleware Approach to Dynamically Configurable Automotive Embedded Systems. Proceedings of the 1st International Symposium on Vehicular Computing Systems (ISVCS 2008), Dublin, Ireland, 22. - 24. Jul. 2008 (Details)

Wehrmeister, Marco; Freitas, Edison P.; Orfanus, Dalimir; Pereira, Carlos E.; Rammig, Franz Josef: Evaluating Aspect and Object-Oriented Concepts to Model Distributed Embedded Real-Time Systems Using RT-UML. In: Proc. of 17th IFAC World Congress, Seul, 6. - 11. Jul. 2008 (Details)

Koch, Markus; Schrage, J.; Richert, Willi: Optic-Tactile robotics and medical applications. In: Proceedings of International IEEE/ASME Conference on Advanced Intelligent Mechatronics (AIM 2008), Xi´an, China, Proceedings of International IEEE/ASME Conference on Advanced Intelligent Mechatronics (AIM 2008), Xi´an, China, 2. - 5. Jul. 2008 IEEE, IEEE Press (Details)

Koch, Markus: Haptic human-machine interaction by active, holonomic moving devices. In: Proceedings of International IEEE/ASME Conference on Advanced Intelligent Mechatronics (AIM 2008), Xi´an, China, Proceedings of International IEEE/ASME Conference on Advanced Intelligent Mechatronics (AIM 2008), Xi´an, China, Band 1, 2. - 5. Jul. 2008 IEEE, IEEE Press (Details)

Stöcklein, Jörg; Geiger, Christian; Dörries, Gundula; Zabel, Henning: Authoring of 3D and AR Applications for Educational Purposes. In: Auer, Michael; Langmann, Reinhard (Hrsg.) International Conference REV 2008, International Conference Remote Engineering and Virtual Instrumentation REV, 23. - 25. Jun. 2008 University of Applied Science Duesseldorf, International Association of Online Engineering (Details)

Koch, Markus; Schrage, J.: Movement reconstruction in industrial and medical domains based on topological Petri nets. In: Proceedings of 6th International Industrial Simulation Conference (ISC 2008), Lyon, France, Eurosis, Band 1, 9. - 11. Jun. 2008 EUROSIS, EUROSIS-ETI (Details)

Mathews, Emi: An Echo State Network based pedestrian counting system using wireless sensor networks. In: Proc. International Workshop on Intelligent Solutions in Embedded Systems, nil, Band 1, 10. - 11. Jun. 2008 IEEE, IEEE Press (Details)

Masuhr, Julian; Klompmaker, Florian; Reimann, Christian; Nebe, Karsten: Designing Context-aware In-car Information Systems . In: Mobiquitous 2008, Jun. 2008 (Details)

Wehrmeister, Marco; Freitas, Edison P.; Orfanus, Dalimir; Pereira, Carlos E.; Rammig, Franz Josef: A Comparison of the Use of Aspects and Objects for Modeling Distributed Embedded Real-Time Systems with RT-UML. In: Proc. of 10th Brazilian Workshop on Embedded and Real-Time Systems (WTR 2008), Rio de Janeiro, Brazil, 26. Mai 2008 (Details)

Montealegre, Norma: Fault Tolerance in FPGA Designs by Means of Immunocomputing. In: Schüffny, René; Spallek, Reiner G.; Elst, Günter (Hrsg.) Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS 2008), S. 131-136, Dresden, Germany, 15. - 16. Mai 2008 Fraunhofer Institut Integrierte Schaltung, Institutsteil Entwurfsutomatisierung, Dresden, Germany (Details)

Lessmann, Johannes; Held, Dirk: A Mobility-Adaptive TDMA MAC for Real-time Data in Wireless Networks. In: Proc. IFIP Networking 2008, Singapur, Mai 2008 (Details)

Lessmann, Johannes; Janacik, Peter; Lachev, Lazar; Orfanus, Dalimir: Comparative Study of Wireless Network Simulators. In: Proceedings of The Seventh International Conference on Networking (ICN), S. 517--523, Cancun, Mexico, 13. - 18. Apr. 2008, IEEE Press (Details)

Rammig, Franz Josef; Heimfarth, Tales; Janacik, Peter: Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks. In: Proceedings of the Dagstuhl Seminar on Organic Computing, Wadern, Germany, 30. Mrz. - 4. Apr. 2008, Leibniz-Zentrum für Informatik (Details)

Lessmann, Johannes; Heimfarth, Tales; Janacik, Peter: ShoX: An Easy to Use Simulation Platform for Wireless Networks. In: Proceedings of The 10th International Conference on Computer Modelling & Simulation, S. 410--415, Cambridge, England, 1. - 3. Apr. 2008, IEEE Press (Details)

Lessmann, Johannes; Heimfarth, Tales: Flexible Offline-Visualization for Mobile Wireless Networks. In: Proceedings of The 10th International Conference on Computer Modelling & Simulation, Cambridge, England, Apr. 2008 (Details)

Wehrmeister, Marco; Freitas, Edison P.; Orfanus, Dalimir; Pereira, Carlos E.; Rammig, Franz Josef: A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems. In: Proc. of 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), S. 44-54, Apr. 2008 IEEE Computer Society (Details)

Lessmann, Johannes; Lutters, Sascha: An Integrated Node Behavior Model for Office Scenarios. In: Proceedings of The 41st Annual Simulation Symposium, Ottawa, Canada, Apr. 2008 (Details)

Stern, Claudius; Adelt, Philipp; Krummel, Volker; Ackermann, Marcel R: Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Proceedings of the 4th International Conference on Networking and Services (ICNS '08), Gosier, Guadeloupe, Mrz. 2008, IEEE Computer Society Press (Details)

Zhao, Yuhong; Oberthür, Simon; Rammig, Franz Josef: Runtime Model Checking for Safety and Consistency of Self-optimizing Mechatronic Systems. In: Gausemeier, Jürgen; Rammig, Franz Josef; Wilhelm, Schäfer (Hrsg.) Proceedings of the 7th International Heinz Nixdorf Symposium: Self-optimzing Mechatronic Systems, ALB-HNI-Verlagsschriftenreihe, 20. - 21. Feb. 2008 Heinz Nixdorf Institut, Heinz Nixdorf Institut (Details)

Geiger, Christian; Fritze, Robin; Lehmann, Anke; Stöcklein, Jörg: HYUI - A Visual Framework for Prototyping Hybrid User Interfaces. In: Schmidt, Albrecht; Gellersen, Hans; van den Hoven, Elise; Mazalek, Ali; Holleis, Paul; Villar, Nicolas (Hrsg.) Tangible and Embedded Interaction TEI 08, 2nd International Conference on Tangible and Embedded Interaction, Band 2, S. 63 - 70, 18. - 20. Feb. 2008 ACM, ACM Press (Details)

Chen, Dejiu; Anthony, Richard; Persson, Magnus; Scholle, Detlef; Friesen, Viktor; de Boer, Gerrit; Rettberg, Achim; Ekelin, Cecilia (Hrsg.) An Architectural Approach to Autonomics and Self-management of Automotive Embedded Electronic Systems. Proceedings of the 4th European Congress ERTS (EMBEDDED REAL TIME SOFTWARE), Toulouse, France, 29. Jan. - 1. Feb. 2008 (Details)

Klöpper, Benjamin; Romaus, Christoph; Schmidt, Alexander; Voecking, Henner: A Multi-Agent Planning Problem for the Coordination of Function Modules. In: Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm (Hrsg.) Self-optimizing Mechatronic Systems: Design the Future, HNI-Verlagsschriftenreihe, Paderborn, S. 377-393, Feb. 2008 Heinz Nixdorf Institut, Heinz Nixdorf Institut (Details)

Oberthür, Simon; Znamenshchykov, Alex; Klöpper, Benjamin; Voecking, Henner: Improved Flexible Resource Management by Means of Look-Ahead Scheduling and Bayesian Forecasting. In: Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm (Hrsg.) Self-optimizing Mechatronic Systems: Design the Future, HNI-Verlagsschriftenreihe, Paderborn, S. 361-376, Paderborn, Feb. 2008 (Details)

Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm (Hrsg.) Self-optimizing Mechatronic Systems: Design the Future. HNI-Verlagsschriftenreihe, Paderborn, Band 223, Heinz Nixdorf Institut, Feb. 2008 (Details)

Schilke, Helene; Rettberg, Achim; Dittmann, Florian (Hrsg.) Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs. Proceedings of the IEEE International Workshop on Electronic Desing, Test and Applications (DELTA 2008), Hong Kong, 23. - 25. Jan. 2008 (Details)

Freitas, Edison P.; Wehrmeister, Marco A.; Pereira, Carlos E.; Larsson, T.: Reflective Middleware for Heterogeneous Sensor Networks. In: 7th Workshop on Adaptive and Reflective Middleware (ARM'08) (co-located with 9th International Middleware Conference), S. 49-50, Leuven, 2008, ACM Press, New York, NY, USA (Details)

Ditze, Michael; Becker, Markus: An Improved Adaptive ACO Meta Heuristic for Scheduling Multimedia Traffic Across the 802.11e EDCA. In: Multimedia Computing and Networking 2008, San Jose, USA, Jan. 2008 ACM (Details)

F. S. Oliveira, Marcio; Kleinjohann, Lisa; Kleinjohann, Bernd; Larsson, T.: On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. In: DIPES, S. 101-110, Milano, Italien, 2008, Springer Verlag (Details)

Freitas, Edison P.; Wehrmeister, Marco A.; Pereira, Carlos E.; Larsson, T.: Using Aspects and Component Concepts to Improve Reuse of Software for Embedded Systems Product Lines . In: Early Aspects Workshop at SPLC 2008: Aspect-Oriented Requirements and Architecture for Product Lines (EA@SPLC'08), Proceedings of the 12th International Software Product Line Conference (SPLC 08), Band 2, S. 105-112, Limerick, 2008, IEEE Computer Society (Details)

Freitas, Edison P.; Wehrmeister, Marco A.; Pereira, Carlos E.; Larsson, T.: Real-time Support in Adaptable Middleware for Heterogeneous Sensor Networks. In: International Workshop on Real Time Software (RTS'08), Band 3, S. 593-600, Wisla, 2008, IEEE Computer Society Press (Details)

Wehrmeister, Marco A.; Pereira, Carlos E.; Rammig, Franz Josef: GenERTiCA: A Tool for Code Generation and Aspects Weaving. In: 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2008), S. 234-238, Orlando, 2008, IEEE Computer Society Press (Details)

Radkowski, Rafael; Krupp, Alexander: Ein Ansatz für Augmented Reality-basiertes systematisches Testen eingebetteter Systeme. In: Prof. Dr.-Ing. Dr.-Ing. E.h. Michael Schenk (Hrsg): 11. IFF-Wissenschaftstage, Virtual Reality und Augmented Reality zum Planen, Testen und Betreiben technischer Systeme, 25.-26. Juni 2008, Magdeburg, 2008 (Details)

Rettberg, Achim; Anthony, Richard; Chen, Dejiu; Drüke, Isabell; de Boer, Gerrit; Ekelin, Cecilia: A Dynamically Reconfigurable Automotive Control System Architecture. In: Proceedings of the 17th IFAC World Congress 2008, Seoul, South Korea, 2008 (Details)

Drüke, Isabell; Podolski, Ina; Rettberg, Achim: Towards a Middleware Approach for a Self-Configurable Automotive Embedded System. In: Proceedings of 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), Capri Island, Italy, 2008 (Details)

Drüke, Isabell; Podolski, Ina; Rettberg, Achim: Integrating Dynamic Load Balancing Strategies into the Car-Network. In: Proceedings of the IEEE International Workshop on Electronic Desing, Test and Applications (DELTA 2008), Hong Kong, 2008 (Details)

Podolski, Ina; Rettberg, Achim; Drüke, Isabell: Towards Autonomous Sensor Networks by a Self-Configurable Middleware. In: Proceedings of Workshop on Sensor Networks and Applications (WSeNA 2008), Gramado, Brazil, 2008 (Details)

Dittmann, Florian: Methods to Exploit Reconfigurable Fabrics. HNI-Verlagsschriftenreihe, Paderborn, Band 229, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Jan. 2008 (Details)

Laroque, Christoph; Lietsch, Stefan; Zabel, Henning: Computational Steering verteilter, interaktiver Materialflusssimulationen. In: Augmented & Virtual Reality in der Produktentstehung, Band 232, S. 221-239, Heinz Nixdorf Museumsforum Paderborn, 2008 (Details)

Richert, Willi; Nordmeyer, Bastian; Lüke, Olaf; Kleinjohann, Bernd: Increasing the autonomy of mobile robots by on-line learning simultaneously at different levels of abstraction. In: International Conference on Autonomic and Autonomous Systems (ICAS'08), Jan. 2008, IEEE Computer Society Press (Details)

Richert, Willi; Klompmaker, Florian; Niehörster, Oliver: Guiding exploration by combining individual learningand imitation in societies of autonomous robots. In: 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008), 2008 (Details)

Richert, Willi; Kleinjohann, Bernd; Adelt, Philipp: Measurement of robot similarity to determine the best demonstrator for imitation in a group of heterogeneous robots. In: 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008), 2008 (Details)

Dittmann, Florian; Oberthür, Simon: Algorithmic Skeletons for the Design of Partially Reconfigurable Systems. In: Proceedings of 15th Reconfigurable Architectures Workshop - RAW 2008, Miami, Florida, USA, 2008 (Details)

Richert, Willi; Kleinjohann, Bernd: Adaptivity at Every Layer - A Modular Approach for Evolving Societies of Learning Autonomous Systems. In: Proceedings of IEEE/ACM ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Leipzig, Germany, 2008 (Details)

Radkowski, Rafael; Richert, Willi; Zabel, Henning; Adelt, Philipp: Augmented Reality-based behavior-Analysis of Autonomous Robotic Soccers. In: IADIS International Conference of Applied Computation, Algarve (Portugal), 2008 (Details)

Kerstan, Timo; Groesbrink, Stefan: Modular Paging with dynamic TLB partitioning for embedded real-time systems. In: SIES '08. Third International Symposium on Industrial Embedded Systems, La Grande Motte, France, 2008 (Details)

Zabel, Henning; Müller, Wolfgang: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, S. 31-39, MBMV08, Freiburg, Germany, 2008, Shaker Verlag (Details)

Zabel, Henning; Müller, Wolfgang: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. In: Distributed Embedded Systems: Design, Middleware and Resources, Band 27, S. 181-190, 2008, Springer Boston (Details)

2007

Lessmann, Johannes; Lutters, Sascha: Towards Realistic Modeling of Indoor Mobility in Office Scenarios. In: Proceedings of The 10th International Symposium on Wireless Personal Multimedia Communications (WPMC 2007), Jaipur, India, 3. - 6. Dez. 2007 (Details)

Kleinjohann, Bernd; Kleinjohann, Lisa; Richert, Willi; Stern, Claudius: Integrating Autonomous Behaviour and Team Coordination into an Embedded Architecture. In: Robotic Soccer, S. 253-280, Dez. 2007, Pro Literature Verlag, ARS (Details)

Klompmaker, Florian; Reimann, Christian: A Taxonomy of Mixed Reality Interaction Techniques. In: 10th International Conference on Humans and Computers (HC 07), Duesseldorf, Germany, Dez. 2007 (Details)

Schäfer, R.; Müller, Wolfgang: Evaluation of a Multimodal System Based on Dialogue Models and Transformations. In: Journal on Multimodal User Interfaces, Dez. 2007 (Details)

Lessmann, Johannes: GMAC: A Position-Based Energy-Efficient QoS TDMA MAC for Ad Hoc Networks. In: Proc. of The 15th IEEE International Conference on Networks (ICON), S. 449-454, Adelaide, Australia, 19. - 21. Nov. 2007 IEEE, IEEE Press (Details)

Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Integration of Emotional Reactions on Human Facial Expressions into the Robot Head MEXI. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IEEE/RSJ IROS 2007), San Diego, USA, 29. Okt. - 2. Nov. 2007 (Details)

Krishnamurthy, Arvind; Lessmann, Johannes: Hierarchical Clustering for a Sensor Network of Satellites in Space. In: Proceedings of the IARIA/IEEE International Conference on Sensor Technologies and Applications (SENSORCOMM 2007), Valencia, Spain, 14. - 20. Okt. 2007 (Details)

Lessmann, Johannes; Krishnamurthy, Arvind: Distributed Construction of a Multi-level Topology with Unpredictable Metric Values for Wireless Networks. In: Proceedings of the 3rd IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2007), New York, USA , 8. - 10. Okt. 2007 (Details)

Grossmann, Jürgen; Fey, Ines; Conrad, Mirko; Krupp, Alexander; Müller, Wolfgang; Wewetzer, Christian: TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Proceedings of Automotive Software Workshop '06, Oct. 2007 , Okt. 2007 (Details)

Fischer, Matthias; Laroque, Christoph; Huber, Daniel; Krokowski, Jens; Mueck, Bengt; Kortenjan, Michael; Aufenanger, Mark; Dangelmaier, Wilhelm: Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in one 3D Environment. In: European Simulation and Modelling Conference (ESM 2007) , S. 499--505, Okt. 2007 EUROSIS (Details)

Ditze, Michael: Evaluation of an Ants Colony Optimization based Scheduler for the Transmission of Multimedia Traffic in the 802.11e ECDA. In: Third Workshop on Wireless Multimedia Networking and Performance Modelling , Crete, Greece, Okt. 2007 (Details)

da Silva Jr., Elias T.; Wehrmeister, Marco; Wagner, F. R.; Pereira, Carlos E.: An Approach to Improve Determinism in Communication Service in Distributed Real-Time Embedded Systems. In: Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 07), S. 121-126, Vienna, Austria, 26. - 28. Sep. 2007, ACM Press, New York, NY, USA (Details)

Lessmann, Johannes; Krishnamurthy, Arvind: Applying Multi-level Topology Control to Satellite Formations - A Mobile Sensor Network in Space. In: Proceedings of the 9th IFIP/IEEE International Conference on Mobile and Wireless Communications Networks (MWCN 2007), Cork, Ireland, 19. - 21. Sep. 2007 (Details)

Lietsch, Stefan; Zabel, Henning; Berssenbrügge, Jan: Computational Steering of Interactive and Distributed Virtual Reality Applications . In: ASME 2007 International Design Engineering Technical Conference & Computers and Information in Engineering Conference, Las Vegas, Nevada, USA, 4. - 7. Sep. 2007, ASME (Details)

Esau, Natascha; Wetzel, Evgenija; Kleinjohann, Lisa; Kleinjohann, Bernd: A Fuzzy Emotion Model and Its Application in Facial Expression Recognition. In: Proceedings of the ASME 2007 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE 2007), Las Vegas, USA, 4. - 7. Sep. 2007 (Details)

Dittmann, Florian; Rettberg, Achim; Weber, Raphael: Optimization Techniques for a Reconfigurable Self-Timed and Bit-Serial Architecture. In: Proceedings of the SBCCI 2007, Rio de Janeiro, Brazil, 3. - 6. Sep. 2007 (Details)

Klompmaker, Florian; Stern, Claudius; Reimann, Christian; Santelmann, Holger: A Mock-up System for the Early Testing of Location Based Services. In: Workshop Mobile Interaction with the Real World (MIRW 2007), Sep. 2007 (Details)

Schäfer, R.; Müller, Wolfgang; Marín, A.; Díaz, D.: Device Independent User Interfaces for Smart Cards. In: 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI 2007), Singapore, Sep. 2007 (Details)

Schäfer, R.; Müller, Wolfgang; Marín, A.; albers, susanne; Díaz, D.: Using Smart Cards for Secure and Device Independent User Interfaces. In: International Conference on Mobile Technology, Applications and Systems (Mobility 2007), Singapore, Sep. 2007 (Details)

Lessmann, Johannes; Krishnamurthy, Arvind: Parameterized Hierarchical Layer Topology Construction for Wireless Networks. In: Proceedings of the 2nd IARIA/IEEE International Conference on Systems and Networks Communications (ICSNC 2007), French Riviera, France, 25. - 31. Aug. 2007 (Details)

Dittmann, Florian; Frank, Stefan: Caching in Real-time Reconfiguration Port Scheduling. In: Proceedings of the FPL 2007, Amsterdam, The Netherlands, 27. - 29. Aug. 2007 (Details)

Esau, Natascha; Wetzel, Evgenija; Kleinjohann, Lisa; Kleinjohann, Bernd: Real-Time Facial Expression Recognition Using a Fuzzy Emotion Model. In: Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007), London, UK, 23. - 26. Jul. 2007 (Details)

Dörries, Gundula; Fritze, Robin; Geiger, Christian; Lehmann, Anke; Klompmaker, Florian: Visuelles Authoring interaktiver 3D-Inhalte für den Einsatz in der Lehre. In: 4. Workshop Virtuelle und Erweiterte Realität der GI-Fachgruppe VR/AR, 1. Jul. 2007 (Details)

Dittmann, Florian; Rettberg, Achim; Weber, Raphael: Latency Optimization for a Reconfigurable, Self-Timed and Bit-Serial Architecture. In: Proceedings of the ERSA 2007, Las Vegas, USA, 25. - 28. Jun. 2007 (Details)

Richert, Willi; Kleinjohann, Bernd: Towards Robust Layered Learning. In: IEEE International Conference on Autonomic and Autonomous Systems (ICAS'07), 19. - 25. Jun. 2007 (Details)

Stechele, Walter; Bringmann, Oliver; Ernst, Rolf; Herkersdorf, Andreas ; Hojenski, Katharina; Janacik, Peter; Rammig, Franz Josef; Teich, Jürgen; Wehn, Norbert; Zeppenfeld, Johannes; Ziener, Daniel: Concepts for Autonomic Integrated Systems. In: edaWorkshop, Hannover, Germany, 19. - 20. Jun. 2007, FZI (Details)

Götz, Marcelo; Dittmann, Florian; Xie, Tao: Dynamic Relocation of Hybrid Tasks: A Complete Design Flow. In: Proceedings of Reconfigurable Communication-centric SoCs (ReCoSoc'07), Montpellier, France, 18. - 20. Jun. 2007 (Details)

Geiger, Christian; Stöcklein, Jörg: Development of an Augmented Reality Game by Extending a 3D Authoring System. In: International Conference on Adcances in Computer Entertainment Technology, 13. - 15. Jun. 2007 (Details)

Krupp, Alexander; Müller, Wolfgang: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21st European Conference on Modelling and Simulation ECMS 2007, Prague, Czech Republic, Jun. 2007 (Details)

Kerstan, Timo; Oberthür, Simon: A Configurable Hybrid Kernel for Embedded Real-time Systems. In: Rettberg, Achim (Hrsg.) Proceedings of the International Embedded Systems Symposium, 29. Mai - 1. Jun. 2007 IFIP WG 10.5, Springer-Verlag (Details)

Freitas, Edison P.; Wehrmeister, Marco; Pereira, Carlos E.; Wagner, F. R.; da Silva Jr., Elias T.; Carvalho, Fabiano C.: Using Aspect-Oriented Concepts in teh Requirements Analysis of Distributed Real-Time Embedded Systems. In: Proceedings of the International Embedded Systems Symposium (IESS 07), S. 221-230, Irvine, CA, USA, 29. Mai - 1. Jun. 2007 (Details)

Zabel, Henning; Rettberg, Achim; Krupp, Alexander: Approach for formal Verification of a Bit-Serial pipelined Architecture. In: Rettberg, Achim; Zanella, Mauro C.; Dömer, Rainer; Gerstlauer, A.; Rammig, Franz Josef (Hrsg.) Embedded System Design: Topics Techniques and Trends, S. 47-56, IRWINE(CA), USA, 30. Mai - 1. Jun. 2007, Springer-Verlag (Details)

Rammig, Franz Josef: Software-Hardware Complexes: Towards Flexible Borders. In: Proceedings of the IFIP TC 10 Working Conference: International Embedded System Symposium (IESS), S. 433-436, Irvine, USA, 30. Mai - 1. Jun. 2007 (Details)

Müller, Wolfgang: On the Use and Misuse of UML- Application of Diagrams in Engineering. In: UML for SoC Design Workshop at DAC, San Diego, USA, Jun. 2007 (Details)

Rettberg, Achim; Zanella, Mauro C.; Dömer, Rainer; Gerstlauer, A.; Rammig, Franz Josef (Hrsg.) Embedded System Design: Topics, Techniques, and Trends. , Irvine (CA), USA, 31. Mai - 1. Jun. 2007, Springer-Verlag (Details)

Rammig, Franz Josef: Engineering Self-Coordinating Real-Time Systems. In: Proceedings of The 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), Santorini Island, Greece, 7. - 9. Mai 2007 (Details)

Wehrmeister, Marco; Freitas, Edison P.; Pereira, Carlos E.; Wagner, F. R.: An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 07), S. 428-432, Santorini Island, Greece, 7. - 9. Mai 2007, IEEE Computer Society Press (Details)

Heimfarth, Tales; Janacik, Peter; Rammig, Franz Josef: Self-Organizing Resource-Aware Clustering for Ad Hoc Networks. In: Proceedings of the 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), S. 319--328, Santorini Island, Greece, 7. - 9. Mai 2007, Springer Berlin/Heidelberg (Details)

Dittmann, Florian: Algorithmic Skeletons for the Programming of Reconfigurable Systems. In: Proceedings of the SEUS 2007, Santorin, Greece, 7. - 8. Mai 2007 (Details)

Anthony, Richard; Rettberg, Achim; Drüke, Isabell: Towards a Dynamically Reconfigurable Automotive Control System Architecture. In: Rettberg, Achim; Zanella, Mauro C.; Dömer, Rainer; Gerstlauer, A.; Rammig, Franz Josef (Hrsg.) Embedded System Design: Topics Techniques and Trends, Irvine, CA, USA, Mai 2007, Springer-Verlag (Details)

Schaefer, Robbie; Müller, Wolfgang; Deimann, R.; Kleinjohann, Bernd: An Affordable Positioning System for Location-Aware Applications in Smart Homes. In: Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, Mai 2007 (Details)

Drüke, Isabell; Rettberg, Achim: Towards Dynamic Load Balancing for Distributed Embedded Automotive Systems. In: Rettberg, Achim; Zanella, Mauro C.; Dömer, Rainer; Gerstlauer, A.; Rammig, Franz Josef (Hrsg.) Embedded System Design: Topics Techniques and Trends, Irvine, DA, USA, Mai 2007 (Details)

Dittmann, Florian; Frank, Stefan: Hard Real-Time Reconfiguration Port Scheduling. In: Proceedings of the Design, automation and Test in Europe, Nice, France, 16. - 20. Apr. 2007 (Details)

Indrusiak, Leandro Soares; Thuy, Andreas; Glesner, Manfred: Executable system-level specification models containing UML-based behavioral patterns. In: Proceedings of Design Automation and Test in Europe (DATE) 2007, S. 301-306, Nice, France, Apr. 2007 (Details)

Stechele, Walter; Bringmann, Oliver; Ernst, Rolf; Herkersdorf, Andreas ; Hojenski, Katharina; Janacik, Peter; Rammig, Franz Josef; Teich, Jürgen; Wehn, Norbert; Zeppenfeld, Johannes; Ziener, Daniel: Autonomic MPSoCs for Reliable Systems. In: Zuverlässigkeit und Entwurf (ZuD 07), Munich, Germany, 27. - 28. Mrz. 2007, VDE Verlag (Details)

Dittmann, Florian; Götz, Marcelo; Rettberg, Achim: Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems. In: Proceedings of the Reconfigurable Architecture Workshop, Long Beach, CA, USA, 26. - 27. Mrz. 2007 (Details)

Marín, A.; Müller, Wolfgang; Schäfer, R.; Ziegler, Max; Almenárez, F.; Díaz, D.: Middleware for Secure Home Access and Control. In: Proceedings of IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007) at the 5th Conference on Pervasive Computing and Communications (PerCom 2007), New York, USA, Mrz. 2007 (Details)

Freitas, Edison P.; Wehrmeister, Marco; da Silva Jr., Elias T.; Carvalho, Fabiano C.; Pereira, Carlos E.; Wagner, F. R.: DERAF: A High-Level Aspects Framework for Distributed Embedded Real-Time Systems Design. In: Proc. of the 10th International Workshop on Early Aspects (co-located with ACM AOSD 07), Lecture Notes in Computer Science, Band 4765/2, S. 55-74, Vancouver, Canada , Mrz. 2007, Springer (Details)

Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg (Hrsg.) Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, Paderborn, Band 210, Jan. 2007 Heinz Nixdorf Institut, Heinz Nixdorf Institut, Universität Paderborn (Details)

El-Kebbe, Dania Adnan: Biologically Inspired Architecture of Organic Manufacturing Systems. In: IEEE International Symposium on Information Theory, Nice, France., 2007 (Details)

El-Kebbe, Dania Adnan; Kretzschmar, Nils: A PSO-Based Mechanism for Adaptive Control in Manufacturing Systems. In: Proc. of the International Conference Intelligent Systems and Agents, Lisbon, Portugal., 2007 (Details)

Arens, Stephan; Buss, Alexander; Deck, Helena; Dynia, Miroslaw; Fischer, Matthias; Hagedorn, Holger; Isaak, Peter; Krieger, Alexander; Kutylowski, Jaroslaw; Meyer auf der Heide, Friedhelm; Nesterow, Viktor; Ogierman, Adrian; Schrieb, Jonas; Stobbe, Boris; Storm, Thomas; Wachsmuth, Henning: Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In: 4th International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2007), S. 215-222, 2007 (Details)

Oberthür, Simon; Lichte, Hermann-Simon: Schedulability criteria and analysis for dynamic and flexible resource management. In: Proceedings of the DASMOD Workshop on Formal Verification of Adaptive Systems, 2007 (Details)

Ditze, Michael; Grawinkel, Matthias: Fuzzy Logic Based Admission Control for Multimedia Streams in the UPnP QoS Architecture. In: Proceedings of the IEEE AINA 2007, Band 2, Niagara Falls, Canada, Jan. 2007 (Details)

Pham Van, Tien: Proactive Ad Hoc Devices for Relaying Real-Time Video Packets. HNI-Verlagsschriftenreihe, Paderborn, Band 217, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Jan. 2007 (Details)

Wehrmeister, Marco; Freitas, Edison P.; Pereira, Carlos E.; Rammig, Franz Josef: Combining Aspects-Oriented Concepts with Model-Driven Techniques in the Design of Distributed Embedded Real-Time Systems. In: Proceedings of Work-In-Progress Session of the 19th Euromicro Conference on Real-Time Systems (ECRTS 07), S. 49-52, Pisa, Italy, Jan. 2007 (Details)

Rettberg, Achim: Low-power Driven High Level Synthesis for Dedicated Architectures. Paderborn University, Jan. 2007 (Details)

Frank, Ursula; Giese, Holger; Müller, Thomas; Oberthür, Simon; Romaus, Christoph; Tichy, Matthias; Voecking, Henner: Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme. In: 5. Paderborner Workshop Entwurf mechatronischer Systeme, Band 210, 2007, HNI Verlagsschriftenreihe, Paderborn (Details)

Krupp, Alexander; Müller, Wolfgang: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21st EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2007, Prague, Czech Republic, 2007 (Details)

F. S. Oliveira, Marcio: Model driven engineering for MPSOC design and space exploration. In: SBCCI'07: Proceedings of the 20th annual conference on Integrated circuits and systems design, S. 81-86, New York, NY, USA, 2007, ACM Press, New York, NY, USA (Details)

Richert, Willi; Kleinjohann, Bernd: A robust skill learning framework for autonomous mobile robots. In: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2007), 2007 (Details)

El-Kebbe, Dania Adnan; Kretzschmar, Nils: Towards Biologically Inspired Control of Distributed Manufacturing Systems. In: Proc. of the IEEE Conference on Emerging Technologies and Factory Automation, Patras, Greece., 2007 (Details)

Dittmann, Florian; Rammig, Franz Josef; Streubühr, Martin; Haubelt, C.; Schallenberg, Andreas; Nebel, Wolfgang: Exploration, Partitioning and Simulation of Reconfigurable Systems. it - Information Technology (vormals it+ti), 3: S. 149-156, 1. Jan. 2007 (Details)

Pham Van, Tien: Video-Cooperative Design for Ad hoc Networks. In: IEEE Wireless Communications and Networking Conference (WCNC) , Hong Kong, China, 2007 (Details)

Warkentin, Andreas; Herbst, Joachim: Funktionsorientierung bei PLM-Systemen: Eine Analyse des Standes der Technik. In: Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg (Hrsg.) 5. Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 210, 2007 (Details)

2006

Schneider, Christian ; Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Feature based Face Localization and Recognition on Mobile Devices.. In: Proceedings of the 9th International Conference on Control,Automation, Robotics and Vision (ICARCV 2006), Singapore, 5. - 8. Dez. 2006 (Details)

Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Emotional Communication with the Robot Head MEXI.. In: Proceedings of the 9th International Conference on Control,Automation, Robotics and Vision (ICARCV 2006), Singapore, 5. - 8. Dez. 2006 (Details)

Lietsch, Stefan; Berssenbrügge, Jan; Zabel, Henning; Wittenberg, Veit; Eikermann, Martin: Light Simulation in a Distributed Driving Simulator. In: 2nd International Symposium on Visual Computing (ISVC2006), S. 343-352, Lake Tahoe,Nevada, 6. - 8. Nov. 2006 (Details)

Danne, Klaus: Real-Time Multitasking in Embedded Systems Based on Reconfigurable Hardware. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 213, Nov. 2006 (Details)

Boncz, Peter A.; Bonifati, Angela; Illarramendi, Arantza; Janacik, Peter; König-Ries, Birgitta; Lehner, Wolfgang ; Marron, Pedro J.; May, Wolfgang; Ouksel, Aris; Römer, Kay; Sapkota, Brahmananda; Sattler, Kai-Uwe; Schweppe, Heinz; Steinmetz, Rita; Türker, Can: Managing and Integrating Data in P2P Databases. In: Proceedings of the Dagstuhl Seminar on Scalable Data Management in Evolving Networks, Wadern, Germany, 22. - 27. Okt. 2006, Leibniz-Zentrum für Informatik (Details)

Boncz, Peter A.; Bonifati, Angela; Böse, Joos-Hendrik; Bötcher, Stefan; Chrysanthis, Panos Kypros; Gruenwald, Le; Illarramendi, Arantza; Janacik, Peter; König-Ries, Birgitta; May, Wolfgang; Mondal, Aniraban; Obermeier, S.; Ouksel, Aris; Samaras, George; Sapkota, Brahmananda; Steinmetz, Rita; Viglas, Stratis D.: P2P, Ad Hoc and Sensor Networks - All the Different or All the Same?. In: Proceedings of the Dagstuhl Seminar on Scalable Data Management in Evolving Networks, Wadern, Germany, 22. - 27. Okt. 2006, Leibniz-Zentrum für Informatik (Details)

Rettberg, Achim; Rammig, Franz Josef: Integration of Energy Reduction into High-Level Synthesis by Partitioning. In: Proceedings of the Distributed Parallel Embedded Systems Workshop (DIPES), Braga, Portugal, 11. - 13. Okt. 2006 (Details)

Götz, Marcelo; Rettberg, Achim; Pereira, Carlos E.: Communication-aware Component Allocation Algorithm. In: Proceedings of the 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga, Portugal, 11. - 13. Okt. 2006 (Details)

Zabel, Henning; Rettberg, Achim: Prototyping an Ambient Light System - a case study. In: IFIP International Federation for Information Processing, From Model-Driven Design to Resource Management for Distributed Embedded Systems, Band 225, S. 55-64, Braga, Portugal, 11. - 13. Okt. 2006 (Details)

Richert, Willi; Kleinjohann, Bernd; Koch, Markus: The Paderkicker Team: Autonomy in Realtime Environments. In: Proceedings of the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), 11. - 13. Okt. 2006 (Details)

Götz, Marcelo; Dittmann, Florian: Reconfigurable Microkernel-based RTOS: Mechanisms and Methods for Run-Time Reconfiguration. In: Proceedings of the 3rd International Conference on ReConFigurable Computing and FPGAs 2006 (ReConFig'06), S. 12-19, 20. - 22. Sep. 2006 (Details)

Dittmann, Florian; Rettberg, Achim; Weber, Raphael: Towards the Implementation of Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture. In: Proceedings of the 3rd International Conference on ReConFigurable Computing and FPGA's, S. 262-269, San Luis Potosi, Mexico, 20. - 22. Sep. 2006 (Details)

Giefers, Heiner; Rettberg, Achim: Energy Aware Multiple Clock Domain Scheduling for a Bit-serial, Self-timed Architecture. In: Proceedings of the 19th Symposium on Integrated Circuits and System Design (SBCCI), Ouro Preto, Brazil, 28. Aug. - 1. Sep. 2006 (Details)

Danne, Klaus; Platzner, Marco: Executing hardware tasks on dynamically reconfigurable devices under real-time conditions. In: In Proceedings of the FPL06, Madrid, Spain, 28. - 30. Aug. 2006 (Details)

Janacik, Peter; Heimfarth, Tales: Emergent Distribution of Operating System Services in Wireless Ad Hoc Networks. In: Proceedings of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), S. 199--208, Santiago, Chile, 20. - 25. Aug. 2006, Springer Boston (Details)

Heimfarth, Tales; Janacik, Peter: Ant-based Heuristic for OS Service Distribution on Ad Hoc Networks. In: Proceedings of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), S. 75--84, Santiago, Chile, 20. - 25. Aug. 2006, Springer Boston (Details)

Richert, Willi; Kleinjohann, Bernd; Kleinjohann, Lisa: Trading off impact and mutation of knowledge by cooperatively learning robots. In: Proceedings of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), 20. - 25. Aug. 2006 (Details)

Giese, Holger; Montealegre, Norma; Müller, Thomas; Oberthür, Simon; Schulz, Bernd: Acute Stress Response for Self-optimizing Mechatronic Systems. In: Pan, Yi; Rammig, Franz Josef; Schmeck, Hartmut; Solar, Mauricio (Hrsg.) Biologically Inspired Cooperative Computing, World Computer Congress (WCC 2006), Springer IFIP Series, Santiago de Chile, 21. - 24. Aug. 2006 International Federation for Information Processing, Springer-Verlag, Heidelberg, Germany (Details)

Götz, Marcelo; Dittmann, Florian; Pereira, Carlos E.: Deterministic Mechanism for Run-Time Reconfiguration Activities in an RTOS. In: Proceedings of the 4th International IEEE Conference on Industrial Informatics (INDIN 2006), Singpore, 16. - 18. Aug. 2006 (Details)

Rammig, Franz Josef: Towards Self-Coordinating Ubiquitous Computing Environments. In: Proceedings of the EUC 2006, 1. - 4. Aug. 2006 (Details)

Janacik, Peter; Heimfarth, Tales: Cross-layer Architecture of a Distributed OS for Ad Hoc Networks. In: Proceedings of the International Conference on Autonomic an Autonomous Systems (ICAS 2006), S. 52--58, Silicon Valley, USA, 19. - 21. Jul. 2006, IEEE Press (Details)

Warkentin, Alexander; Dittmann, Florian: Data Transfer Protocols for a Two Slot Based Reconfigurable Platform. In: Proceedings of the Reconfigurable Communication-centric SoCs (ReCoSoC), Montpellier, France, 3. - 5. Jul. 2006 (Details)

Schattkowsky, Tim; Rettberg, Achim; Dömer, Rainer: Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In: Proceedings of the UML-SoC Workshop, San Francisco, USA, 1. Jul. 2006 (Details)

Danne, Klaus; Platzner, Marco: An EDF Schedulability Test for Periodic Tasks on Reconfigurable Hardware Devices. In: In Proceedings of LCTES 2006, Ottawa, 14. - 16. Jun. 2006 (Details)

Hojenski, Katharina; Oberthür, Simon: Towards Self-Optimizing Distributed Resource Management. In: Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme (SAKS 06), Kassel, Germany, 23. Mrz. - 24. Mai 2006 (Details)

Götz, Marcelo; Rettberg, Achim; Pereira, Carlos E.: Run-Time Reconfigurable Real-Time Operting System For Hybrid Execution Platforms. In: Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing, Saint-Etienne, France, 17. - 19. Mai 2006 (Details)

Danne, Klaus; Platzner, Marco: Partitioned Scheduling of Periodic Real-Time Tasks onto Reconfigurable Hardware. In: International Parallel and Distributed Processing Symposium, 25. - 29. Apr. 2006 (Details)

Rammig, Franz Josef; Götz, Marcelo; Heimfarth, Tales; Janacik, Peter; Oberthür, Simon: Real-time Operating Systems for Self-coordinating Embedded Systems. In: Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC 2006), S. 24--26, Gyeongju, Korea, 24. - 26. Apr. 2006, IEEE Press (Details)

Dittmann, Florian; Götz, Marcelo: Applying Single Processor Algorithms to Schedule Tasks on Reconfigurable Devices Respecting Reconfiguration Times. In: Proceedings of the 13th Reconfigurable Architectures Workshop (RAW 2006), Rhodes Island, Greece, 25. - 26. Apr. 2006 (Details)

Janacik, Peter; Heimfarth, Tales; Rammig, Franz Josef: Emergent Topology Control Based on Division of Labour in Ants. In: Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), S. 733--740, Vienna, Austria, 18. - 20. Apr. 2006, IEEE Press (Details)

Dittmann, Florian; Götz, Marcelo: Reconfiguration Time Aware Processing on FPGAs. In: In Proceedings of the Dagstuhl Seminar Nº 06141 on Dynamically Reconfigurable Architectures, Dagstuhl, Germany, 2. - 7. Apr. 2006 (Details)

Grossmann, Jürgen; Conrad, Mirko; Fey, Ines; Krupp, Alexander; Lamberg, Klaus; Wewetzer, Christian: TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Automotive Software Workshop , San Diego, 25. - 26. Mrz. 2006 (Details)

El-Kebbe, Dania Adnan: Autonomic Manufacturing Systems: A State-of-the-art Manufacturing Paradigm. In: Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme (SAKS) Workshop, Kassel, Germany, 23. - 24. Mrz. 2006 (Details)

Dittmann, Florian; Heimfarth, Tales: Clock Frequency Variation of Partially Reconfigurable Systems. In: Proceedings of the19th International Conference on Architecture of Computing Systems: Workshop Proceedings, S. 195-204, Frankfurt, Germany, 13. - 16. Mrz. 2006 (Details)

Krupp, Alexander; Müller, Wolfgang: Classification Trees for Random Test and Functional Coverage. In: Design, Automation and Test in Europe (DATE 2006), Munich, Germany, 7. - 11. Mrz. 2006 (Details)

Götz, Marcelo; Dittmann, Florian: Scheduling Reconfiguration Activities of Run-time Reconfigurable RTOS Using an Aperiodic Task Server. In: Proceedings of the ARC 2006, Delft, The Netherlands, 1. - 3. Mrz. 2006 (Details)

Dittmann, Florian; Rettberg, Achim: Design of Partially Reconfigurable Systems: From Abstract Modeling to Practical Realization. In: Proceedings of the 1st International Workshop on Reconfigurable Computing Education, Karlsruhe, Germany, 1. Mrz. 2006 (Details)

Rettberg, Achim; Rammig, Franz Josef: A New Design Partitioning Approach for Low Power High-Level Synthesis. In: Proceedings of the IEEE International Workshop on Electronic Desing, Test and Applications (DELTA 2006), Kuala Lumpur, Malaysia, 17. - 19. Jan. 2006 (Details)

Rammig, Franz Josef; Götz, Marcelo; Heimfarth, Tales; Janacik, Peter; Oberthür, Simon: Real-time Operating Systems for Self-coordinating Embedded Systems. In: Proceedings of the Dagstuhl Seminar MBEES: Modellbasierte Entwicklung eingebetteter Systeme II (pre-publication), S. 95--104, Wadern, Germany, 9. - 13. Jan. 2006 (Details)

Rammig, Franz Josef; Dangelmaier, Wilhelm; Karl, Holger; Mertsching, Bärbel; Meyer auf der Heide, Friedhelm; Trächtler, Ansgar: Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems. In: Proceedings of the 6th International Heinz Nixdorf Symposium., 2006, HNI Verlagsschriftenreihe, Paderborn (Details)

Anthony, Richard; Leonhardi, Alexander; Ekelin, Cecilia; Chen, Dejiu; Törngren, Martin; de Boer, Gerrit; Drüke, Isabell; Burton, Simon; Redell, Ola; Weber, Alexander; Vollmer, Vasco : A Future Dynamically Reconfigurable Automotive Software System. In: Moderne Elektronik im Kraftfahrzeug, Dresden, Germany, Jan. 2006 (Details)

Richert, Willi; Kleinjohann, Bernd; Murmann, Alexander: Robust skill learning with prediction guided autonomy . In: Proceedings of the 2006 IEEE Mountain Workshop on Adaptive and Learning Systems (IEEE SMCals 2006), Jan. 2006 (Details)

Dellnitz, Michael; Junge, Oliver; Krishnamurthy, Arvind; Preis, Robert: Stable Communication Topologies of a Formation of Satellites. Nonlinear Dynamics and Systems, Theory Journal, 4(6): S. 337-342, Jan. 2006 (Details)

Müller, Wolfgang; Zabel, Henning: Towards a Unified Behavioral Language - A Simulation Framework Based Approach. In: Proceedings of the UML--SoC Workshop, San Francisco, USA, 1. Jan. 2006 (Details)

Conrad, Mirko; Krupp, Alexander: An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. In: Second Workshop on Model Based Testing, Vienna, Austria, Jan. 2006 (Details)

Geiger, Christian; Stöcklein, Jörg: Entwicklung von Augmented Reality-Präsentationen mit einem High-Level Authoring System - eine Fallstudie. In: Gausemeier, Jürgen; Grafe, Michael (Hrsg.) Augmented & Virtual Reality in der Produktentstehung, HNI-Verlagsschriftenreihe, Paderborn, Nr.188, S. 145-149, 2006, Heinz Nixdorf Institut, Universität Paderborn (Details)

Stichling, Dirk; Esau, Natascha; Kleinjohann, Bernd; Kleinjohann, Lisa: Real-Time Camera Tracking for Mobile Devices: The VisiTrack System. Real-Time Systems, The International Journal of Time-Critical Computing Systems, 1. Jan. 2006 (Details)

Rips, Sabina: Adaptive Steuerung der Lastverteilung datenparalleler Anwendungen in Grid-Umgebungen. Universität Paderborn, 2006 (Details)

El-Kebbe, Dania Adnan; Danne, Christoph: On Adapting Neural Networks To Cellular manufacturing. In: Proceedings of Complex Systems and Self-organization Modelling (CoSSoM 2006), Hawai, USA, 1. Jan. 2006 (Details)

Dellnitz, Michael; Junge, Oliver; Krishnamurthy, Arvind; Ober-Bloebaum, Sina; Padberg, Kathrin; Preis, Robert: New Trends in Parallel and Distributed Computing. , Band 181, Kapitel: Efficient Control of Formation Flying Spacecraft, S. 235-247, HNI Verlagsschriftenreihe, Paderborn, Jan. 2006 (Details)

Dangelmaier, Wilhelm; Huber, Daniel; Laroque, Christoph; Aufenanger, Mark; Fischer, Matthias; Krokowski, Jens; Kortenjan, Michael: d³FACT insight goes parallel - Aggregation of multiple simulations. In: Simulation and Visualization 2006 (SimViS), S. 79-88, 2006, SCS European Publishing House (Details)

Pan, Yi; Rammig, Franz Josef; Schmeck, Hartmut; Solar, Mauricio (Hrsg.) Biologically Inspired Cooperative Computing. , 2006 IFIP WG 10.5, Springer-Verlag (Details)

Hardt, Wolfram; Ihmor, Stefan (Hrsg.) Schnittstellensynthese. , Band 2Heinz Nixdorf Institut, Universität Paderborn, Dresden, 2006 (Details)

Richert, Willi; Kleinjohann, Bernd: Self-organization at the lowest level: Proactively learning skills in autonomous systems. In: INFORMATIK 2006 -- Informatik für Menschen, GI-Edition Lecture Notes in Informatics (LNI), Band P-93, S. 128 -- 136, 1. Jan. 2006 (Details)

Rettberg, Achim; Rammig, Franz Josef; Kleinjohann, Bernd: Partitioning-based Energy Reduction Methods integrated into High-Level Synthesis. In: Mertsching, Bärbel (Hrsg.) Fundamentals & Methods for Low-Power Information Processing, 2006, Springer-Verlag (Details)

Kortenjan, Michael; Vodisek, Mario: A Note on Throwing Replicated Balls into Bins. tr-ri-06-278, 1. Jan. 2006 (Details)

Gausemeier, Jürgen; Wallaschek, Jörg; Rammig, Franz Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) Entwurf mechatronischer Systeme. , Band 189, 2006, HNI Verlagsschriftenreihe, Paderborn (Details)

Ihmor, Stefan: Modeling and Automated Synthesis of Reconfugurable Interfaces. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 205, Jan. 2006 (Details)

Rips, Sabina: Adaptive Steuerung der Lastenverteilung datenparalleler Anwendungen in Grid-Umgebungen. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 197, Jan. 2006 (Details)

Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg: 4. Paderborner Workshop Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, Paderborn, Band 189, Heinz Nixdorf Institut, Jan. 2006 (Details)

Pham Van, Tien: Proactive Ad hoc Nodes for Real-time Video. In: the 10th IEEE International Conference on Communications Systems (ICCS 2006) , Singapore, 30 Oct - 1 Nov, Jan. 2006 (Details)

Pham Van, Tien: Efficient Relaying of Video Packets over Wireless Ad hoc Devices. In: the 8th annual IEEE Wireless and Microwave Technology Conference (WAMICON 2006), Clearwater, Florida, USA, 4-5 December, Jan. 2006 (Details)

2005

Götz, Marcelo; Rettberg, Achim; Pereira, Carlos E.: A Run-time Partitioning Algorithm for RTOS on Reconfigurable Hardware. In: Embedded and Ubiquitous Computing (EUC), 6. - 9. Dez. 2005 (Details)

Dittmann, Florian; Rettberg, Achim; Weber, Raphael: Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture. In: Proceedings of the 2005 IFIP International Conference on Embedded And Ubiquitous Computing (EUC'2005), Nagasaki, Japan, 6. - 9. Dez. 2005 (Details)

Fischer, Matthias; Mueck, Bengt; Mahajan, Kiran; Kortenjan, Michael; Laroque, Christoph; Dangelmaier, Wilhelm: Multi-User Support And Motion Planning of Humans And Humans Driven Vehicles In Interactive 3D Material Flow Simulations. In: Kuhl, M.E; Steiger, N.M; Armstrong, F.B; Joines, J.A (Hrsg.) Winter Simulation Conference (WSC´ 05), S. 1921-1930, Orlando, USA, 4. - 7. Dez. 2005 IEEE (Details)

Oberthür, Simon; Böke, Carsten; Rammig, Franz Josef: Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende Systeme. In: Echtzeitaspekte bei der Koordinierung Automomer Systeme (PEARL 2005), 1. - 2. Dez. 2005 (Details)

El-Kebbe, Dania Adnan; Götz, Marcelo: Distributed Real-Time Control of Railway Crossings Using Multi-Agent Technology. In: International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA, 28. - 30. Nov. 2005 (Details)

Pham Van, Tien: Real-time Video over Programmable Networked Devices. In: IFIP International Conference on Network and Parallel Computing (NPC05), 1. Nov. 2005, LNCS 3779, pp. 409 – 416 (Details)

Rettberg, Achim; Schattkowsky, Tim; Rust, Carsten; Müller, Wolfgang; Rammig, Franz Josef: The Reconfigurable UML Machine Project Group. In: Rettberg, Achim; Bobda, Christophe (Hrsg.) New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, 20. - 21. Okt. 2005 EduTech Workshop, Springer Verlag (Details)

Zhao, Yuhong; Kardos, Martin; Oberthür, Simon; Rammig, Franz Josef: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. In: the proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan, 4. - 7. Okt. 2005 (Details)

Drüke, Isabell; Loeser, Christoph; Oesterdiekhoff, Brigitte: Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario. In: IEEE International Conference on Industrial Informatics (INDIN), 5. Okt. 2005 (Details)

Oesterdiekhoff, Brigitte: Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices. In: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2005 (Details)

Bauch, Jochen; Radkowski, Rafael; Zabel, Henning: An Explorative Approach to the Virtual Prototyping of Self-optimizing Mechatronic Systems. In: ProSTEP iViP Science Days 2005 - Cross Domain Engineering, Darmstadt, 28. - 29. Sep. 2005 ProSTEP iViP Association (Details)

Pham Van, Tien: Proactive Optimization of Real-time Video. In: Proc. of International Conference on Wireless Communications, Networking and Mobile Computing 2005 (WCNM05), S. 1418-1421, 23. - 26. Sep. 2005, IEEE Press, Elsevier EI (Details)

Oberthür, Simon; Böke, Carsten; Griese, Björn: Dynamic Online Reconfiguration for Customizable and Self-Optimizing Operating Systems. In: Proceedings of the 5th ACM international conference on Embedded software (EMSOFT'2005), S. 335-338, 18. - 22. Sep. 2005 (Details)

Krupp, Alexander; Müller, Wolfgang: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. In: Cremers, Armin; Manthey, Rainer; Martini, Peter (Hrsg.) Informatik 2005 - Informatik Live! (Bd. 2), GI-Edition Lecture Notes in Informatics (LNI), Nr.P-68, Bonn, 19. - 22. Sep. 2005 GI LNI (Details)

GrÃ¼newald, Matthias; Rust, Carsten; Witkowski, Ulf: Using mini robots for prototyping intersection management of vehicles. In: Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005), Awara-Spa, Fukui, JAPAN, 20. - 22. Sep. 2005 (Details)

Pham Van, Tien: A Practical Approach for Real-time Video Streaming. In: Proc. of the 13th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2005,, Band S7-5122-1509, 15. - 17. Sep. 2005 (Details)

Rips, Sabina: Load Balancing Support for Grid-enabled Applications. In: Proceedings of ParCo 2005, 13. - 16. Sep. 2005 (Details)

Koch, Markus; Richert, Willi; Saskevic, Alexander: A self-optimization approach for hybrid planning and socially inspired agents. In: Second NASA GSFC/IEEE Workshop on Radical Agent Concepts, NASA Goddard Space Flight Center Visitor's Center Greenbelt, MD, USA, 15. Sep. 2005 (Details)

Zhao, Yuhong; Oberthür, Simon; Montealegre, Norma; Rammig, Franz Josef; Kardos, Martin: Increasing Dependability by Means of Model-based Acceptance Test inside RTOS. In: Wyrzykowski, Roman; Dongarra, Jack; Meyer, Norbert; Wasniewski, Jerzy (Hrsg.) 6th International Conference on Parallel Processing and Applied Mathematics (PPAM 2005), Lecture Notes in Computer Science, S. 1034-1041, Poznanm, Poland, 11. - 14. Sep. 2005, Springer-Verlag, Heidelberg, Germany (Details)

Schattkowsky, Tim; Hausmann, Jan Hendrik; Rettberg, Achim: Using UML Activities for Synthesis on Reconfigurable Hardware. In: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005 (Details)

Rettberg, Achim; Bobda, Christophe (Hrsg.) New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design. , 2005, Springer Verlag (Details)

Rettberg, Achim; Zanella, Mauro C.; Rammig, Franz Josef (Hrsg.) From Specification to Embedded Systems Application. , 2005, Springer Verlag (Details)

Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: An Adaptable Fuzzy Emotion Model for Emotion Recognition. In: Proceedings of the 4th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-LFA 2005), Barcelona, Spain, 7. - 9. Sep. 2005 (Details)

Dittmann, Florian; Heberling, Markus: Placement of Intermodule Connections on Partially Reconfigurable Devices. In: Proceedings of the 18th Symposium on Integrated Circuits and Systems Design (SBCCI), S. 236-241, Florianópolis, Brazil, 4. - 7. Sep. 2005 (Details)

Ihmor, Stefan; Hardt, Wolfram: Runtime Reconfigurable Interfaces - The RTR-IFB Approach. International Journal of Embedded Systems (IJES), Inderscience Publisher, Issue 5/6(Article 1), 1. Sep. 2005 (Details)

Dittmann, Florian: Efficient Execution on Reconfigurable Devices Using Concepts of Pipelining. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), S. 717-718, Tampere, Finland, 24. - 26. Aug. 2005 (Details)

Danne, Klaus; Platzner, Marco: A Heuristic Approach to Schedule Periodic Real-Time Tasks on Reconfigurable Hardware. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL05), Tampere, Finland, 24. - 26. Aug. 2005, Piscateway, NJ: IEEE (Details)

Griese, Björn; Oberthür, Simon; Porrmann, Mario: Component case study of a self-optimizing RCOS/RTOS system: A reconfigurable network service. In: Rettberg, Achim; Zanella, Mauro C.; Rammig, Franz Josef (Hrsg.) From Specification to Embedded Systems Application, International Embedded Systems Symposium (IESS), S. 267-277, Manaos, Brazil, 15. - 17. Aug. 2005 (Details)

Götz, Marcelo; Rettberg, Achim; Pereira, Carlos E.: Towards Run-time Partitioning of a Real Time Operating System for Reconfigurable Systems on Chip. In: Proceedings of International Embedded Systems Symposium - IESS, Manaus, Brazil, 15. - 17. Aug. 2005 (Details)

Eickhoff, Ralf; Niemann, Jörg-Christian; Porrmann, Mario; Rückert, Ulrich: Adaptable Switch boxes as on-chip routing nodes for networks-on-chip. In: Rettberg, Achim; Zanella, Mauro C.; Rammig, Franz Josef (Hrsg.) From Specification to Embedded Systems Application, International Embedded Systems Symposium (IESS), S. 201-210, Manaus, Brazil, 15. - 17. Aug. 2005 (Details)

Dittmann, Florian; Bobda, Christophe: Temporal Placement on Mesh-Based Coarse Grain Reconfigurable Systems Using the Spectral Method. In: Rettberg, Achim; Zanella, Mauro C.; Rammig, Franz Josef (Hrsg.) From Specification to Embedded Systems Application, Proceedings of the IESS, S. 301-310, Manaus, Brazil, 15. - 17. Aug. 2005, Kluwer Academic Publishers (Details)

Kardos, Martin; Fristacky, Norbert: Functional Verification for UML-based Model Driven Design of Embedded Systems. In: Proceedings of International Embedded Systems Symposium - IESS 2005, Manaus, Brazil, 15. - 17. Aug. 2005, Springer-Verlag (Details)

Danne, Klaus; Stühmeier, Sven: Off-line Placement of Tasks onto Reconfigurable Hardware Considering Geometrical Task Variants. In: Proceedings of International Embedded Systems Symposium 2005 (IESS05), Manaus, Brazil, 15. - 17. Aug. 2005 (Details)

Geiger, Christian; Stöcklein, Jörg: Mixed reality authoring using the MIREA approach. In: International Conference on Humans and Computers HC 2005, Band 8, 2005 (Details)

Stöcklein, Jörg; Rammig, Franz Josef: User-Interface of a UML-Editor for supporting an early brainstorming-phase. In: HCI International, Band 11, S. CD-ROM, 2005 (Details)

Geiger, Christian; Stöcklein, Jörg: Towards Structured Design of Mixed Reality Content. In: HCI International, Band 11, S. CDROM, 2005 (Details)

Austermann, Anja; Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Fuzzy Emotion Recognition in Natural Speech Dialogue. In: Proceedings of the 14th IEEE International Workshop on Robot and Human Interactive Communication (RO-MAN 2005), Nashville, USA, 13. - 15. Aug. 2005 (Details)

Austermann, Anja; Esau, Natascha; Kleinjohann, Lisa; Kleinjohann, Bernd: Prosody Based Emotion Recognition for MEXI. In: Proceedings of the IEEE/RSJ International Conference of Intelligent Robots and Systems (IROS 2005), Edmonton, Canada , 2. - 6. Aug. 2005 (Details)

Koch, Markus; Rust, Carsten; Kleinjohann, Bernd: Design of intelligent mechatronical systems with modifiable behaviors . In: Proceedings of the 5th IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2005, Monterey, CA, USA, 24. - 28. Jul. 2005 IEEE, IEEE Press (Details)

Zhao, Yuhong; Oberthür, Simon; Kardos, Martin; Rammig, Franz Josef: Model-based Runtime Verification Framework for Self-optimizing Systems. In: the Proceedings of the Fifth Workshop on Runtime Verification (RV'05), Edinburgh, Scotland, UK, 7. - 12. Jul. 2005 (Details)

Danne, Klaus; Platzner, Marco: Memory-demanding Periodic Real-Time Applications on FPGA Computers. In: Work-in-Progress proceedings of the 17th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 05), 6. - 8. Jul. 2005 (Details)

Ihmor, Stefan; Dittmann, Florian: Optimizing Interface Implementation Costs Using Runtime Reconfigurable Systems. In: Plaks, Toomas (Hrsg.) Proceedings of the 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'05), S. 85-91, Monte Carlo Resort, Las Vegas, Nevada, USA, 26. - 30. Jun. 2005 (Details)

Richert, Willi; Kleinjohann, Bernd; Kleinjohann, Lisa: Evolving Agent Societies through Imitation Controlled by Artificial Emotions. In: Huang, M.; Zhang, X.-P.; Huang, M. (Hrsg.) International Conference on Intelligent Computing, ICIC 2005, LNCS, Nr.3644, S. 1004-1013, 30. Jun. 2005, Springer-Verlag Berlin (Details)

Gausemeier, Jürgen; Bauch, Jochen; Radkowski, Rafael; Zabel, Henning: Augmented Prototyping-Umgebung für die Analyse intelligenter mechatronischer Systeme. In: Gausemeier, Jürgen; Grafe, Michael (Hrsg.) Augmented & Virtual Reality in der Produktenstehung, Nr.167, S. 203-217, 9. - 10. Jun. 2005, HNI Verlagsschriftenreihe, Paderborn (Details)

Rodriguez, Tomas; Reid, Ian; Horaud, Radu; Dalal, Navneet; Götz, Marcelo: Image Interpolation for Virtual Sports Scenarios. Machine Vision and Applications, 10. Jun. 2005 (Details)

Danne, Klaus; Platzner, Marco: Periodic Real Time Scheduling for FPGA Computers. In: Turau, Volker; Weyer, Christophe (Hrsg.) The Third IEEE International Workshop on Intelligent Solutions in Embedded Systems (WISES'05) at Hamburg University of Technology, 20. Mai 2005, Piscateway, NJ: IEEE (Details)

Ihmor, Stefan; Hardt, Wolfram: Synthesis of Communication Structures and Protocols in Distributed Embedded Systems. In: RSP, 16th International Workshop on Rapid System Prototyping, Montreal, Canada, 20. Apr. 2005, IEEE Computer Society Press (Details)

Krupp, Alexander; Müller, Wolfgang: Modelchecking von Klassifikationsbaum-Testsequenzen. 1. Apr. 2005 (Details)

Gerling, Jens: Simulation optischer Multimode-Wellenleiter im Zeitbereich. , Apr. 2005 (Details)

Zabel, Henning; Müller, Wolfgang: Laufzeiteffiziente Verifikation zur Analyse von synchronen Kommunikationsnetzwerken. Apr. 2005 (Details)

Krishnamurthy, Arvind; Preis, Robert: Satellite Formation, a Mobile Sensor Network in Space. In: Proceedings of the 5th IEEE International Workshop on Algorithms for Wireless, Mobile, Ad Hoc and Sensor Networks in conjunction with IPDPS 2005, Denver, Colorado, Apr. 2005 (Details)

Richert, Willi; Kleinjohann, Bernd; Kleinjohann, Lisa: Learning Action Sequences through Imitation in Behavior Based Architectures. In: Systems Aspects in Organic and Pervasive Computing - ARCS 2005, LNCS, Nr.3432, S. 93-107, 14. - 17. Mrz. 2005, Springer-Verlag Berlin (Details)

Dittmann, Florian; Rettberg, Achim; Schulte, Fabian: A Y-Chart Based Tool for Reconfigurable System Design. In: Workshop on Dynamically Reconfigurable Systems (DRS), S. 67-73, Innsbruck, Austria, 17. Mrz. 2005, VDE Verlag (Details)

Kardos, Martin: An approach to model checking AsmL specifications. In: Proceedings of 12th International Workshop on Abstract State Machines, S. 289-304, Paris, France, 8. - 11. Mrz. 2005 (Details)

Mahajan, Kiran; Laroque, Christoph; Dangelmaier, Wilhelm; Soltenborn, Christian; Kortenjan, Michael; Kuntze, Daniel: d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In: Schulze, Thomas; Horton, Graham; Preim, Bernhard; Schlechtweg, Stefan (Hrsg.) Simulation and Visualization 2005 (SimViS), Band 1, S. 115-126, 3. - 4. Mrz. 2005, SCS European Publishing House (Details)

Schattkowsky, Tim; Müller, Wolfgang; Rettberg, Achim: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. In: Proceedings of Design Automation and Test in Europe (DATE), Munich, Germany, 1. Mrz. 2005 (Details)

Dellnitz, Michael; Junge, Oliver; Krishnamurthy, Arvind; Preis, Robert: Stable Communication Topologies of a Formation of Satellites. In: 4th AIAA International Workshop on Satellite Constellations and Formation Flying, Space centre, Brazil, Feb. 2005 (Details)

Gausemeier, Jürgen; Rammig, Franz Josef; Schäfer, Wilhelm; Wallaschek, Jörg (Hrsg.) Intelligente mechatronische Systeme. HNI-Verlagsschriftenreihe, Paderborn, Band 163, 2005, HNI Verlagsschriftenreihe, Paderborn (Details)

Ditze, Michael; Drüke, Isabell: Towards End-to-End Quality of Service in Service Oriented Architectures. In: Proceedings of the 3rd International IEEE Conference on Industrial Informatics (INDIN), Perth, Australia, 2005 (Details)

Ihmor, Stefan: Entwurf von Echtzeitschnittstellen am Beispiel interagierender Roboter. In: Hardt, Wolfram (Hrsg.) Rekonfigurierbare Schnittstellen, Band 1, S. 3-144, Dresden, 2005 (Details)

El-Kebbe, Dania Adnan: Simulation Study of a Distributed Control Scheme in Flexible Manufacturing Systems. In: Proceedings of the International Business Information Management Conference, Cairo, Egypt, 1. Jan. 2005 (Details)

2004

Gausemeier, Jürgen; Müller, Wolfgang; Bauch, Jochen; Radkowski, W.; Shen, T.; Paelke, Volker: Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Marjanovic, Dorian (Hrsg.) Design 2004 - 8th International Design Conference, 20. Dez. 2004 (Details)

Loeser, Christoph; Schaefer, Robbie; Müller, Wolfgang; Bororwski, M.: RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. In: SCI, 2004 (Details)

Bleul, S.; Schaefer, Robbie; Müller, Wolfgang: A Novel Dialog Model for the Design of Multimodal User Interfaces. In: EHCI-DSVIS, Tremsbüttel, Hamburg, 2004 (Details)

Gausemeier, Jürgen; Müller, Wolfgang; Bauch, Jochen; Radkowski, W.; Shen, T.; Paelke, Volker: Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In: Simulation and Visualisation 2004, 20. Dez. 2004 (Details)

Löser, Chris; Ditze, Michael; Rammig, Franz Josef; Altenbernd, Peter: GRUSEL - A Self-optimizing Bandwidth-aware Video on Demand Application. In: Proceedings of the 1st IEEE International Conference on Autonomic Computing (ICAC-2004), New York, 13. Dez. 2004 (Details)

Krupp, Alexander; Lundkvist, O.; Schattkowsky, Tim; Snook, C.: Adaptive Cruise Controller Case Study: Visualisation, Validation and Temporal Verification. In: Mermet, J. (Hrsg.) UML-B System Specification for Proven Electronic Design, 9. Dez. 2004, Kluwer Academic Publishers (Details)

Rettberg, Achim; Lehmann, Thomas; Zanella, Mauro C.; Bobda, Christophe: Selbststeuernde rekonfigurierbare bit-serielle Pipelinearchitektur. 1. Dez. 2004 (Details)

Koch, Markus; Reimann, Christian; Paelke, Volker: Exploring Game Space - From Mobile Gaming to Location-Based Mixed-Reality Entertainment. In: GAME-ON 2004 - 5th International Conference on Intelligent Games and Simulation, Gent, Belgien, 25. - 27. Nov. 2004 EUROSIS, EUROSIS-ETI (Details)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm, Ch. (Hrsg.) Languages for System Specification - Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03 Kluwer Academic Publishers, Dordrecht, 4. Nov. 2004 (Details)

Bleul, S.; Müller, Wolfgang; Schäfer, R.: Multimodal Dialog Description for Mobile Devices. In: AVI 2004, Italy, 4. Nov. 2004, Gallipoli (Details)

Schattkowsky, Tim; Loeser, Christoph; Müller, Wolfgang: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Tagungsband der AINA'04, Yokohama, Japan, 4. Nov. 2004, IEEE CS Press (Details)

Schattkowsky, Tim; Müller, Wolfgang: Model-Based Design of Embedded Systems. In: Tagungsband der ISORC04, Wien, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Müller, Wolfgang; Paelke, Volker: A Formal Model of a Framework for Simulation-Based Animation. In: Tagungsband der Simulation and Visualisation 2004, Magdeburg, Erlangen, 4. Nov. 2004, SCS European Publishing House (Details)

Schattkowsky, Tim; Müller, Wolfgang: Model-Based Specification and Execution of Embedded Real-Time Systems. (Interactive Presentation). In: Tagungsband der DATE04, Paris, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Flake, Stephan; Müller, Wolfgang: Past- and Future-Oriented Time-Bound Tempral Properties with OCL. In: Tagungsband der SEFM´04, Beijing, China, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Schattkowsky, Tim; Müller, Wolfgang; Pawlak, A.: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer, L. (Hrsg.) Workflow Handbook 2004, Lighthouse Point, FL, USA, 4. Nov. 2004, WfMC (Details)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: The Echo Cancellation Unit Case Study. In: Mermet, J. (Hrsg.) UML-B System Specification for Proven Electronic Design., 4. Nov. 2004, Kluwer Academic Publishers (Details)

Voros, N.; Müller, Wolfgang; Snook, C.: Introduction to Formal Methods: How They Apply to Embedded Systems. In: Mermet, J. (Hrsg.) UML-B System Specification for Proven Electronic Design, 4. Nov. 2004, Kluwer Academic Publishers (Details)

Zambaldi, Martin; Ecker, Wolfgang; Henftling, Renate; Bauer, Matthias: A Layered Adaptive Verification Platform for Simulation, Test, and Emulation. IEEE Design & Test of Computers: S. 2 - 9, 4. Nov. 2004 (Details)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Tagungsband des DATE04 Designers' Forum, Paris, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Schattkowsky, Tim; Loeser, Christoph; Müller, Wolfgang: Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In: Tagungsband der ICN'04, Guadeloupe, France, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Krupp, Alexander; Müller, Wolfgang: Refinement of Finite State Machines with Complementary Model Checking. In: Mermet, J. (Hrsg.) UML-B System Specification for Proven Electronic Design, 4. Nov. 2004, Kluwer Academic Publishers (Details)

Müller, Wolfgang; Schäfer, R.; Bleul, S.: Interactive Multimodal User Interfaces for Mobile Devices. In: Tagungsband der HICCS-37, Waikoloa, HI, USA, Los Alamitos, USA, 4. Nov. 2004, IEEE CS Press (Details)

Zambaldi, Martin; Ecker, Wolfgang: How to bridge the gap between simulation and test. In: Proceedings of the ITC, Charlotte, NC, 26. - 29. Okt. 2004 (Details)

Oesterdiekhoff, Brigitte: Transcoding von Webinhalten. Informatik Spektrum, 27(5): S. 448-452 2004 (Details)

Ecker, Wolfgang; Esen, Volkan; Steininger, Thomas; Zambaldi, Martin: Mem. Models for the Formal Verif. of Assembler Code Using Bounded Model Checking. In: ISORC, Wien, 28. Okt. 2004 (Details)

Janacik, Peter; Kao, Odej; Rerrer, Ulf: A routing approach using swarm-intelligence for resource sharing in wireless ad hoc networks. In: Proceedings of the International Symposium on Trends in Communications (SYMPOTIC'04), S. 170--174, 24. - 26. Okt. 2004, IEEE Press (Details)

Heimfarth, Tales; Rettberg, Achim: NanoOS - Reconfigurable Operating System for Embedded Mobile Devices. In: International Workshop on Dependable Embedded Systems (WDES), Florianopolis, Brazil, 17. Okt. 2004 (Details)

Rust, Carsten; GrÃ¼newald, Matthias: Petri Net Based Design of a Multi-Robot Scenario - A Case Study. In: IEEE International Conference on Systems, Man and Cybernetics(SMC), The Hague, The Netherlands, 10. - 13. Okt. 2004 (Details)

Kardos, Martin; Rammig, Franz Josef: Model Based Formal Verification of Distributed Production Control Systems. In: Ehrig, Hartmut (Hrsg.) Integration of Software Specification Techniques for Applications in Engineering, LNCS, Nr.3147, S. 451-473. Springer Verlag, 1. Okt. 2004 (Details)

Flake, Stephan; Müller, Wolfgang: An ASM Definition of the Dynamic OCL 2.0 Semantics. In: UML 2004, Lisbon, Portugal, Lecture Notes in Computer Science, 1. Okt. 2004, Springer Verlag (Details)

Burmester, Sven; Gehrke, Matthias; Giese, Holger; Oberthür, Simon: Making Mechatronic Agents Resource-Aware to Enable Safe Dynamic Resource Allocation. In: Fourth ACM International Conference on Embedded Software (EMSOFT'2004), 27. - 29. Sep. 2004 (Details)

Götz, Marcelo: Dynamic Hardware-Software Codesign of a Reconfigurable Real-Time Operating System. In: International Conference on Reconfigurable Computing and FPGAs 2004 (ReConFig04), S. 330-339, 20. - 21. Sep. 2004, Mexican Society of Computer Science, SMCC (Details)

Danne, Klaus: Memory Management to Support Multitasking on FPGA Based Systems. In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig04), 20. - 21. Sep. 2004, Mexican Society of Computer Science, SMCC (Details)

Zambaldi, Martin; Ecker, Wolfgang: Extending the RASSP model for Verification. In: Proceedings of the FDL, Lille, France, 15. Aug. - 17. Sep. 2004 (Details)

Müller, Wolfgang; Zambaldi, Martin; Ecker, Wolfgang; Kruse, Thomas: The Formal Simulation Semantics of SystemVerilog. In: Proceedings of the FDL, Lille, France, 15. - 17. Sep. 2004 (Details)

Jensen, Peter; Ecker, Wolfgang; Kruse, Thomas; Zambaldi, Martin: SystemVerilog: Interface based Design. In: FDL, Lille, France, 15. - 17. Sep. 2004 (Details)

Danne, Klaus: Distributed Arithmetic FPGA Design with Online Scalable Size and Performance. In: Proceedings of 17th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN (SBCCI04), S. 135-140, 7. - 11. Sep. 2004, ACM Press, New York, NY, USA (Details)

Visarius, Markus; Lessmann, Johannes; Kelso, F.; Hardt, Wolfram: Generic Integration Infrastructure for IP based Design Processes and Tools with a Unified XML Format. Integration - the VLSI journal, 37(4): S. 289-321, Sep. 2004 (Details)

Rust, Carsten; Rettberg, Achim: Automatic Synthesis of SystemC-Code from Formal Specifications. In: Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04), Toulouse, 23. - 26. Aug. 2004, Kluwer Academic Publishers (Details)

Rust, Carsten; Rammig, Franz Josef: A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. In: Kleinjohann, Bernd (Hrsg.) Design Methods and Applications for Distributed Embedded Systems, Proc. IFIP TC 10 Conference DIPES 2004, 23. - 26. Aug. 2004 IFIP WG 10.5, Kluwer Academic Publishers (Details)

Oberthür, Simon; Böke, Carsten: Flexible Resource Management - A framework for self-optimizing real-time systems. In: Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04), 23. - 26. Aug. 2004, Kluwer Academic Publishers (Details)

Oesterdiekhoff, Brigitte: Internet Premium Services for Flexible Format Distributed Devices. In: Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04), Toulouse, France, 23. - 26. Aug. 2004, Kluwer Academic Publishers (Details)

Dittmann, Florian; Rettberg, Achim: A Self-Controlled And Dynamically Reconfigurable Architecture. In: Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04), S. 207-216, Toulouse, France, 23. - 26. Aug. 2004, Kluwer Academic Publishers (Details)

De Freitas Francisco, Andre L.; Rettberg, Achim; Hennig, A.: Hardware Design and Protocol Specification for the Control and Communication within a Mechatronic System. In: Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04), Toulouse, 23. - 26. Aug. 2004, Kluwer Academic Publishers (Details)

Koch, Markus; Kleinjohann, Bernd; Schmidt, Andreas; Scheideler, Peter; Saskevic, Alexander; Münch, Eckehard ; Gambuzza, Alfonso ; Oberschelp, Oliver; Hestermeyer, Thorsten: Neuro-Fuzzy Approaches for Self-Optimizing Concepts and Structures of Mechatronic Systems. In: Proceedings of the International Conference on Computing and Control Technologies (CCCT2004), Band 4, Austin, Texas, USA, 14. - 17. Aug. 2004 IIIS (Details)

Kardos, Martin; Zhao, Yuhong: Verification framework for UML-based Design of Embedded Systems. In: Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems(DIPES2004), 1. Aug. 2004 (Details)

Rettberg, Achim; Dittmann, Florian; Zanella, Mauro C.; Lehmann, Thomas: MACT - A Reconfigurable Pipeline Architecture. In: Siemens ICM MP CTO TI, Technology and Inovation (Hrsg.) Technologies-to-Watch, No. 21, S. 15 - 17, München, Germany, Aug. 2004 (Details)

Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim: Design Methods and Applications for Distributed Embedded Systems. Kluwer Academic Publishers, Aug. 2004 (Details)

Zhao, Yuhong: LTL's Intuitive Representations and Its Automaton Translation. In: Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems(DIPES2004), 1. Aug. 2004, Kluwer Academic Publishers, Toulouse, France (Details)

Geiger, Christian; Schmidt, Tim; Stöcklein, Jörg: Rapid Development of Expressive AR Applications. In: IEEE and ACM International Symposium on Mixed and Augmented Reality, Nr.3, S. 292, 2004 IEEE Computer Society (Details)

Geiger, Christian; Schmidt, Tim; Stöcklein, Jörg: Entwicklung virtueller Kreaturen in 3D- und AR-Umgebungen. In: Virtuelle und Erweiterte Realität, 1. Workshop der GI-Fachgruppe VR/AR, Nr.1, S. 253-264, 2004, Shaker Verlag (Details)

Geiger, Christian; Stöcklein, Jörg; Schmidt, Tim: Entwicklung physikbasierter AR_Anwendungen mit Java. In: Augmented & Virtual Reality in der Produktentstehung, Band 149, S. 51-61, 2004, Heinz Nixdorf Institut, Universität Paderborn (Details)

Koch, Markus; Oberschelp, Oliver: Simulation of self optimizing mechatronical systems with expert system knowledge. In: Proceedings of the 5th Asian Control Conference (ASCC 2004), Melbourne, Australia, 20. - 23. Jul. 2004 IEEE (Details)

Stappert, Friedhelm: From Low-Level to Model-Based and Constructive Worst-Case Execution Time Analysis. Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, C-LAB Publication, Band 17, 16. Jul. 2004 (Details)

Stappert, Friedhelm: Petri Net Level WCET Analysis. In: 4th Intl Workshop on Worst-Case Execution Time (WCET) Analysis; in conjunction with the 16th Euromicro Conference on Real- Time Systems, Catania, Sicily, Jun. - Jul. 2004 (Details)

Flake, Stephan: Enhancing the Message Concept of the Object Constraint Language. In: Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2004), Banff, Canada, 20. - 24. Jun. 2004, Knowledge Systems Institute, Skokie, USA (Details)

Pham Van, Tien: Intelligent CAC and Routing for Multi-Point Connections. In: Proceedings of the 5th International Conference on Communications in Computing, S. 194-200, Las Vegas, NV, USA, 21. - 24. Jun. 2004 (Details)

Schattkowsky, Tim; Rettberg, Achim: UML for FPGA Synthesis. In: Proceedings of the UML for SoC Design Workshop, San Diego, CA, 6. Jun. 2004 (Details)

Reimann, Christian; Paelke, Volker; Stichling, Dirk: Foot-based mobile Interaction with Games. In: ACM SIGCHI International Conference on Advances in Computer Entertainment Technology (ACE), Singapore, Jun. 2004 (Details)

Drüke, Isabell; Ditze, Michael; Bernhardi-Grisson, Reinhard: Combining HAVi and OSGi for Remote Control of Consumer Electronic Devices in Heterogeneous Home Networks. In: In Proceedings of the Workshop on Real Time for Multimedia, Catania, Italy, Jun. 2004 (Details)

Flake, Stephan; Pape, Ulrich; Ruf, J.; Müller, Wolfgang: Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, Lecture Notes in Computer Science, Band 3147 Springer Verlag, 28. Mai 2004 (Details)

Kardos, Martin: Model Checking AsmL Specifications (Extended Abstract). , 24. Mai 2004 (Details)

Gausemeier, Jürgen; Müller, Wolfgang; Paelke, Volker; Bauch, Jochen; Shen, Qing; Radkowski, Rafael: Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Marjanovic, Dorian (Hrsg.) Proceedings of the Design 2004 - 8th International Design Conference, Band 1, S. 219-224, Dubrovnik, 18. - 21. Mai 2004 The Design Society (Details)

Rammig, Franz Josef: Autonomic Distributed Real-Time Systems: Challenges and Solutions. In: 7th International Symposium on Object-oriented Real-time Distributed Computing, ISORC 2004, 12. - 14. Mai 2004 IEEE Computer Society, IEEE Computer Society Press (Details)

Meisel, Andre; Visarius, Markus; Hardt, Wolfram; Ihmor, Stefan: Self-Reconfiguration of Communication Interfaces. In: RSP, 15th International Workshop on Rapid System Prototyping, 7. Mai 2004, IEEE Computer Society Press (Details)

Rettberg, Achim; Dittmann, Florian; Lehmann, Thomas; Zanella, Mauro C.: A New High-Level Synthesis Approach of a Synchronous Bit-Serial Architecture. In: Stoffel, Dominik; Kunz, Wolfgang (Hrsg.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, S. 34 - 43, Aachen, 6. Mai 2004, Shaker Verlag (Details)

Koch, Markus; Kleinjohann, Bernd; Schmidt, Andreas; Scheideler, Peter; Saskevic, Alexander; Gambuzza, Alfonso ; Oberschelp, Oliver; Hestermeyer, Thorsten; Münch, Eckehard : Neuro-Fuzzy Approaches for Self-Optimizing Concepts and Structures of Mechatronic Systems. Mai 2004 (Details)

Ihmor, Stefan; Hardt, Wolfram: Runtime Reconfigurable Interfaces - The RTR-IFB Approach. In: Proceedings of the 11th Reconfigurable Architectures Workshop (RAW'04), 26. - 27. Apr. 2004 IEEE Computer Society (Details)

Danne, Klaus; Bobda, Christophe: Dynamic Reconfiguration of Distributed Arithmetic Controllers: Design Space Exploration and Trade-off Analysis. In: Proceedings of the 11th Reconfigurable Architectures Workshop (RAW'04), 26. - 27. Apr. 2004 IEEE Computer Society, IEEE Computer Society Press (Details)

El-Kebbe, Dania Adnan: On Satisfying Real-Time Constraints in Real-Time Manufacturing Systems. In: Proceedings of the 11th Symposium on Information Control Problems in Manufacturing, Salvador, Brasil, 1. Apr. 2004 (Details)

Gerling, Jens; Danne, Klaus; Bobda, Christophe; Schrage, J.: Distributed arithmetics for recursive convolution of optical intercannects. In: EOS Topical Meeting, Optics in Computing (OIC), S. 65-66, Engelberg (Switzerland), Apr. 2004 (Details)

Böke, Carsten: Automatic Configuration of Real-Time Operating Systems and Real Time Communication Systems for Distributed Embedded Applications. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 142, 2004 (Details)

Danne, Klaus: Operating Systems for FPGA Based Computers and Their Memory Management. In: ARCS 2004 Organic and Pervasive Computing, Workshop Proceedings, GI-Edition Lecture Notes in Informatics (LNI), Band P-41, S. 195-204, Bonn, 26. Mrz. 2004 GI LNI, Köllen Verlag (Details)

Bobda, Christophe; Danne, Klaus; Ahmadinia, Ali; Teich, Jürgen: Generation of Distributed Arithmetic Designs for Reconfigurable Applications. In: ARCS 2004 Organic and Pervasive Computing, Workshop Proceedings, Band P-41, Bonn, 26. Mrz. 2004 GI LNI, Köllen Verlag (Details)

Mueck, Bengt; Dangelmaier, Wilhelm; Laroque, Christoph; Fischer, Matthias; Kortenjan, Michael: Guidance of Users in Interactive 3D-Visualisations of Material Flow Simulations. In: Schulz, Thomas; Schlechtweg, Stefan; Hinz, Volkmar (Hrsg.) Simulation and Visualisation 2004, S. 73-83, Magdeburg, 4. - 5. Mrz. 2004, SCS European Publishing House (Details)

Gausemeier, Jürgen; Bauch, Jochen; Radkowski, Rafael; Shen, Qing; Müller, Wolfgang; Paelke, Volker: Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischem Systemen. In: Schulze, Thomas; Schlechtweg, Stefan; Hinz, Volkmar (Hrsg.) Proceedings der Tagung Simulation und Visualisierung 2004, Nr.1, 4. - 5. Mrz. 2004 Otto-von-Guericke Universität Magdeburg (Details)

Zambaldi, Martin; Ecker, Wolfgang; Henftling, Renate: A Tester-Related Simulation Environment. In: GI/ITG/GMM, Dresden, 29. Feb. - 2. Mrz. 2004 (Details)

Zambaldi, Martin; Ecker, Wolfgang: Ein orthogonales Schema für die Klassifikation der Modellierungsabstraktion von digitalen Systemen. In: GI/ITG/GMM, Kaiserslautern, 24. - 25. Feb. 2004 (Details)

Bücker, Markus; Gerling, Jens; Keller, Uwe; Brahm, Michael: Impedanzberechnung flächiger Versorgungssysteme beliebiger Berandung. In: 12. Internationale Fachmesse und Kongress für elektromagnetische Verträglichkeit (EMV 2004), Düsseldorf (Germany), 10. - 12. Feb. 2004 (Details)

Dittmann, Florian; Rettberg, Achim; Lehmann, Thomas; Zanella, Mauro C.: Invariants for Distributed Local Control Elements of a New Synchronous Bit-Serial Architecture. In: Second IEEE International Workshop on Electronic Desing, Test and Applications (DELTA 2004), S. 245-250, Perth, Western Australia, 28. - 30. Jan. 2004 (Details)

Petry Ligocki, Natascha; Rettberg, Achim; Zanella, Mauro C.; Hennig, A.; De Freitas Francisco, Andre L.: Towards a Modular Communication System for FPGAs. In: Second IEEE International Workshop on Electronic Desing, Test and Applications (DELTA 2004), Perth, Western Australia, 28. - 30. Jan. 2004 (Details)

Ditze, Michael; Kämper, G.; Drüke, Isabell; Ernst, Rolf; Bernhardi-Grisson, Reinhard: Service Based Access to Distributed Embedded Devices through the Open Service Gateway. In: In Proceedings of the 2nd IEEE International Conference on , Berlin, Germany, Jan. 2004 (Details)

Flake, Stephan: Towards the Completion of the Formal Semantics of OCL 2.0. In: 27th Conference on Australasian Computer Science (ACSC 2004), Dunedin, New Zealand,, ACM International Conference Proceeding Series, Australian Computer Science Communications, Band 26(1), S. 73-82, Jan. 2004, Australian Computer Science Society, Sydney, Australia (Details)

Janacik, Peter; Kao, Odej; Rerrer, Ulf: An approach combining routing and resource sharing in wireless ad hoc networks using swarm-intelligence. In: Proceedings of the 7th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2004), Venice, Italy, 2004, ACM Press (Details)

Beier, D.; Fründ, Jürgen; Matysczok, Carsten; Reimann, Christian; Rosenbach, W.; Stichling, Dirk: AR-PDA: Ein mobiles Produktpräsentationssystem. In: Keil-Slawik, Reinhard; Selke, Harald; Szwillus, Gerd (Hrsg.) Mensch & Computer 2004: Allgegenwärtige Interaktion., 2004, Oldenbourg Verlag (Details)

Beier, D.; Fründ, Jürgen; Matysczok, Carsten; Reimann, Christian; Rosenbach, W.; Stichling, Dirk: Einsatz der Technologie Augmented Reality zur Präsentation technischer Produkte. In: Müller, Stefan; Brunnett, Guido; Goebel, Martin (Hrsg.) 1. Workshop Erweiterte und Virtuelle Realität, 2004 GI-Fachgruppe AR/VR (Details)

2003

Bobda, Christophe; Danne, Klaus; Ahmadinia, Ali; Teich, Jürgen: A New Approach for Reconfigurable Massively Parallel Computers. In: Proceedings of the International Conference on Field-Programmable Technology (FPT'03), 15. - 17. Dez. 2003 IEEE (Details)

Esau, Natascha; Kleinjohann, Bernd; Kleinjohann, Lisa; Stichling, Dirk: MEXI - Machine with Emotionally eXtended Intelligence: A Software Architecture for Behavior Based Handling of Emotions and Drives.. In: Proceedings of the 3rd International Conference on Hybrid and Intelligent Systems (HIS'03), IEEE Systems, Man and Cybernetics Society, Melbourne, Australia, 1. Dez. 2003 (Details)

Dittmann, Florian: Eine High Level Synthese für eine neue synchrone bitserielle Pipeline-Datenfluss-Architektur.. In: Informatiktage 2003 - Fachwissenschaftlicher Informatik - Kongress, Bad Schussenried, 7. - 8. Nov. 2003, Gesellschaft für Informatik in Zusammenarbeit mit der Computer Zeitung, Konradin-Verlagsgruppe (Details)

Flake, Stephan: Modeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML.. In: 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), S. 580-586, Los Angeles, CA, USA, 1. Nov. 2003, ACTA Press, Calgary, Canada (Details)

Reimann, Christian; Paelke, Volker; Stichling, Dirk: Computer Vision Based Interaction-Techniques for Mobile Games. In: Proceedings of Game-On, London, Nov. 2003 (Details)

Bednara, M.; Danne, Klaus; Deppe, Markus; Oberschelp, Oliver; Slomka, Frank; Teich, Jürgen: Design and Implementation of Digital Linear Control Systems on Reconfigurable Hardware. EURASIP Journal on Applied Signal Processing, (6): S. 594-602 2003 (Details)

Rust, Carsten; Rettberg, Achim; Gossens, Kai: From High-Level Petri Nets to SystemC. In: IEEE International Conference on Systems, Man & Cybernetics, Hyatt Regency, Washington, D.C., USA, 5. - 8. Okt. 2003 (Details)

Flake, Stephan: OclType - A Type or Metatype?. In: Baar, T.; Clark, T.; France, R.; Hähnle, R.; Hussmann, H.; Schmitt:, P.H. (Hrsg.) UML 2003 Workshop OCL 2.0 Industry Standard or Scientific Playground?, Electronic Notes in Theoretical Computer Science, 1. Okt. 2003, Elsevier, Amsterdam, The Netherlands (Details)

Reimann, Christian; Engelin, Martin; Paelke, Volker: Object-Oriented ToolKit for Augmented Reality. In: Proceedings of the 2nd IEEE ARToolkit Workshop, ART03, Tokyo, Japan, Okt. 2003 (Details)

Paelke, Volker; Stöcklein, Jörg; Reimann, Christian; Rosenbach, W.: Supporting User Interface Evaluation of AR Presentation and Interaction Techniques with ARToolkit. In: Proceedings of the 2nd IEEE ARToolkit Workshop, ART03, Tokyo, Japan, Okt. 2003 IEEE (Details)

Rammig, Franz Josef; Rust, Carsten: Modeling of Dynamically Modifiable Embedded Real-Time Systems.. In: 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F), 1. Okt. 2003 (Details)

Flake, Stephan: OclType - A Type or Metatype?. In: UML 2003 Workshop "OCL 2.0 - Industry Standard or Scientific Playground?", Electronic Notes in Theoretical Computer Science, 1. Okt. 2003, Elsevier, Amsterdam, The Netherlands (Details)

Flake, Stephan: Temporal OCL Extensions for Specification of Real-Time Constraints (Position Paper). In: UML 2003 Workshop "Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS'03)", Okt. 2003 (Details)

Flake, Stephan; Müller, Wolfgang: Formal Semantics of Static and Temporal State-Oriented OCL Constraints.. Software and System Modeling (SoSyM), Springer, 2(3): S. 164-186, Okt. 2003 (Details)

Beier, D.; Billert, R.; Brüderlin, B.; Kleinjohann, Bernd; Stichling, Dirk: Marker-less Vision Based Tracking for Mobile Augmented Reality.. In: Proceedings of the Second International Symposium on Mixed and Augmented Reality (ISMAR 2003), Tokyo, Japan, 1. Okt. 2003 (Details)

Liu, W. Y.; Rust, Carsten; Stappert, Friedhelm: A Simulation Platform for Petri Net Models of Dynamically Modifiable Embedded Systems.. In: The European Simulation and Modeling Conference (ESMC 2003), 1. Okt. 2003 (Details)

Rust, Carsten; Stappert, Friedhelm; Schamberger, S.: Integrating Load Balancing into Petri-Net based Embedded System Design.. In: The European Simulation and Modeling Conference (ESMC 2003), 1. Okt. 2003 (Details)

Krupp, Alexander; Müller, Wolfgang: Combining Formal Refinement and Model Checking for Real-Time Systems Verification.. In: FDL'03, Frankfurt, Germany, 24. - 26. Sep. 2003 (Details)

Zhao, Yuhong: Intuitive Representations for Temporal Logic Formulas. In: Proceedings of Forum on Specification & Design Languages (FDL'03), S. 405-413, Frankfurt, Germany, 23. - 26. Sep. 2003 (Details)

Rust, Carsten; Stappert, Friedhelm; Lukovszki, Tamás: A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture.. In: 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, 12. Sep. 2003 (Details)

Rust, Carsten; Stappert, Friedhelm; Künnemeyer, R.: From Timed Petri Nets to Interrupt-Driven Embedded Control Software.. In: International Conference on Computer, Communication and Control Technologies (CCCT 2003), Orlando, Florida, USA, 12. Sep. 2003 (Details)

Rettberg, Achim; Dittmann, Florian; Zanella, Mauro C.; Lehmann, Thomas: Towards a High-Level Synthesis of Reconfigurable Bit-Serial Architectures. In: Proceedings of the 16th Symposium on Integrated Circuits and System Design (SBCCI), Sao Paulo, Brazil, 8. - 11. Sep. 2003 (Details)

Rettberg, Achim; Zanella, Mauro C.; Lehmann, Thomas; Dierkes, Ulrich; Rustemeier, Carsten: Control Development for Mechatronic Systems with a Fully Reconfigurable Pipeline Architecture. In: Proceedings of the 16th Symposium on Integrated Circuits and System Design (SBCCI), Sao Paulo, Brazil, 8. - 11. Sep. 2003 (Details)

Kleinjohann, Bernd; Kleinjohann, Lisa; Stichling, Dirk; Esau, Natascha: MEXI - Machine with Emotionally eXtended Intelligence.. In: Proceedings of the 4th International Scientific and Technical Conference on Intellectual and Multiprocessor Systems (IMS 2003), Gelendzhik, Russia, 1. Sep. 2003 (Details)

Burmester, Sven; Flake, Stephan; Giese, Holger; Schäfer, Wilhelm; Tichy, Matthias: Towards the Compositional Verification of Real-Time UML Designs.. In: Proceedings of the 9th European Software Engineering Conference (ESEC 2003), S. 38-47, Helsinki, Finland, 1. Sep. 2003, ACM Press, New York, NY, USA (Details)

Bobda, Christophe; Danne, Klaus; Linarth, André: Efficient Implementation of the Singular Value Decomposition on a Reconfigurable System. In: Proc. of the International Conference on Field Programmable Logic and Applications (FPL 2003), Lisbon, Portugal, 1. Sep. 2003 (Details)

Danne, Klaus; Bobda, Christophe; Kalte, Heiko: Run-time Exchange of Mechatronic Controllers Using Partial Hardware Reconfiguration. In: Proc. of the International Conference on Field Programmable Logic and Applications (FPL2003), Lisbon, Portugal, 1. Sep. 2003 (Details)

Schaefer, Robbie; Müller, Wolfgang: Adaptive Profiles for Multi-Modal Interaction in Intelligent Environments.. In: Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 1. Aug. 2003 (Details)

Koch, Markus; Rust, Carsten; Kleinjohann, Bernd: Design of Intelligent Mechatronical Systems with High-Level Petri Nets.. In: Proceedings of the 2003 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM2003), Kobe, Japan, 20. - 24. Jul. 2003, IEEE Robotics and Automation (Details)

Bobda, Christophe: Synthesis of Dataflow Graphs for Reconfigurable Systems using Temporal Partitioning and Temporal Placement. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 128, 2003 (Details)

Ermedahl, A.; Stappert, Friedhelm; Engblom, J.: Clustered Calculation of Worst-Case Execution Times. In: International Workshop on Compiler and Architecture Support for Embedded Systems (CASES), 2003 (Details)

Schindelhauer, Christian; Lukovszki, Tamás; Rührup, Stefan; Volbert, Klaus: Worst Case Mobility in Ad Hoc Networks. In: Proc. of the 15th ACM Symposium on Parallel Algorithms and Architectures (SPAA03), 2003 (Details)

Giese, Holger; Flake, Stephan; Schäfer, Wilhelm; Tichy, Matthias; Burmester, Sven; Schilling, Daniela: Towards the Compositional Verification of Real-Time UML Designs. tr-ri-03-241, Jul. 2003 (Details)

Koch, Markus; Rust, Carsten; Kleinjohann, Bernd: Design of Intelligent Mechatronical Systems with High-Level Petri Nets. In: International Conference on Advanced Intelligent Mechatronics (AIM2003), Kobe, Japan, 1. Jul. 2003 IEEE (Details)

Flake, Stephan; Müller, Wolfgang: Semantics of State-Oriented Expressions in the Object Constraint Language.. In: 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), S. 142-149, San Francisco Bay, USA, 1. Jul. 2003, IEEE Computer Society Press (Details)

Kostienko, T.; Müller, Wolfgang; Pawlak, A.; Schattkowsky, Tim: An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.. In: CE 2003, Madeira, Portugal, 1. Jul. 2003 (Details)

Ditze, Michael; Bernhardi-Grisson, Reinhard; Kämper, G.; Altenbernd, Peter: Porting the Internet Protocol to the Controller Area Network.. In: 2nd Intl WORKSHOP ON REAL-TIME LANS IN THE INTERNET AGE (RTLIA 2003), Porto, Portugal, 1. Jul. 2003 (Details)

Stappert, Friedhelm; Rust, Carsten: Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems. In: International Conference on Embedded Systems and Applications (ESA'03), Las Vegas, 23. - 26. Jun. 2003, CSREA Press (Details)

Danne, Klaus; Bobda, Christophe; Kalte, Heiko: Increasing Efficiency by Partial Hardware Reconfiguration: Case Study of a Multi-Controller System. In: Plaks, Toomas (Hrsg.) Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, USA, 23. - 26. Jun. 2003 (Details)

Rettberg, Achim; Zanella, Mauro C.; Lehmann, Thomas; Bobda, Christophe: A New Approach of a Self-Timed Bit-Serial Synchronous Pipeline Architecture. In: Proceedings of the Rapid System Prototyping Workshop, Bahia Hotel, San Diego, CA, USA, 9. - 11. Jun. 2003 (Details)

Ihmor, Stefan; Bastos Jr., Nilson; Klein, Rafael Cardoso; Visarius, Markus; Hardt, Wolfram: Rapid Prototyping of Real-Time Communication - A Case Study: Interacting Robots.. In: Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), 1. Jun. 2003, IEEE Computer Society Press (Details)

Müller, Wolfgang; Ruf, J.; Rosenstiel, W.: An ASM Based SystemC Simulation Semantics.. In: Müller, Wolfgang; Rosenstiel, W.; Ruf, J. (Hrsg.) SystemC - Methodologies and Applications, Dordrecht, 1. Jun. 2003, Kluwer Academic Publishers (Details)

Müller, Wolfgang; Rosenstiel, W.; Ruf, J. (Hrsg.) SystemC - Methodologies and Applications.. Kluwer Academic Publishers, Dordrecht, Jun. 2003 (Details)

Flake, Stephan; Müller, Wolfgang: Expressing Property Specification Patterns with OCL. In: The 2003 International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, Nevada, USA, S. 595-601, Jun. 2003, CSREA Press, Las Vegas, NV, USA (Details)

Lessmann, Johannes: Integration of Tools for IP based Design with a Generic XML Format and Web Services. (Details)

Stichling, Dirk; Kleinjohann, Bernd: Edge Vectorization for Embedded Real-Time Systems using the CV-SDF Model.. In: Proceedings of the 16th International Conference on Vision Interfaces (VI 2003), Halifax, Canada, 1. Jun. 2003 (Details)

Rettberg, Achim; Rammig, Franz Josef; Kleinjohann, Bernd: Low Power Driven High-Level Synthesis for Dedicated Architectures. In: Proceedings of the 11th NASA Symposium VLSI Design, Coeur d Alene Resort, Coeur d Alene, Idaho, USA, 28. - 29. Mai 2003 (Details)

Dittmann, Florian; Kleinjohann, Bernd; Rettberg, Achim: Efficient Bit-Serial Constant Multiplication for FPGAs. In: Proceedings of the 11th NASA Symposium VLSI Design, Coeur d Alene Resort, Coeur d Alene, Idaho, USA, 28. - 29. Mai 2003 (Details)

Glässer, Uwe; Gotzhein, R.; Prinz, A.: The formal semantics of SDL-2000: Status and perspectives. Computer Networks 42, Elsevier Science B. V.: S. 343-358, 19. Mai 2003 (Details)

Pereira, Carlos E.; Götz, Marcelo: A Scheduling Co-processor for Linux-based Real-Time Embedded Systems.. In: Proc. 27th Workshop on Real-Time Programming (WRTP 2003), IFAC/IFIP/IEEE, S. 173-178, 14. - 17. Mai 2003 (Details)

Heimfarth, Tales; Götz, Marcelo; Rammig, Franz Josef; Wagner, F. R.: RTC: A Real-time Communication Middleware on Top of RTAI-Linux. In: Puschner, Peter; Nakajima, Tatsuo; Ghafoor, Arif (Hrsg.) The Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), S. 19-25, Hakodate, Hokkaido, Japan, 14. - 16. Mai 2003 (Details)

Flake, Stephan; Müller, Wolfgang: Formal Semantics of OCL Messages. In: Baar, T.; Clark, T.; France, R.; Hähnle, R.; Hussmann, H.; Schmitt:, P.H. (Hrsg.) UML 2003 Workshop "OCL 2.0 - Industry standard or scientific playground?", Electronic Notes in Theoretical Computer Science, 2003, Elsevier, Amsterdam, The Netherlands (Details)

Koch, Markus; Kleinjohann, Bernd; Oberschelp, Oliver: Agentenbasierte Regler - Verhaltensbasierte Selbstoptimierung. In: GI Interdisciplinary College (IK2003), 1. Mai 2003 (Details)

Esau, Natascha; Kleinjohann, Bernd; Kleinjohann, Lisa; Stichling, Dirk: VisiTrack - Video Based Incremental Tracking in Real-Time.. In: Proceedings of the 6th IEEE International Symposium on Object-oriented Real-time Computing (ISORC '03), Hakodate, Japan, 1. Mai 2003 (Details)

El-Kebbe, Dania Adnan: Hybrid Real-Time Task Scheduling Upon Multiprocessor Platforms Using Server Techniques.. In: 6th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'03), Hakodate, Japan, Mai 2003 (Details)

Schattkowsky, Tim; Müller, Wolfgang: Distributed Engineering Environment for the Design of Electronic Systems.. In: CCE'03, Poznan, Poland, 15. - 16. Apr. 2003 (Details)

Müller, Wolfgang; Wang, Jinghua: JavaCard-Enabled Smart Cards for Collaborative Engineering Environments.. In: CCE'03, Poznan, Poland, 15. - 16. Apr. 2003 (Details)

Visarius, Markus; Lessmann, Johannes; Hardt, Wolfram; Kelso, F.; Thronicke, Wolfgang: An XML Format based Integration Infrastructure for IP based Design. In: Proceedings of the 16th Symposium on Integrated Circuits and Systems Design (SBCCI), São Paulo, Brazil, 2003 (Details)

Rettberg, Achim; Zanella, Mauro C.; Bobda, Christophe; Lehmann, Thomas: A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems. In: Proceedings of the Design Automation and Test Conference (DATE), Messe Munich, Munich, Germany, 3. - 7. Mrz. 2003 (Details)

Eikerling, Heinz-Josef; Müller, Wolfgang; Schattkowsky, Tim; Wegner, J.: Dynamic Tool Integration in Heterogeneous Computer Networks.. In: DATE 03, Munich, 3. - 7. Mrz. 2003 (Details)

Kardos, Martin; Nickel, Ulrich: ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction (extended abstract).. In: Workshop on Abstract State Machines (ASM 2003), Taormina, Italy, 1. Mrz. 2003 (Details)

Krupp, Alexander; Müller, Wolfgang: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.. In: Proceedings of "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Bremen, 1. Mrz. 2003, Shaker Verlag (Details)

Ihmor, Stefan; Visarius, Markus; Hardt, Wolfram: Modeling of Configurable HW/SW-Interfaces.. In: Drechsler, Rolf (Hrsg.) RSS 2003, S. 51-60, 1. Feb. 2003, Shaker Verlag (Details)

Pereira, Carlos E.; Götz, Marcelo: Architectural Solutions for Enhancing the Real-Time Behaviour of Distributed Embedded Systems.. In: Proc. Workshop on Object-Oriented Read-Time Dependable Systems (WORDS 2003), IEEE, S. 164-168, 15. - 17. Jan. 2003 (Details)

Visarius, Markus; Lessmann, Johannes; Amelunxen, Carsten; Ihmor, Stefan; Hardt, Wolfram: Initial IPQ Toolbox Implementation.. TR-IPL-2003-01, IPL, Jan. 2003 (Details)

Böke, Carsten; Götz, Marcelo; Heimfarth, Tales; El-Kebbe, Dania Adnan; Rammig, Franz Josef; Rips, Sabina: (Re-) Configurable Real-time Operating Systems and Their Applications. In: Proc. WORDS 2003, IEEE, 1. Jan. 2003 (Details)

Loeser, Christoph; Müller, Wolfgang; Berger, Frank; Eikerling, Heinz-Josef: Peer-to-Peer Networks for Virtual Home Environments.. In: HICCS-36, Hawaii, USA, 1. Jan. 2003 (Details)

2002

Stichling, Dirk; Kleinjohann, Bernd: CV-SDF - A model for Real-Time Computer Vision Applications. In: IEEE Workshop on Application of Computer Vision, Orlando, Florida, Dez. 2002 IEEE (Details)

Glässer, Uwe; Veanes, M.: Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines. In: Proc. of IFIP World Computer Congress, Distributed and Parallel Embedded Systems (DIPES), 2002, Kluwer Academic Publishers (Details)

Zhao, Yuhong; Ai, Bo: Build Basic ASM Model from SDL Specification. In: Proc. of International Conference on Telecommunications(ICT'02), Bejing, China, S. 112-116, 2002 (Details)

Glässer, Uwe; Gurevich, Y.; Veanes, M.: High-level Executable Specification of the Universal Plug and Play Architecture. In: Proc. of 35th Hawaii International Conference on System Sciences (HICSS-35), Software Technology Track, Domain-Specific Languages for Software Engineering, 2002 IEEE (Details)

Zanella, Mauro C.; Lehmann, Thomas; Hestermeyer, Thorsten; Pottharst, Andreas: Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a. In: World Computer Congress, Stream 7, DIPES, Montreal, 2002 (Details)

Benczúr, A.; Glässer, Uwe; Lukovszki, Tamás: Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. In: Börger, E.; Ricconene, E. (Hrsg.) In Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002, Springer Verlag (Details)

Ihmor, Stefan; Visarius, Markus; Hardt, Wolfram: A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems.. In: Proceedings of the IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems, S. 237-246, 2002, Kluwer Academic Publishers (Details)

Stichling, Dirk; Kleinjohann, Bernd: CV-SDF - A Synchronous Data Flow Model for Real-Time Computer Vision Applications. In: Proceedings of the 9th International Workshop on Systems, Signals and Image Processing (IWSSIP'02), Manchester, United Kingdom, Nov. 2002 (Details)

Stichling, Dirk; Kleinjohann, Bernd: Low Latency Color Segmentation on Embedded Real-Time Systems. In: Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Design and Analysis of Distributed Embedded Systems, Nov. 2002, Kluwer Academic Publishers (Details)

Eikerling, Heinz-Josef; Müller, Wolfgang; Wegner, J.: Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. it+ti, 3, Nov. 2002 (Details)

Müller, Wolfgang; Dömer, Rainer; Gerstlauer, A.: The Formal Execution Semantics of SpecC. In: International Symposium on System Synthesis, Kyoto, Japan, 2. - 4. Okt. 2002 (Details)

Flake, Stephan; Müller, Wolfgang: A UML Profile for Real-Time Constraints with the OCL. In: Jezequel, J.-M.; Hussmann, H.; Cook, S. (Hrsg.) UML 2002 - The Unified Modeling Language, LNCS, Nr.2460, Dresden, Germany, 30. Sep. - 4. Okt. 2002, Springer Verlag (Details)

El-Kebbe, Dania Adnan: Real-Time Aperiodic Scheduling Upon Multiprocessor Production Stages. In: Proc. of the International Information Technology Symposium, Florianopolis, Brasil, Okt. 2002 (Details)

Bobda, Christophe; Steenbock, Nils: A Rapid Prototyping Environment for Distributed Reconfigurable Systems. In: 13th IEEE International Workshop On Rapid System Prototyping(RSP'02), Darmstadt Germany, Okt. 2002 (Details)

Rust, Carsten; Stappert, Friedhelm; Bernhardi-Grisson, Reinhard: Petri Net Based Design of Reconfigurable Embedded Real-Time Systems. In: Distributed And Parallel Embedded Systems, S. 41-50, Okt. 2002 (Details)

Bobda, Christophe: Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems. In: Kleinjohann, Bernd; Kleinjohann, Bernd; Rettberg, Achim (Hrsg.) Proceedings of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada, S. 185-194, Okt. 2002 (Details)

Visarius, Markus; Lessmann, Johannes; Ihmor, Stefan; Hardt, Wolfram: IPQ Format based Retrieval.. In: MEDEA + Design Automation Conference - Demonstration and Poster Exhibition, Stresa, Italy, Okt. 2002 (Details)

Bobda, Christophe: IP Based Synthesis of Reconfigurables Systems. In: Tenth ACM International Symposium on Field Programmable Gate Arrays(FPGA 02), S. 248, Monterey, California, Okt. 2002 (Details)

Benczúr, A.; Lukovszki, Tamás: A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing.. Technical report tr-ri-02-213, Paderborn, Germany, 2002 (Details)

Ihmor, Stefan; Visarius, Markus; Hardt, Wolfram: A Design Methodology for Application-specific Real-Time Interfaces.. In: Proceedings of 2002 IEEE International Conference on Computer Design (ICCD): VLSI in Computers & Processors, IEEE International Conference on Computer Design, Freiburg, Germany, Sep. 2002 (Details)

Schaaf, Martin; Visarius, Markus; Bergmann, Ralph; Maximini, Rainer; Spinelli, Marco; Lessmann, Johannes; Hardt, Wolfram; Ihmor, Stefan; Thronicke, Wolfgang; Franz, Jasmin; Tautz, Carsten; Traphöner, Ralph: IPCHL - A Description Language for Semantic IP Characterization.. In: FDL 2002, Marseille, France, Sep. 2002 (Details)

GrÃ¼newald, Matthias; Lukovszki, Tamás; Schindelhauer, Christian; Volbert, Klaus: Distributed Maintenance of Resource Efficient Wireless Network Topologies. In: Proceedings of the 8th International Euro-Par Conference, S. 935-946, Paderborn, Germany, 27. - 30. Aug. 2002 (Details)

Rettberg, Achim; Kleinjohann, Bernd; Rammig, Franz Josef: Integration of Low Power Analysis into High-Level Synthesis. In: Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Design and Analysis of Distributed Embedded Systems, Montreal, Canada, 25. - 30. Aug. 2002, Kluwer Academic Publishers (Details)

Rettberg, Achim; Thronicke, Wolfgang: How to integrate Webservices in Embedded System Design?. In: Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim (Hrsg.) Design and Analysis of Distributed Embedded Systems, Montreal, Canada, 25. - 30. Aug. 2002, Kluwer Academic Publishers (Details)

Plomp, J.; Schäfer, R.; Müller, Wolfgang; Yli-Nikkola, Heli: Comparing Transcoding Tools for Use with a Generic User Interface Format. In: Extreme Markup Languages 2002, Montreal, Canada, 4. - 9. Aug. 2002 (Details)

Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim: Design and Analysis of Distributed Embedded Systems. Kluwer Academic Publishers, Aug. 2002 (Details)

Visarius, Markus; Lessmann, Johannes; Kelso, F.; Hardt, Wolfram; Amelunxen, Carsten; Scholand, A.; Ihmor, Stefan: Definition of the IPQ Format with Respect to Specialized Description Features. TR-IPL-2002-04, IPL, Paderborn, Aug. 2002 (Details)

Kardos, Martin; Nickel, Ulrich; Giese, Holger: Towards Design Verification and Validation at Multiple Levels of Abstraction. In: Kleinjohann, Bernd; Rettberg, Achim (Hrsg.) Design and Analysis of Distributed Embedded Systems, Band 1, Montreal, Canada, Aug. 2002 (Details)

Loeser, Christoph; Altenbernd, Peter; Ditze, Michael; Müller, Wolfgang: Distributed Video-on-Demand Services on Peer to Peer Basis. In: Int. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), Jun. 2002 (Details)

Rammig, Franz Josef: OCL Goes Real-Time. In: The 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, S. 423-424, Washington, DC, USA, 29. Apr. - 1. Mai 2002 (Details)

Glässer, Uwe; Gurevich, Y.; Veanes, M.: An Abstract Communication Model. MSR-TR-2002-55, Mai 2002 (Details)

Chivukula, Rama Krishna Prasad; Böke, Carsten; Rammig, Franz Josef: Customizing the Configuration Process of an Operating System Using Hierarchy and Clustering. In: Proc. of 5th IEEE Intl. Symposium on Object-oriented Real-time distributed Computing (ISORC), S. 280-287, Crystal City, VA, USA, 29. Apr. - 1. Mai 2002 IFIP WG 10.5 (Details)

Oberschelp, Oliver; Hestermeyer, Thorsten; Kleinjohann, Bernd; Kleinjohann, Lisa: Design of Self-Optimizing Agent-Based Controllers. In: CfP Workshop 2002 - Agent-Based Simulation 3, Passau, 7. - 9. Apr. 2002 Chair of Operations Research and System Theory University of Passau (Details)

Flake, Stephan: Real-Time Constraints with the OCL. In: 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC2002), Crystal City, VA, USA, Apr. 2002 IEEE (Details)

Oberschelp, Oliver; Hestermeyer, Thorsten; Kleinjohann, Bernd; Kleinjohann, Lisa: Design of Self-Optimizing Agent-Based Controllers. In: Urban, Christoph (Hrsg.) Workshop 2002: Agent Based Simulation 3 Proceedings, Passau, Germany, Apr. 2002 SCS and ASIM, SCS European Publishing House (Details)

Flake, Stephan; Müller, Wolfgang: Temporale Erweiterungen der OCL - Überblick und Aussichten. In: 2nd Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, Halle (Saale), Germany, Apr. 2002 (Details)

Darnedde, C.; Flake, Stephan; Müller, Wolfgang; Pape, Ulrich: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: Dangelmaier, Wilhelm; Emmrich, Andreas; Kaschula, Daniel (Hrsg.) Proceedings 4. Paderborner Frühjahrstagung 2002, ALB-HNI-Verlagsschriftenreihe, 2002 (Details)

El-Kebbe, Dania Adnan: Towards the MaSHReC Manufacturing System under Real-Time Constraints. Paderborn University, Germany, Apr. 2002 (Details)

El-Kebbe, Dania Adnan: Predictable Multiprocessor Scheduling in Manufacturing Systems undelying Hard Real-Time Constraints. In: Workshop on On-line Planning and Scheduling, Toulouse, France, Apr. 2002 (Details)

Kardos, Martin; Nickel, Ulrich; Giese, Holger: Integrating Verification in a Design Process for Distributed Production Control Systems. In: Ehrig, Hartmut; Grosse-Rhode, Martin (Hrsg.) Integration of Software Specification Techniques(INT2002), Grenoble, France, Apr. 2002 (Details)

Visarius, Markus; Lessmann, Johannes; Ihmor, Stefan; Hardt, Wolfram: IP Qualifying Format.. In: Poster Session of the German Workshop on Entwurfsplattformen komplexer angewandter Systeme und Schaltungen (EkompaSS), Bonn, Germany, Apr. 2002 (Details)

Dangelmaier, Wilhelm; Darnedde, C.; Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Zabel, Henning: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: 4. Paderborner Frühlingstagung, Paderborn, Germany, Apr. 2002, ALB-HNI-Verlagsschriftenreihe (Details)

Rettberg, Achim; Hennig, A.; Kleinjohann, Bernd: Re-Configurable Multiplier Units of the Asynchronous FLYSIG Architecture. In: Proceedings of the 10th NASA Symposium VLSI Design, Albuquerque, New Mexico, USA, 20. - 21. Mrz. 2002 (Details)

Rettberg, Achim; Kleinjohann, Bernd; Rammig, Franz Josef: Integration von Steuerungsmechanismen zur Leistungseinsparung in die High-Level Synthese. In: Proceedings of DFG Berichtskolloquium, Chemnitz, Germany, 19. - 20. Mrz. 2002 (Details)

Rettberg, Achim; Thronicke, Wolfgang: Embedded System Design based on Webservices. In: Proceedings of the Design Automation and Test in Europe Conference (DATE), Le Palais des Congres, Paris, France, 4. - 8. Mrz. 2002 (Details)

Büker, U.; Eikerling, Heinz-Josef; Müller, Wolfgang (Hrsg.) Proceedings of the VHE Workshop. , Paderborn, Germany, Mrz. 2002, Shaker Verlag (Details)

Lehmann, Thomas: Towards Device Driver Synthesis. Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 113, 2002 (Details)

El-Kebbe, Dania Adnan: Towards the MaSHReC Manufacturing System under Real-Time Constraints. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 117, 2002 (Details)

Lehmann, Thomas; Zanella, Mauro C.: Modeling and Software Synthesis of Interrupt Systems. In: GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Tübingen, Germany, Feb. 2002 (Details)

Flake, Stephan; Müller, Wolfgang: An OCL Extension for Real-Time Constraints. In: Clark, T.; Warmer, J. (Hrsg.) Object Modeling with the OCL, LNCS, Nr.2263, Heidelberg, Germany, Feb. 2002, Springer Verlag (Details)

Schäfer, R.; Dangberg, A.; Müller, Wolfgang: RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: Proceedings of ITEA VHE Workshop, Paderborn, Germany, Feb. 2002 (Details)

Rammig, Franz Josef: Synthesis Aspects of the PARADISE Design Environment. In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), S. 26-33, San Diego, CA, USA, 7. - 9. Jan. 2002 (Details)

Visarius, Markus; Hardt, Wolfram; Ihmor, Stefan; Lessmann, Johannes: IPQ Format: Concepts and Implementation.. In: Proc. of the Int. Workshop of the MEDEA + Project A-511 ToolIP, Madrid, Spain, Jan. 2002 (Details)

Visarius, Markus; Lessmann, Johannes; Ihmor, Stefan; Hardt, Wolfram; Thronicke, Wolfgang: Specification of a Toolbox for the IP Qualifying Format.. TR-IPL-2002-03, IPL, Paderborn, Jan. 2002 (Details)

Visarius, Markus; Lessmann, Johannes; Ihmor, Stefan; Hardt, Wolfram: Definition of the IP Qualifying Format.. TR-IPL-2002-02, IPL, Paderborn, Jan. 2002 (Details)

Visarius, Markus; Lessmann, Johannes; Ihmor, Stefan; Hardt, Wolfram: Validation of the Requirements on the IP Qualifying Format.. TR-IPL-2002-01, IPL, Paderborn, Jan. 2002 (Details)

Flake, Stephan; Müller, Wolfgang: Specification of Real-Time Properties for UML Models. In: Proceedings of the Hawai'i International Conference on System Sciences (HICSS-35), Hawaii, USA, Jan. 2002 IEEE (Details)

Schäfer, R.; Müller, Wolfgang; Dangberg, A.: Fuzzy Rules for the Transcoding of HTML Files. In: Proceedings of the Hawai'i International Conference on System Sciences (HICSS-35), Hawaii, USA, Jan. 2002 IEEE (Details)

2001

Rammig, Franz Josef: Entwurf Eingebetteter Realzeitsysteme. In: Nordrhein-Westfälische Akademie der Wissenschaften, 7. Nov. 2001, erscheint im Westdeutschen Verlag (Details)

Ihmor, Stefan: Entwurf von Echtzeitschnittstellen am Beispiel interagierender Roboter.. (Details)

Hardt, Wolfram; Visarius, Markus; Ihmor, Stefan: Rapid Prototyping of Real-Time Interfaces.. In: Field Programmable Logic (FPL) - Poster Session, Belfast, Northern Ireland, UK, Okt. 2001 (Details)

Dangberg, A.; Müller, Wolfgang: Generation of Interactive Visual Interfaces for Resource Management. In: Proceedings of the International Congress on Information Science Innovations in Intelligent Automated Manufacturing, Dubai, United Arab Emirates, 2001 (Details)

Flake, Stephan; Geiger, Christian; Müller, Wolfgang; Paelke, Volker; Rosenbach, W.; Ruf, J.: Customer-Oriented Systems Design through Virtual Prototypes. In: Proceedings of 10th Int. IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'01), Cambridge, MA, USA, 2001 (Details)

Glässer, Uwe; Gurevich, Y.; Veanes, M.: Universal Plug and Play Machine Models. Microsoft Research Technical Report, MSR-TR-2001-59, 2001 (Details)

Eschbach, R.; Glässer, Uwe; Gotzhein, R.; von Löwis, M.; Prinz, A.: Formal Definition of SDL-2000: Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science, Special Issue on Abstract State Machines - Theory and Applications 2001 (Details)

Müller, Wolfgang; Dömer, Rainer; Gerstlauer, A.: The Formal Execution Semantics of SpecC. Technical Report TR-ICS-01-59, Irvine, USA, 2001 (Details)

Bobda, Christophe; Steenbock, Nils: Singular Value Decomposition on Distributed Reconfigurable Systems. In: 12th IEEE International Workshop on Rapid System Prototyping, Monterey, California, USA, 2001 (Details)

Stappert, Friedhelm; Ermedahl, A.; Engblom, J.: Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects. In: International Workshop on Compiler and Architecture Support for Embedded Systems (CASES'01), Atlanta, Georgia, 2001 (Details)

Bauer, M.; Eikerling, Heinz-Josef; Müller, Wolfgang; Pawlak, A.; Siekierska, K.; Soderberg, D.; Warzee, X.: Advanced Infrastructure for PAN-European Collaborative Engineering. In: The e-Buisness and e-Work Conference and Exhibition, Venice, Italy, 2001 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Tellmann, R.: Security Concepts for Agent-Based Systems. In: SCASE 01, Enschede, Netherlands, 2001 (Details)

Flake, Stephan; Geiger, Christian; Küster, J.M.: Towards UML-based Analysis and Design of Multi-Agent Systems. In: Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai, United Arab Emirates, 2001 (Details)

Fründ, Jürgen; Geiger, Christian; Grafe, Michael; Kleinjohann, Bernd: The Augmented Reality Personal Digital Assistant. In: Proceedings of the International Conference on Mixed Reality, Yokohama, Japan, 2001 (Details)

Engblom, J.; Ermedahl, A.; Stappert, Friedhelm: A Worst-Case Execution-Time Analysis Tool Prototype for Embedded Real-Time Systems. In: Workshop on Real-Time Tools (RTTOOLS'2001), affiliated to CONCUR'2001, Aalborg, Denmark, 2001 (Details)

Müller, Wolfgang; Ruf, J.; Hoffmann, D.; Gerlach, J.; Kropf, T.; Rosenstiel, W.: The Simulation Semantics of SystemC. In: Proceedings of Design, Automation and Test in Europe (DATE 2001), Munich, Germany, 2001 (Details)

Flake, Stephan; Müller, Wolfgang: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. In: DFG-Workshop Ablaufmodellierungen in ingenieurwissenschaftlichen Anwendungen, Berlin, 2001 (Details)

Rammig, Franz Josef; Rettberg, Achim: Collaborative Design of Embedded Hardware/Software Components with the Distributed PARADISE Environment. In: DFG SPP KONDISK/SPEZI/ES/RP Workshop, Modelltransformation und Werkzeugkopplung, TU Braunschweig, 2001 (Details)

Lehmann, Thomas; Schreckenberg, A.: Case Study of Integration of Reconfigurable Logic as a Coprocessor into a SCI-Cluster under RT-Linux. In: FPL 2001, Belfast, Irland, 2001 (Details)

Lehmann, Thomas; Gielow, R.; Zanella, Mauro C.; Robrecht, M.; Horsthemke, Volker; Fransisco de Freitas, A.: RABBIT - A Modular Rapid-Prototyping Platform for Distributed Mechatroinc Systems. In: SBCCI 2001, Pirenópolis, Brazil, 2001 (Details)

Hardt, Wolfram; Lehmann, Thomas; Visarius, Markus: Towards a Design Methodology Capturing Interface Synthesis. In: ITG/GI/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Meißen, 2001 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Tellmann, R.: Security Concepts for Agent-Based Systems. In: SCASE 01, Enschede, Netherlands, 2001 (Details)

Engblom, J.; Ermedahl, A.; Stappert, Friedhelm: Validating a Worst-Case Execution Time Analysis Method for an Embedded Processor. Uppsala University, Dept. of Information Technology Technical Report 2001-030, 2001 (Details)

Flake, Stephan; Müller, Wolfgang: An OCL Extension for Real-Time Constraints. In: Clark, T.; J.Warmer, J (Hrsg.) Object Modelling with the OCL, LNCS, Band 2263 Springer-Verlag, 2001 (Details)

Rust, Carsten; Kleinjohann, Bernd: Modelling Intelligent Embedded Real-Time Systems using High-Level Petri Nets. In: Proceedings of the Forum on Design Languages (FDL'01), Lyon, France, 2001 (Details)

Rust, Carsten; Tacken, Jürgen; Böke, Carsten: Pr/T-Net based Seamless Design of Embedded Real-Time Systems. In: Proceedings of the International Conference on Application and Theory of Petri Nets (ICATPN '01), Newcastle upon Tyne, U.K., 2001, Springer-Verlag (Details)

Lukovszki, Tamás; Maheshwari, A.; Zeh, N.: I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems. In: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001, Springer-Verlag (Details)

Börger, E.; Glässer, Uwe (Hrsg.) Abstract State Machines 2001: New Developments and Applications. , 2001 Journal of Universal Computer Science, Special Issue on Abstract State Machines - Theory and Applications, Springer-Verlag (Details)

El-Kebbe, Dania Adnan: Aperiodic Scheduling in a Dynamic Real-Time Manufacturing System. In: Proceedings of the IEEE Workshop on Real-Time Embedded Systems, London, U.K., 2001 (Details)

El-Kebbe, Dania Adnan: A Real-Time Holon-Based Architecture for the Production Planning System: Further Results. In: Proceedings of the Workshop on Agent Based Simulation II, Passau, Germany, 2001 (Details)

El-Kebbe, Dania Adnan: A UML Model for the MaSHReC Architecture. In: Proceedings of the International Congress on Information Science Innovations in Intelligent Automated Manufacturing, Dubai, United Arab Emirates, 2001 (Details)

El-Kebbe, Dania Adnan: Findings from Adapting Real-Time Aperiodic Scheduling under Dynamic Priority Systems to Production Planning and Control. In: Proceedings of the 8th IEEE Conference on Emerging Technologies and Factory Automation, Antibes, France, 2001 (Details)

El-Kebbe, Dania Adnan: Scheduling of Manufacturing Systems under Hard Real-Time Constraints. In: Proceedings of the 2001 IEEE Systems, Man and Cybernetics Conference, Tucson, Arizona, USA, 2001 (Details)

Rettberg, Achim; Kleinjohann, Bernd: A Fast Asynchronous Re-configurable Architecture for Multimedia Applications. In: Proceedings of the 14th Symposium on Integrated Circuits and System Design (SBCCI 2001), Pirenópolis, GO, Brazil, 10. - 15. Sep. 2001 (Details)

Rettberg, Achim; Thronicke, Wolfgang: Collaborative Design for Embedded Hardware/Software Components with the Distributed PARADISE Environment. In: Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, Floriada, USA, 22. - 25. Jul. 2001 (Details)

Fründ, Jürgen; Geiger, Christian; Grafe, Michael; Kleinjohann, Bernd: AR-PDA - Ein mobiles Produktinformationssystem für den Massenmarkt. ZWF Zeitschrift für den wirtschaftlichem Fabrikbetrieb 2001 (Details)

Rettberg, Achim; Thronicke, Wolfgang: The Distributed PARADISE Environment for Collaborative Design of Embedded Hardware Components. In: Proceedings of the 8th European Concurrent Engineering Conference (ECEC 2001), Valencia, Spain, 18. - 20. Apr. 2001 (Details)

Müller, Wolfgang; Ruf, J.; Hoffmann, D.; Gerlach, J.; Kropf, T.; Rosenstiel, W.: The Simulation Semantics of SystemC. In: Design, Automation and Test in Europe (DATE 2001), Munich, Germany, Mrz. 2001 (Details)

Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Ruf, J.: Analyzing Time Constraints in Flexible Manufacturing Systems. In: International NAISO Symposium on Information Science Innovations in Intelligent Automated Manufacturing (IAM'2001), 2001 (Details)

Geiger, Christian; Kleinjohann, Bernd; Reimann, Christian; Stichling, Dirk: Mobile AR4ALL. In: 2nd IEEE and ACM International Symposium on Augmented Reality (ISAR 2001), USA, 2001 (Details)

Fründ, Jürgen; Geiger, Christian; Grafe, Michael; Kleinjohann, Bernd: The Augmented Reality Personal Digital Assistant. In: The 2nd International Symposium on Mixed Reality ISMR2001, The Virtual Reality Society of Japan, Japan, 2001 (Details)

Geiger, Christian; Kleinjohann, Bernd; Reimann, Christian; Stichling, Dirk; Rosenbach, W.: Interaktive VR/AR-Inhalte auf mobilen Endgeräten. In: Proceedings GI Tagung, Informatik 2001 Workshop 22, Synergien zwischen virtueller Realität und Computerspielen: Anforderungen, Design, Technologien, Wien, Austria, 2001 (Details)

Rammig, Franz Josef: HW/SW Co-Design for Automotive Systems. In: Proc. 4th IEEE ISORC, Magdeburg, 2001 (Details)

Müller, Wolfgang; Meyer, A.; Zabel, Henning: A Language for the Rapid Prototyping of Mobile Evolving Agents. In: Hawaii International Conference On System Sciences, Maui, USA, Jan. 2001 (Details)

2000

Flake, Stephan: Eliminating Qualifier and Association Class Ambiguities from OCL. In: Workshop UML 2.0: The Future of the UML Object Constraint Language (OCL), York, UK, Okt. 2000 (Details)

Del Castillo, Giuseppe; Glässer, Uwe: Computer-Aided Analysis and Validation of Heterogeneous System Specifications. In: Pichler, F.; Moreno-Diaz, R.; Kopacek, P. (Hrsg.) Computer Aided Systems Theory, Proceedings of the 7th International Workshop on Computer Aided Systems Theory (EUROCAST 1999), LNCS, Band 1796, S. pp. 55-79, 2000, Springer-Verlag (Details)

Eschbach, R.; Glässer, Uwe; Gotzhein, R.; Prinz, A.: On the Formal Semantics of SDL-2000: A Compilation Approach based on an Abstract SDL Machine. In: Gurevich, Y.; Odersky, M.; Kutter, P.; Thielemann, Frank (Hrsg.) International Workshop on Abstract State Machines (ASM 2000), LNCS, Band 1912, 2000, Springer-Verlag (Details)

Govindarajan, S.; Lukovszki, Tamás; Maheshwari, A.; Zeh, N.: I/O-Efficient Well-Separated Pair Decomposition and its Applications. (Extended Abstract). In: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, Springer-Verlag (Details)

Flake, Stephan: Eliminating Qualifier and Association Class Ambiguities from OCL. In: Workshop UML 2.0: The Future of the UML Object Constraint Language (OCL), York, UK, 2000 (Details)

Flake, Stephan; Müller, Wolfgang; Ruf, J.: Structured English for Model Checking Specification. In: GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen in Frankfurt, Berlin, 2000, VDE Verlag (Details)

Hardt, Wolfram; Kleinjohann, Bernd; Rettberg, Achim: Rapid Prototyping for Real-Time Systems. In: Proceedings of the 3rd Workshop on System Design Automation (SDA 2000), GI, GMM, ITG and IEEE, Rathen, Germany, 2000 (Details)

Hardt, Wolfram; Kleinjohann, Bernd; Rettberg, Achim: The FLYSIG Prototyping Approach. In: Proceedings of the 11th IEEE Workshop on Rapid System Prototyping (RSP 2000), France, 2000 (Details)

Kleinjohann, Bernd; Rust, Carsten; Tacken, Jürgen: Entwurf von autonomen Systemen mit High Level Petrinetzen. In: Proceedings of the 16. Fachgespräch Autonome Mobile Systeme (AMS 2000), Karlsruhe, Germany, 2000, Springer Verlag (Details)

Rettberg, Achim; Kleinjohann, Bernd; Hardt, Wolfram: Using Activation Intervals for Low Power Analysis. In: Proceedings of the 9th NASA Symposium on VLSI, Albuquerque, 2000 (Details)

Rettberg, Achim; Rammig, Franz Josef; Gerstlauer, A.; Gajski, D.; Hardt, Wolfram; Kleinjohann, Bernd: The Specification Language SpecC within the PARADISE Design Environment. In: Proceedings of the International IFIP WG10.3/WG10.4/WG10.5 and GI Workshop on Distributed Parallel Embedded Systems (DIPES'00), Paderborn, Germany, 2000 (Details)

Rust, Carsten; Stappert, Friedhelm; Altenbernd, Peter; Tacken, Jürgen: From High-Level Specifications down to Software Implementations of Parallel Embedded Real-Time Systems. In: Proceedings Design, Automation & Test in Europe (DATE), Paris, France, 2000 (Details)

Stappert, Friedhelm; Altenbernd, Peter: Complete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time Programs. Journal of System Architecture, 46(4): S. pp. 339-355 2000 (Details)

Rammig, Franz Josef: Web-based System Design with Components Off the Shelf (COTS). In: Proceedings FDL'2000, 2000 (Details)

Böke, Carsten: Combining Two Customization Approaches: Extending the Customization Tool TEReCS for Software Synthesis of Real-Time Execution Platforms. In: Proceedings of the Workshop on Architectures of Embedded Systems (AES 2000), Karlsruhe, Germany, 2000 (Details)

Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Ruf, J.: Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. In: Proceedings of GI-Fachtagung Modellierung betrieblicher Informationssysteme (MobIS), Siegen, Germany, 2000 (Details)

Bhatt, P.C.P.; Müller, Wolfgang: Morphic Nets: Model Based Design Diagrams. In: UKPEW 2000, Durham, UK, 2000 (Details)

Hardt, Wolfram; Rammig, Franz Josef; Böke, Carsten; Ditze, Carsten; Stroop, Joachim; Rettberg, Achim; Del Castillo, Giuseppe; Kleinjohann, Bernd; Teich, Jürgen: IP-based System Design within the PARADISE Design Environment. EUROMICRO Journal 2000 (Details)

Hardt, Wolfram; Visarius, Markus; Kleinjohann, Bernd: Architecture Level Optimization for Asynchronous IPs. In: Proceedings of the 12th Annual IEEE International ASIC/SOC Conference, Arlington, VA, USA, 2000 (Details)

Altenbernd, Peter; Burchard, L.O.; Stappert, Friedhelm: Worst-Case Execution Times Analysis of MPEG-2 Decoding. In: Proceedings of the 6th International EUROMICRO Conference on Real-Time Systems, Stockholm, 2000 (Details)

Bobda, Christophe; Lehmann, Thomas: Efficient Building of Word Recognizer in FPGAs for Term-Document Matrices Construction. In: Proceedings of Field Programmable Logic and Applications, FPL 2000, Villach, Austria, 2000 (Details)

Müller, Wolfgang; Meyer, A.; Zabel, Henning: A Visual Framework for the Scripting of Parallel Agents. In: IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000 (Details)

Böke, Carsten; Hübel, M.; Rammig, Franz Josef; Rust, Carsten: Zero-Overhead Pr/T-Net Execution. In: Proceedings of the SCS International European Simulation Multi-Conference (ESM 2000), Gent, Belgium, 2000 (Details)

Engblom, J.; Ermedahl, A.; Stappert, Friedhelm: Structured Testing of Worst-Case Execution Time Analysis Methods. In: Real-Time Systems Symposium, Orlando, Florida, 2000 (Details)

Flake, Stephan; Geiger, Christian: Agents with Complex Plans: Design and Implementation of CASA. In: Proceedings of EMCSR 2000, 2nd International Symposium: From Agent Theory to Agent Implementation, Vienna, Austria, 2000 (Details)

Engblom, J.; Ermedahl, A.; Stappert, Friedhelm: Comparing Different Worst-Case Execution Time Analysis Methods. In: Real-Time Systems Symposium, Orlando, Florida, 2000 (Details)

El-Kebbe, Dania Adnan: Towards a Manufacturing System under Hard Real-Time Constraints. In: Informatik 2000: 30. Jahrestagung der Gesellschaft für Informatik, Berlin, 2000 (Details)

El-Kebbe, Dania Adnan: Modeling the Manufacturing System under Hard Real-Time Constraints Using Real-Time UML. In: Workshop on Formal Design Techniques Using Real-Time UML, York, United Kingdom, 2000 (Details)

Braatz, A.; Flake, Stephan; Müller, Wolfgang; Westkämper, E.: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. In: Simulation und Visualisierung 2000, Magdeburg, Germany, 2000 (Details)

Bhatt, P.C.P.; Müller, Wolfgang: A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: IECON 2000, Nagoya, Japan, 2000 (Details)

Rettberg, Achim; Hardt, Wolfram; Teich, Jürgen; Bednara, M.: Automated Design Space Exploration on System Level for Embedded Systems. In: 9th Annual International HDL Conference and Exhibition (HDL Conf. 2000), San Jose, USA, 2000 (Details)

Kutylowski, Miroslaw; Lorys, Krzysztof; Oesterdiekhoff, Brigitte; Wanka, Rolf: Periodification Scheme: Constructing Sorting Networks with Constant Period. Journal of the ACM, 45: S. 944-967 2000 (Details)

Quintanilla, Julia: Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 87, 2000 (Details)

Del Castillo, Giuseppe: The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 83, 2000 (Details)

Ditze, Carsten: Towards Operating System Synthesis. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Entwurf Paralleler Systeme, HNI-Verlagsschriftenreihe, Paderborn, Band 76, 2000 (Details)

Gerling, Jens: Modellierung von vertikal emittierenden Laserdioden. (Details)

1999

Böke, Carsten; Rammig, Franz Josef: Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme. In: Journal Informationstechnik und Technische Informatik (it+ti), Nr.2, 1999, Oldenbourg Verlag (Details)

Geiger, Christian; Paelke, Volker: Zum Einsatz von Animation in Interaktiven Benutzungsschnittstellen. In: Simulation und Visualisierung 99, SCS, Magdeburg, Germany, 1999 (Details)

Geiger, Christian; Paelke, Volker: Exploratory 4D-Illustrations of the Complex Technical Systems and Procedures. In: Final Report for "Virtual Knowledge Factory" project, 1999 (Details)

Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang: Visual Specification, Modelling, and Illustrations of Complex Systems. In: HICSS-32, Maui, Hawaii, 1999 (Details)

Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. In: Simulation und Visualisierung 99, Magdeburg, Germany, 1999 (Details)

Glässer, Uwe; Gotzhein, R.; Prinz, A.: Towards a new formal SDL Semantics based on Abstract State Machines. In: Dssouli, R.; Bochmann, G.V.; Lahav, Y. (Hrsg.) SDL '99 - The Next Millenium, 9th SDL Forum Proceedings, S. pp. 171-190, 1999, Elsevier Science B.V. (Details)

Lukovszki, Tamás: New Results on Fault Tolerant Geometric Spanners. In: Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS'99), LNCS, S. 193-204, 1999, Springer Verlag (Details)

Flake, Stephan; Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang; Paelke, Volker: Agent-Based Modelling for Holonic Manufacturing Systems with Fuzzy Control. In: NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society, New York, 1999 (Details)

Hardt, Wolfram; Rettberg, Achim; Kleinjohann, Bernd: The PARADISE Design Environment. In: Proceedings of Embedded Systems Conference, Auckland, New Zealand, 1999 (Details)

Hardt, Wolfram; Rettberg, Achim; Kleinjohann, Bernd: The Re-Configurable Delay-Insensitive FLYSIG Architecture. In: Proceedings of the Reconfigurable Architectures Workshop 1999 (RAW'99), San Juan (Puerto Rico), 1999 (Details)

Hardt, Wolfram; Visarius, Markus: Analyse und Optimierung von heterogenen Verzögerungszeit-invarianten Multi-Ring Architekturen. Technical Report C - LAB Report 8/99, Cooperative Computing and Communication Laboratory, Paderborn, C - LAB, Germany, 1999 (Details)

Rammig, Franz Josef (Hrsg.) Distributed and Parallel Embedded Systems. Kluwer Academic Publishers, Distributed and Parallel Embedded Systems. Auflage, 1999 (Details)

Dücker, Marita; Müller, Wolfgang; Rubart, J.: Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: HICSS-32, Maui, Hawaii, 1999 (Details)

Del Castillo, Giuseppe: Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In: et al, Hutter (Hrsg.) Current Trends in Applied Formal Methods (FM-Trends 98), Band Volume 1641 of LNCS D, S. pp. 311-325, 1999, Springer Verlag (Details)

Böke, Carsten: Software Synthesis of Real-Time Communication System Code for Distributed Embedded Applications. In: Proceedings of the 6th Annual Australian IFIP Conf. on Parallel and Real-Time Systems (PART'99), Melbourne, Australia, 1999 (Details)

Flake, Stephan; Geiger, Christian: CASA - Structured Design of a Specification Language for Intelligent Agents. In: Asian Computing Science Conference, ASIAN'99, Phuket, Thailand, 1999 (Details)

Erpenbach, Edwin; Stappert, Friedhelm; Stroop, Joachim: Compilation and timing Analysis of State Chart Models for embedded Systems. In: The Second International Workshop on Compiler and Architecture Support for Embedded Systems (CASES'99), Washington DC, 1999 (Details)

Rettberg, Achim; Erpenbach, Edwin; Tacken, Jürgen; Rust, Carsten; Kleinjohann, Bernd: Compilation of Flow Diagrams into Target Code for Embedded Systems. In: In Proceedings of the 2nd International Workshop on Compiler and Architecture Support for Embedded Systems (CASES'99), Washington, DC, USA, 1999 (Details)

Tacken, Jürgen; Rust, Carsten; Kleinjohann, Bernd: A method for prepartitioning of Petri net models for parallel embedded real-time systems. In: Proceedings of the 6th Annual Australian Conference on Parallel and Real-Time Systems, (PART'99), Melbourne, Australia, 1999 (Details)

Böke, Carsten; Ditze, Carsten; Eickerling, H.; Glässer, Uwe; Kleinjohann, Bernd; Rammig, Franz Josef; Thronicke, Wolfgang: Software IP in Embedded Systems. In: Proceedings of the Forum on Design Languages (FDL'99), Lyon, France, 1999 (Details)

Del Castillo, Giuseppe; Glässer, Uwe: Simulation and Validation of High-Level Abstract State Machine Specifications. In: Szczerbicka, H. (Hrsg.) Modeling and Simulation: A Tool for the next Millenium, Proceedings of the 13th ESM'99, Band Volume 2, S. pp. 463-465, Warsaw, Poland, 1999 (Details)

Hardt, Wolfram; Pirsch, P.: Current Approaches to Rapid Prototyping for Real - Time Applications. Technical Report C-LAB Report 8/99, Cooperative Computing and Communication Labotatory, Paderborn, C - LAB, Germany, 1999 (Details)

Erpenbach, Edwin; Altenbernd, Peter: Worst Case Execution Times and Schedulability Analysis of State Chart Models. In: Euromicro Conference on Real-Time Systems (ESRT'99), 1999 (Details)

Del Castillo, Giuseppe; Winter, K.: Model Checking support for the ASM high-level language. Technical Report tr-ri-99-209, Universität Paderborn, 1999 (Details)

Kleinjohann, Bernd; Stroop, Joachim: Pathfinder - A Robot for Experiencing and Interacting in Distant Realities. In: Proceedings of IEEE Conference on Systems, Man, and Cybernetics, (SMC'99), Tokyo, Japan, 1999 (Details)

Hardt, Wolfram; Kleinjohann, Bernd; Rettberg, Achim; Kleinjohann, Bernd: A New Configurable and Scalable Architecture for Rapid Prototyping of Asynchronous Designs for Signal Processing. In: Proceedings of the 12th Annual IEEE International ASIC/SOC Conference, Washington, DC, USA, 1999 (Details)

Müller, Wolfgang; Ullmann, F.: Scalable System for 3D Audio Raytracing. In: IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999 (Details)

Hardt, Wolfram; Hennig, A.; Visarius, Markus; Leßmann, J.; Dierkes, T.: Automated design approach for flysig based rapid prototyping. Technical report C-LAB report 1999, Paderborn, C - LAB, Germany, 1999 (Details)

Geiger, Christian; Paelke, Volker: Zum Einsatz von Animation in Interaktiven Benutzungsschnittstellen. In: Simulation und Visualisierung 99, Magdeburg, Germany, 1999 (Details)

Dangberg, A.; Müller, Wolfgang: Generation of Interactive Visual Environments for Direct Manipulation of Database Content. In: IEEE Symposium on Visual Languages, Tokyo, Japan, 1999 (Details)

Dücker, Marita; Müller, Wolfgang; Rubart, J.: Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: HICSS-32, Maui, Hawaii, 1999 (Details)

Hardt, Wolfram; Altenbernd, Peter; Böke, Carsten; Del Castillo, Giuseppe; Ditze, Carsten; Erpenbach, Edwin; Glässer, Uwe; Lehrenfeld, Georg; Rammig, Franz Josef; Stappert, Friedhelm; Stroop, Joachim: PARADISE: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. In: Proceedings of the Int. IFIP WG 10.3 / WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES'98), Paderborn University, Germany, 1999, Kluwer Academic Publishers (Details)

Erpenbach, Edwin; Stroop, Joachim; Rammig, Franz Josef: On the Compilation of State Chart Models into Target Code for Embedded Systems. In: IEEE CACSD'99, Hawaii, 1999 (Details)

Fischer, Matthias; Lukovszki, Tamás; Ziegler, Martin: Partitioned Neighborhood Spanners of Minimal Outdegree. In: Proceedings of the 11th Canadian Conference on Computational Geometry (CCCG'99), S. 47-50, Sep. 1999 (Details)

Kleinjohann, Bernd; Rammig, Franz Josef; Stolpe, R.; Wältermann, P.; Schmidtfranz, B.-H.; Schröder-Preikschat, W.: Parallel Computing for the Design and the Implementation of Mechatronic Systems: Lessons Learned from the METRO-Project. In: Proceedings of the 3rd International Heinz Nixdorf Symposium, Paderborn, Germany, 27. - 28. Mai 1999 (Details)

Lukovszki, Tamás: New Results on Geometric Spanners and Their Applications. Dissertation, Universität Paderborn, Heinz Nixdorf Institut, Theoretische Informatik, HNI-Verlagsschriftenreihe, Paderborn, Band 63, 1999 (Details)

Geiger, Christian; Paelke, Volker; Reimann, Christian; Zimmermann, D.: Design and Evaluation of animated 3D User Interfaces. In: Proceedings of Australian Computer Human Interaction Conference, OZCHI'99, Wagga Wagga, Australia, 1999 (Details)

Dücker, Marita; Flake, Stephan; Geiger, Christian; Müller, Wolfgang; Paelke, Volker; Reimann, Christian; Rosenbach, W.; Zimmermann, D.; Zelder, S.: Wissensbasierte Konzepte und Visuelle Interaktive Systeme. In: KI99 Proceedings Workshop, Bonn, 1999 (Details)

1998

Glässer, Uwe; Schmitt:, P.H.: Workshop on Abstract State Machines. In: Dassow, J.; Kruse, R. (Hrsg.) Proceedings of Informatik, 1998 (Details)

Stichling, Dirk; Kleinjohann, Bernd; Stroop, Joachim: JORSY - Eine OSEK-Implementierung auf Basis einer realzeitfähigen Java Virtual Machine. In: Hergenhahn, A.; Rosenstiel, W. (Hrsg.) Proceeding of GI/ITG-Workshop JAVA und Eingebettete Systeme, S. pp. 35-44, Karlsruhe, 1998, FZI Bericht 4-13-9/98 (Details)

Böke, Carsten; Ditze, Carsten: Supporting Software Synthesis of Communication Infrastructures for Embedded Real-Time Applications. In: Proceedings of the 15th IFAC Workshop on Distributed Computer Control Systems (DCCS), Como, Italy, 1998 (Details)

Ditze, Carsten; Kleinjohann, Bernd; Radeke, Elke; Rammig, Franz Josef; Stewing, F.J.; Stroop, Joachim; Tacken, Jürgen: Web-supported Engineering of Computer Based Systems. In: (ECBS-98), Jerusalem, Israel, 1998 (Details)

Dücker, Marita; Müller, Wolfgang; Rubart, J.: VIPspace - A Visually Programmable Shared Workspace. In: IEEE Symposium on Visual Languages, Halifax, Canada, 1998 (Details)

Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang: Authoring Communicating Agents in Virtual Environments. In: Annual Conference for the Computer Human Interaction, Adelaide, Australia, 1998 (Details)

Geiger, Christian; Müller, Wolfgang: Visuelle Spezifikation, Modellierung und Animation im Systementwurf. In: Simulation und Visualisierung 98, Magdeburg, Germany, 1998 (Details)

Geiger, Christian; Müller, Wolfgang; Rosenbach, W.: SAM - An Animated 3D Programming Language. In: IEEE Symposium on Visual Languages, Halifax, Canada, 1998 (Details)

Geiger, Christian; Paelke, Volker; Zelder, S.: An integrated designtool for 3D-widgets. In: IASTED International Conference on Computer Graphics and Imaging, Halifax, Canada, 1998 (Details)

Lehmann, Thomas: Case Study of a Software Structure for a 3D-Audio-Device. In: ICAD'98 International Conference on Auditory Display, Glasgow, United Kingdom, 1998 (Details)

Lehrenfeld, Georg; Naumann, R.; Rasche, R.; Rust, Carsten; Tacken, Jürgen: Integrated Design and Simulation of Hybrid Systems. In: Hybrid Systems: Computation and Control, International Workshop, Berkeley, California, 1998 (Details)

Naumann, R.; Rasche, R.; Tacken, Jürgen: Managing autonomous vehicles at intersections. In: In: IEEE Intelligent Systems and their applications, 1998 (Details)

Tacken, Jürgen: Using extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems. In: Proceedings of the International IFIP WG 10.3/WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES '98), Paderborn University, Germany, 1998 (Details)

Rust, Carsten; Stroop, Joachim; Tacken, Jürgen: The Design of Embedded Real-Time Systems using the SEA Environment. In: Proceedings of the 5ht Annual Australian Conference on Parallel and Real-Time Systems (PART'98), Adelaide, Australia, 1998 (Details)

Müller, Wolfgang; Sturm, J.: Visuelle Spezifikations- und Modellierungstechniken. In it+ti Themenheft Spezifikation, (Mrz 98) 1998 (Details)

Kleinjohann, Bernd: Tutorial: Multilanguage Formalism. In: Proceedings of the MEDEA/ESPRIT Conference HW/SW Codesign, Grenoble, France, 1998 (Details)

Kleinjohann, Bernd: Invited Talk:. In: Proceedings of International IFIP WG 10.3/WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES'98), Paderborn, 1998 (Details)

Hardt, Wolfram; Rettberg, Achim: Automated Approch for Design of Testable Dataflow-Oriented Delay-Insensitive Processors. In: Proceedings of the 1st Workshop on Design, Test and Applications (WDTA), S. pp. 125-128, Dubrovnik, Croatia, 1998 (Details)

Hardt, Wolfram; Kleinjohann, Bernd: Flysig: Towards High Performance Special Purpose Architectures by Joining Paradigms. In: Proceedings of 7th NASA Symposium on VLSI Design, Albuquerque, New Mexico, 1998 (Details)

Hardt, Wolfram; Kleinjohann, Bernd: Flysig: Dataflow Oriented Delay-Insensitive Processor for Rapid Prototyping of Signal Processing. In: Proceedings of 6th IEEE International Workshop on Rapid System Prototyping, Leuven, Belgium, 1998 (Details)

Glässer, Uwe: ASM Semantics of SDL: Concepts, Methods, Tools. In: Lahav, Y.; Wolisz, A.; Schürholz, Andreas; Fischer, Dirk (Hrsg.) Proceedings of the 1. Workshop of the SDL Forum Society on SDL and MSC, Nr.104, S. pp. 271-280, Humboldt-Uni. Berlin, 1998, Informatik-Bericht (Details)

Geiger, Christian; Hunstock, Ralf; Paelke, Volker; Rammig, Franz Josef: Schneller Entwurf dreidimensionaler Computer-Animationen. Zeitschrift Forschungsforum Paderborn 1/98 1998 (Details)

Ditze, Carsten: A Step towards Operating System Synthesis. In: Proceedings of the 5th Annual Australian Conference on Parallel and Real-Time Systems (PART), 1998 (Details)

Ditze, Carsten: A Customizable Library to support Software Synthesis for Embedded Applications and Micro-Kernel Systems. In: Proceedings of the 8th ACM SIGOPS European Workshop, Sintra, Portugal, 1998 (Details)

Del Castillo, Giuseppe; Hardt, Wolfram: Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets. In: Proceedings of the GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Paderborn, Germany, 1998 (Details)

Del Castillo, Giuseppe; Hardt, Wolfram: Fast Dynamic Analysis of Complex HW/SW-Systems based on Abstract State Machine Models. In: Proceedings of the 6th International Workshop on Hardware/Software Codesign (CODES/CASHE'98), S. pp. 77-81, Seattle, Washington, 1998 (Details)

Del Castillo, Giuseppe; Glässer, Uwe: Machine-Supported Execution and Validation of High-Level Abstract State Machine Models. In: Berghammer, R.; Y.Lakhnech, . (Hrsg.) Preliminary proceedings of the TOOLS '98 Workshop, Nr.Bericht No.9803, Christian Albrechts-Uni. Kiel, 1998 (Details)

Del Castillo, Giuseppe: The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. In: Proceedings of the 5th International Workshop on Abstract State Machines, Magdeburg, 1998 (Details)

Borrione, D.; Lefaou, C.; Marwedel, P.; Mermet, J.; Newton, C.; Rammig, Franz Josef: Three Decades of Hardware Description Languages in Europe. Journal of Electrical Engineering and Information Science, 3(6), Dez. 1998 (Details)

Fischer, Matthias; Lukovszki, Tamás; Ziegler, Martin: Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time. In: Proceedings of the 6th Annual European Symposium on Algorithms (ESA'98), LNCS, Band 1461, S. 163-174, Dez. 1998, Springer (Details)

Fischer, Matthias; Lukovszki, Tamás; Ziegler, Martin: A Network Based Approach for Realtime Walkthrough of Massive Models. In: Proceedings of the 2nd Workshop on Algorithms Engineering (WAE'98), S. 133-142, Dez. 1998 (Details)

Altenbernd, Peter; Böke, Carsten; Del Castillo, Giuseppe; Ditze, Carsten; Erpenbach, Edwin; Glässer, Uwe; Hardt, Wolfram; Kleinjohann, Bernd; Lehrenfeld, Georg; Rammig, Franz Josef; Rust, Carsten; Stappert, Friedhelm; Stroop, Joachim; Tacken, Jürgen: Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. In: Proceedings of the International IFIP WG 10.3/WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES '98), Paderborn University, Germany, 9. - 11. Okt. 1998 (Details)

Fischer, Matthias; Lukovszki, Tamás; Ziegler, Martin: Multimediale Entdeckungsreisen unserer Welt mit dem Internet. Okt. 1998 (Details)

Hardt, Wolfram; Kleinjohann, Bernd: Flysig:Towards High Performance Special Purpose Architectures by Joining Paradigms. In: Proceedings of 7th NASA Symposium on VLSI Design, Albuquerque, New Mexico, Okt. 1998 (Details)

Geiger, Christian; Hunstock, Ralf; Paelke, Volker; Rammig, Franz Josef: Schneller Entwurf dreidimensionaler Computer-Animationen. ForschungsForum Paderborn, 1: S. 16-19 1998 (Details)

Geiger, Christian; Lehrenfeld, Georg; Lehmann, Thomas; Paelke, Volker; Reimann, Christian: Design of interactive illustrations using 3D animation and spatial sound. In: IASTED International Conference on Computer Graphics and Imaging, Halifax, Canada, 1998 (Details)

Müller, Wolfgang; Rammig, Franz Josef: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. HNI-Verlagsschriftenreihe, Paderborn, Band 36, Heinz Nixdorf Institut, Universität Paderborn, 1998 (Details)

1997

Heitbreder, O.; Kleinjohann, Bernd; Kleinjohann, Lisa; Tacken, Jürgen: Intelligent Design Assistance with SEA. In: Proceedings of the IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'97), Monterey, CA, USA, 1997 (Details)

Lukovszki, Tamás; Strothmann, Willy-Bernhard: Decremental Biconnectivity on Planar Graphs. tr-ri-97-186, Paderborn, 1997 (Details)

Janzen, Nikolaj; Rammig, Franz Josef: Zeittreue Prototypenanalyse in FPGA-basierten Emulationssystemen. In: 5. GI/ITG/GMM Workshop. Methoden des Entwurfs und der Verifikation digitaler Systeme, Linz, Austria, 1997 (Details)

Geiger, Christian; Hunstock, Ralf; Niewels, J.: Simulation und 3D-Animation eines kraftvektorgesteuerten Hausanschluß-Inspektions-Systems. In: Simulation und Animation 97, Magdeburg, 1997 (Details)

Naumann, R.; Rasche, R.; Tacken, Jürgen; Tahedl, C.: Validation and Simulation of Decentralized Intersection Collision Avoidance Algorithm. In: Proceedings of the IEEE Conference on Intelligent Transportation Systems (ITSC'97), Boston, Massachusetts, USA, 1997 (Details)

Dücker, Marita; Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: A Generic System for Interactive Real-Time Animation. In: Proceedings of IEEE International Conference on Engineering of Computer-Based Systems (ECBS'97), Monterey, CA, 1997 (Details)

Glässer, Uwe: Modelling of Concurrent and Embedded Systems. In: Lecture Notes in Computer Science, Computer Aided Systems Theory-EUROCAST, Springer Verlag, Band 1333, S. 108ff, 1997 (Details)

Glässer, Uwe; Karges, R.: Abstract State Machine. Journal of Universal Computer Science (J.UCS), 3(12) 1997 (Details)

Rammig, Franz Josef; Steinmüller, B.: CE-Enabling Technologies. Concurrent Engineering - The Agenda for Success 1997 (Details)

Hardt, Wolfram; Kleinjohann, Bernd: Eine Asynchrone Datenflußarchitektur für Eingebettete Systeme. In: Proceedings der 4. ITG/GI Fachtagung Architektur von Rechensystemen, Workshop Zielarchitekturen Eingebetteter Systeme, Rostock, Germany, 1997 (Details)

Janzen, Nikolaj; Rammig, Franz Josef: Timing Analysis with FPGA-based Emulation Systems. In: Proceedings of the 9th European Simulation Symposium, Passau, 1997 (Details)

Kleinjohann, Bernd; Tacken, Jürgen; Tahedl, C.: Towards a Complete Design Method for Embedded Systems Using Predicate/Transition Nets. In: Proceedings of 13th IFIP WG 10.5 Conference on Computer Hardware Description Languages and their Applications, CHDL'97), Toledo, Spain, 1997 (Details)

Kleinjohann, Bernd; Tacken, Jürgen; Tahedl, C.: A Design Environment using Predicate/Transition Nets as Common Model for Specification, Analysis, and Validation of Hybrid Real-Time Systems. In: Proceedings des 3. ITG/GI/GMM Workshop Hardwarebeschreibungs-sprachen und Modellierungsparadigmen, Holzau, Germany, 1997 (Details)

Kalthoff, Bodo: Scheduling of Parallel Processing Systems based on Algorithmic Skeletons. In: Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, IEEE, Boston, USA, 1997 (Details)

Geiger, Christian; Hugenroth, F.: Ishell: Eine Umgebung zur Erweiterung von Tcl/Tk um interaktive 3D-Grafik. In: PB'97, Prototyping von Benutzungsschnittstellen, GI-Fachgespräch, Paderborn, 1997 (Details)

Dücker, Marita; Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: A Visual Programming Language for Qualitative Data. In: IEEE Symposium on Visual Languages, Capri, Italy, 1997 (Details)

Dücker, Marita; Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang: Visual-Textual Prototyping of 4D Scenes. In: IEEE Symposium on Visual Languages, Capri, Italy, 1997 (Details)

Dücker, Marita; Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang: Visual-Textual Prototyping of 4D Scenes. In: Procceedings of the IEEE Symposium of Visual Languages (VL'97), S. 328-335, Capri, Italy, 23. - 26. Sep. 1997 IEEE (Details)

Geiger, Christian; Hunstock, Ralf; Niewels, J.: Simulation und 3D-Animation eines kraftvektorgesteuerten Hausanschluss-Inspektionssystems. In: Proceedings of the Simulation & Animation Conference, S. 13, Magdeburg, Germany, 6. - 7. Mrz. 1997 (Details)

Rammig, Franz Josef: Das C-LAB: Multimedia in Kooperation von Industrie und Hochschule. In: media NRW, 'Multimedia-Forschung', Nr.5, Mrz. 1997 (Details)

1996

Geiger, Christian; Hunstock, Ralf; Paelke, Volker: Rapid Prototyping of Animated 3-D Objects. In: Proceedings of the Euromedia 1996 Conference, London, UK, 19. - 21. Dez. 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Paelke, Volker: Rapid Prototyping of Animated 3D Objects. In: Proceedings of the Euromedia 1996 Conference, SCS, London, Great Britain, Dez. 1996 (Details)

Kalthoff, Bodo; Geiger, Christian: Adaptive Parallelization of Strategies in Agent Based Systems. In: Proc. of the 4th Australian and New Zealand Conference on Intelligent Information Systems, IEEE, Adelaide, Australia, Nov. 1996 (Details)

Geiger, Christian: Agent based Prototyping of Virtual Worlds. In: Proc. 4th Australian Intelligent Information Systems Conference, Adelaide, Australia, Nov. 1996 (Details)

Rammig, Franz Josef; Steinmüller, B.: Integrierte Ingenieursysteme und Concurrent Engineering. In: Tagungsband 2. Internationales Heinz Nixdorf Symposium für Industrielle Informationstechnik, HNF, Nov. 1996 (Details)

Geiger, Christian; Bomsdorf, B.: Tasks as Agents: Prototyping Task Models. In: Proc. of the 6. Australian Conference on Computer Human Interaction, OzCHI96, IEEE, Hamilton, New Zealand, Nov. 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang; Quintanilla, Julia; Tahedl, C.; Weber, Anke: Visual Modeling and 3D-Representation with a Complete Visual Programming Language: A Case Study in the Field of Manufactoring. In: Proceedings of the IEEE Symposium on Visual Languages (VL'96), S. 2, Boulder, Colorado, USA, Sep. 1996 IEEE (Details)

Janzen, Nikolaj; Rammig, Franz Josef: A Slow Motion Engine for the Analysis of FPGA-Based Prototypes. In: Proc. of the 6th International Workshop on Field Programmable Logic and Applications, FPL, Darmstadt, Sep. 1996 (Details)

Rammig, Franz Josef: Beyond VHDL: Textual Formalisms, Visual Techniques, or Both?. In: EURO-DAC/EURO-VHDL, Geneva, Switzerland, IEEE, Sep. 1996 (Details)

Lehrenfeld, Georg; Griebel, P.; Müller, Wolfgang; Tahedl, C.; Uhr, H.: Integrating a Constraint Solver into a Real-Time Animation Environment. In: Proc. of the IEEE Symposium on Visual Languages, Boulder, Colorado, USA, Sep. 1996 (Details)

Geiger, Christian; Lehrenfeld, Georg; Weber, Anke: Concurrent Object Based Modeling of Fuzzy Strategies. In: Proceedings of the 5th IEEE International Conference on Fuzzy Systems, New Orleans, USA, Sep. 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang; Quintanilla, Julia; Tahedl, C.; Weber, Anke: Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. In: Proc. of the IEEE Symposium on Visual Languages, Boulder, Colorado, USA, Sep. 1996 (Details)

Meyer auf der Heide, Friedhelm; Oesterdiekhoff, Brigitte; Wanka, Rolf: Strongly Adaptive Token Distribution. Algorithmica, 15(5): S. 413-427 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Weber, Anke: Using Concurrent Object-based Modeling Combined with 3D-Animation for Early Prototyping. In: Proceedings of the 10th European Simulation Multiconference (ESM 96), S. 5, Budapest, Hungary, 2. - 6. Jun. 1996 SCS (Details)

Dücker, Marita; Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: Proc. of the 10th European Simulation Multiconference ESM'96, Budapest, Hungary, 2. - 6. Jun. 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Weber, Anke: Using Concurrent Object Based Modeling with 3D Animation for Early Prototyping. In: Proceedings ESM'96, Budapest, Hungary, Jun. 1996 (Details)

Kleinjohann, Bernd; Kleinjohann, Lisa; Tacken, Jürgen: A Visual Simulation Environment based on extended Predicate Transition Nets. In: Proceedings of the European Simulation Multiconference, Budapest (Hungary), S. 481-485, Jun. 1996 ASME (Details)

Kalthoff, Bodo; Geiger, Christian; Lehrenfeld, Georg; Weber, Anke: Advanced Modeling of Complex Behaviour in Concurrent Systems. In: Proc. of the 2nd International Conference on Massively Parallel Computing Systems, Iscia, Italy, Mai 1996 (Details)

Rips, Sabina: Adaptive Load Distribution in Strong Dynamic Heterogeneous Systems. In: Proc. 2nd International Conference on Massively Parallel Systems, MPCS'96, Ischia, Italy, Mai 1996 (Details)

Geiger, Christian; Lehrenfeld, Georg; Quintanilla, Julia; Weber, Anke: Design and Formal Verification of Strategies in Flexible Manufacturing Systems. In: Proc. of the 1st Turkish Symposium On Intelligent Manufacturing Systems, IMS 96, Sapanca, Turkey, Mai 1996 (Details)

Böke, Carsten; Siggemann, J.; Rozek, U.: DOTAS - eine strukturell objektorientierte Datenbankkomponente für verteilte CAD-Systeme. In: GI-Conference CAD'96, Kaiserslautern, Germany, Mrz. 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Shahrbabaki, K.: Ein Ansatz zur Integration von 3D-Animationen in die Modellierung komplexer Systeme. In: Proceedings of the Animation & Simulation Conference, S. 12, Magdeburg, Germany, 29. Feb. - 1. Mrz. 1996 (Details)

Brielmann, Maria; Rammig, Franz Josef: Evaluating Hardware Design: Principles for the Development of Computer Based Systems. In: IEEE Int. Symposium and Workshop on Engineering of Computer Based Systems (ECBS), Friedrichshafen, S. 166-173, Mrz. 1996 (Details)

Glässer, Uwe: Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools. In: Pichler, F.; Moreno-Diaz, R.; Albrecht, R. (Hrsg.) Computer Aided Systems Theory - EUROCAST'95, LNCS, Band 1030, 1996, Springer Verlag (Details)

Beierle, C.; Börger, E.; Durdanovic, I.; Glässer, Uwe; Riccobene, E.: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. In: Abrial, J.-R.; Börger, E.; Langmaack, H. (Hrsg.) Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control, Band 1165 of LNCS, 1996, Springer Verlag (Details)

Geiger, Christian: Modellierung virtueller Welten: Anwendung wissensbasierter Computergrafik beim Entwurf komplexer Systeme. In: Seminar Reader 'Wissensbasierte Computergrafik', AG Knowledge Based Systems, University Bielefeld, 1996 (Details)

Del Castillo, Giuseppe; Durdanovic, I.; Glässer, Uwe: An Evolving Algebra Abstract Machine. Computer Science Logic, Vol. 1092 of LNCS 1996 (Details)

Kleinjohann, Bernd; Kleinjohann, Lisa; Tacken, Jürgen: The SEA Language for System Engineering and Animation. Applications and Theory of Petri Nets, LNCS 1091 1996 (Details)

Geiger, Christian; Hunstock, Ralf; Shahrbabaki, K.: Ein Ansatz zur Integration von 3D-Animation in die Modellierung komplexer Systeme. In: Proceedings of the Simulation and Animation Conference, Magdeburg, Germany, Jan. 1996 (Details)

1995

Geiger, Christian; Lehrenfeld, Georg; Weber, Anke: Design of Fuzzy Strategies in Manufacturing Systems Using Oz. In: Proc. of the 1st Int. Workshop on Oz Programmings, Martigny, Switzerland, Nov. 1995 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of the IEEE Symposium on Visual Languages, Darmstadt, Germany, Sep. 1995 (Details)

Tahedl, C.; Lehrenfeld, Georg; Müller, Wolfgang: Complete Visual Specification and Animation of Protocols. In: Proc. of the CHDL'95, Tokyo, Japan, 30. Aug. - 1. Sep. 1995 (Details)

Glässer, Uwe; Börger, E.: Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras. Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4), Denmark, Jul. 1995 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Validation of EXPRESS Models. Technical Report R 117-003-1995, 1995 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Conformance Tests of very Large Step Files. In: Proc. of the 4th EXPRESS User's Group, 1995 (Details)

Del Castillo, Giuseppe; Durdanovic, I.; Glässer, Uwe: An Evolving Algebra Abstract Machine. In: Computer Science Logic (CSL'95), LNCS 1092, 1995, Springer Verlag (Details)

Glässer, Uwe; Börger, E.; Müller, Wolfgang: Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In: Delgado Kloos, C.; Breuer, Peter T. (Hrsg.) Formal Semantics for VHDL, 1995, Kluwer Academic Publishers (Details)

Del Castillo, Giuseppe; Börger, E.: A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study). Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4), Denmark, 1995 (Details)

Ditze, Carsten; Altenbernd, Peter: Allocation of Periodic Hard Real-Time Tasks. In: Proc. of the 1995 IFIP / IFAC Workshop on Real-Time Programming, 1995 (Details)

Del Castillo, Giuseppe; Börger, E.: A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study). In: Proc. of the First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995 (Details)

Ditze, Carsten: DReaMS - Concepts of a Distributed Real-Time Mangement System. In: Proc. of the 1995 IFIP / IFAC Workshop on Real-Time Programming, 1995 (Details)

Rammig, Franz Josef: Models and Tools for Integrated System Design. In: 10th Congress of the Brazilian Microelectronics Society and 1st Ibero, American Microelectronics Conference, S. 191-210, 1995 (Details)

Rammig, Franz Josef; Wagner, F. R. (Hrsg.) Electronic Design Automation Frameworks. , Band 4Chapman & Hall, 1995 (Details)

1994

Kalthoff, Bodo; Geiger, Christian; Lehrenfeld, Georg: Towards Design and Implementation of Concurrent Fuzzy Systems with PCN. In: Proc. of the Second Australian and New Zealand Conference on Intelligent Information Systems, IEEE, Brisbane, Australia, Nov. 1994 (Details)

Kalthoff, Bodo; Geiger, Christian; Lehrenfeld, Georg: Modellierung und Simulation paralleler Fuzzy Systeme in PCN. In: TAT 94, Sep. 1994, IOS Press (Details)

Geiger, Christian; Lehrenfeld, Georg: Modellierung intelligenter Stragegien in komplexen Systemen. In: Reusch, B. (Hrsg.) Tagungsband 4. Dortmunder Fuzzy Tage, 6. - 8. Jun. 1994 (Details)

Lehrenfeld, Georg; Müller, Wolfgang: The Computational Model of a Logical Visual Programming. In: Workshop Logik in der Informatik, Jahrestreffen der GI Fachgruppe 0.1.6, Paderborn, 25. - 27. Mai 1994 (Details)

Geiger, Christian; Lehrenfeld, Georg: The Application of Concurrent Fuzzy Prolog in the Field of Modeling Flexible Manufacturing Systems. In: Sterling, L. (Hrsg.) The Second Int. Conf. On Practical Application of PROLOG, PAP'94, London, UK, 26. - 29. Apr. 1994 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Parallel Validation of STEP Files. In: Proc. of the 2nd International Conference on Concurrent Engineering Electronic Design Automation (CEEDA'94), Poole, UK, 7. - 8. Apr. 1994 (Details)

Brielmann, Maria; Kleinjohann, Bernd: A Design Model for Concurrent Engineering of Heterogeneous Systems. In: Proceedings of the 2nd International Conference on Concurrent Engineering, S. 477-482, Bournemouth, Apr. 1994 CEEDA (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Ein Framework für die parallele Validierung von STEP-Produktdaten. Carl Hanser Verlag, München, Mrz. 1994 (Details)

Glässer, Uwe; Börger, E.; Müller, Wolfgang: The Semantics of Behavioral VHDL '93 Descriptions. In: Proc. of EURO-VHDL'94, 1994 (Details)

Ditze, Carsten; Böke, Carsten; Honekamp, U.; Rozek, U.: Ein zeitgesteuerter Echtzeitscheduler für Tansputer. In: Proceedings Echtzeit'94 Congress, Hamburg, Network GmbH, 1994 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Parallel Validation of STEP Files. Technical Report PC²/TR-009-94, 1994 (Details)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Implementierung eines parallelen Werkzeugs für STEP-Produktdaten unter PVM. IOS Press 1994 (Details)

Lehrenfeld, Georg; Müller, Wolfgang: Defining the Relational Grammar of Pictorial Janus - A Case Study. Technical Report cr-07-94, 1994 (Details)

Glässer, Uwe; Börger, E.: A Formal Specification of the PVM Architecture. In: Pehrson, B.; Simon, I. (Hrsg.) Proc. of the IFIP World Computer Congress '94, Vol: I: Technology and Foundations, 1994, Elsevier Science B.V. (Details)

Lehrenfeld, Georg; Buijs, F.; Müller, Wolfgang; Stewing, F.J.: The Role of STEP in Facilitating Engineering Efforts. Techn. Report cr-15-95, 1994 (Details)

Rammig, Franz Josef; Steinmüller, B.: From Design Environments to Computer Aided Concurrent Engineering: An Evolutionary Approach. In: Proc. of CEEDA, 1994 (Details)

Rammig, Franz Josef: Modelle und Methoden für den integrierten Systementwurf. In: VDE-Kongreß 1994, ITG Fachbericht 129, S. 91-108, 1994, VDE Verlag (Details)

Kleinjohann, Bernd: Synthese von zeitinvarianten Hardware-Modulen. Dissertation, Universität - GH Paderborn, Fachbereich Mathematik/Informatik, 1994 (Details)

1993

Brielmann, Maria; Kleinjohann, Bernd: A formal model for coupling computer based systems and physical systems. In: Proceedings of the European Design Automation Conference, Euro-DAC, S. 158-163, Hamburg, Sep. 1993 (Details)

Meyer auf der Heide, Friedhelm; Oesterdiekhoff, Brigitte; Wanka, Rolf: Strongly Adaptive Token Distribution. ICALP 1993: S. 398-409 1993 (Details)

Kleinjohann, Bernd; Milczewski, R.: Ein einheitliches formales Modell zur Schnittstellenspezifikation und Hardwarebeschreibung. In: Proceedings of the GI/ITG Workshop on Formale Methoden zum Entwurf korrekter Systeme, S. 186-192, Bad Herrenalb, Mrz. 1993 (Details)

Pfahler, P.; Nagel, Christof; Rammig, Franz Josef; Kastens, U.: Design of a VLIW Architecture Constructed from RISC Chips: A Case Study of Hardware/Software Codesign. In: EUROMICRO, 1993 (Details)

Rammig, Franz Josef: System Level Design. In: Mermet, J. (Hrsg.) Fundamentals and Standards in Hardware Description Languages, S. 109-151, 1993, Kluwer Academic Publishers (Details)

Rammig, Franz Josef: DACAPO III: A Retrospective. In: Mermet, J. (Hrsg.) Fundamentals and Standards in Hardware Description Languages, S. 395-409, 1993, Kluwer Academic Publishers (Details)

Rammig, Franz Josef: Modelling Aspects of Integrated System Design. In: EURO-DAC/EURO-VHDL, 1993 (Details)

Müller, Wolfgang; Kleinjohann, Bernd: Tight Integration in a Hardware Synthesis System. In: Proceedings 1993 ASME International Computers in Engineering Conference and Exposition, S. 8-12, 1993 ASME (Details)

Brielmann, Maria; Kleinjohann, Bernd: Petri Nets as a Common Model for Combined Physical and Computer Based Systems. In: Proceedings of the GI Workshop on Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, S. 114-126, Berlin, 1993 (Details)

Müller, Wolfgang; Kleinjohann, Bernd: Tight Integration and Synchronization of Distributed Graphical Applications. In: Proceedings of the 7th Annual Database Symposium, S. 49-59, San Diego, 1993 ASME (Details)

1992

Müller, Wolfgang; Kleinjohann, Bernd: The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: Proceedings of the 2nd EXPRESS User's Group Conference, Dallas TX, Okt. 1992 (Details)

Lutter, B.; Glunz, Wolfgang; Rammig, Franz Josef: Using VHDL for Simulation of SDL Specifications. In: EURODAC and EURO-VHDL, S. 630-635, 7. - 10. Sep. 1992, IEEE Computer Society Press (Details)

Rammig, Franz Josef; Steinmüller, B.: Frameworks und Entwurfsumgebungen. Informatik-Spektrum: S. 33-43 1992 (Details)

Sauer, A.; Rammig, Franz Josef: Der durchgängige Entwurf mikroelektronischer Systeme. In: Pfleiderer, H.-J. (Hrsg.) Mikroelektronik für die Informationstechnik, ITG-Fachbericht 119, S. 275-284, 1992, VDE Verlag (Details)

Rammig, Franz Josef: Synthesis Related Aspects of Simulation. In: Michel, P.; Lauther, U.; Duzy, P. (Hrsg.) The Synthesis Approach to Digital System Design, S. 303-334, 1992, Kluwer Academic Publishers (Details)

Rammig, Franz Josef: Approaching System Level Design. In: Mermet, J. (Hrsg.) VHDL for Simulation, Synthesis and Formal Proofs of Hardware, S. 259-278, 1992, Kluwer Academic Publishers (Details)

1991

Kleinjohann, Bernd; Kupitz, E.: Tool Communication in an Integrated Synthesis Environment. In: Proceedings of European Design Automation Conference (EDAC'91), Amsterdam, Feb. 1991 (Details)

Rammig, Franz Josef: Mit VHDL ist ein wesentlicher Durchbruch gelungen. me Bd. 5, Heft 5: S. 176-179 1991 (Details)

Rammig, Franz Josef; Waxmann, R. (Hrsg.) Electronic Design Automation Frameworks, 397 pages. North Holland, 1991 (Details)

1990

Rammig, Franz Josef: System Level Simulation Concepts. In: European Simulation Multiconference, Erlangen-Nürnberg, 1990 (Details)

1989

Rammig, Franz Josef: Neuere Trends der Hardwareentwurfsmethodik als Richtschnur für die Softwareentwicklung. In: ITG/GI/GME-Fachtagung 'Softwaretechnik in Automatisierung und Kommunikation-Wiederverwendbarkeit von Software', Ulm, 15. - 16. Nov. 1989, VDE Verlag (Details)

Rammig, Franz Josef: Mehrebenensimulation. In: ITG-Fachtagung 'Mikroelektronik für die Informationstechnik', Stuttgart, 3. - 5. Okt. 1989, VDE Verlag (Details)

Müller, Wolfgang; Rammig, Franz Josef: ODICE: Object-Oriented Hardware Description in CAD Environment. In: 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, S. 19-34, 1989, North Holland (Details)

Miller, J.; Strauß, Jürgen; Rammig, Franz Josef: Integration of a CHDL into an Engineering Environment. In: 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, S. 157-166, 1989, North Holland (Details)

Rammig, Franz Josef; Horneber, Ernst-Helmut: Mehrebenensimulation. Mikroelektronik 6/89 1989 (Details)

Darringer, John A.; Rammig, Franz Josef: Computer Hardware Description Languages and their Applications. In: Darringer, John A.; Rammig, Franz Josef (Hrsg.) 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, 1989, North Holland (Details)

Rammig, Franz Josef: Systematischer Entwurf digitaler Systeme. Teubner Verlag, 1989 (Details)

1988

Rammig, Franz Josef; Schrewe, M.; Vorloeper, G.: A Transputer-Based Accelerator for Multilevel digital Simulation. In: EUROMICRO, Zurich, Aug. 1988 (Details)

Kastens, U.; Rammig, Franz Josef: Architektur und Betrieb von Rechensystemen. In: Kastens, U.; Rammig, Franz Josef (Hrsg.) 10. GI/ITG-Fachtagung, Paderborn, Mrz. 1988, Springer Verlag (Details)

1987

Gottheil, K.; Kachel, G.; Kathoefer, T.; Kaufmann, H. J.; Kleinjohann, Bernd; Kupitz, E.; Miller, J.; Nelke, B.; Rammig, Franz Josef; Steinmüller, B.; White, C.: The Cadlab Workstation CWS - An Open, Generic System for Tool Integration. In: Proc. of the IFIP WG 10.2 Workshop on Tool Integration and Design Environments, Paderborn, 26. - 27. Nov. 1987, North Holland (Details)

Rammig, Franz Josef: Tool Integration and Design Environments. In: Rammig, Franz Josef (Hrsg.) IFIP WG 10.2 Workshop on Tool Integration and Design Environments, Paderborn, 26. - 27. Nov. 1987, North Holland (Details)

Bidjan-Irani, M.; Glässer, Uwe; Rammig, Franz Josef: Knowledge Based Tools for Testability Checking. In: 3rd Intern. Conference on Fault-Tolerant Computing Systems, Bremerhaven, Sep. 1987 (Details)

Rammig, Franz Josef: Multilevel Simulation Techniques. In: COMPEURO, Tutorialband 2, Hamburg, IEEE, 11. - 15. Mai 1987 (Details)

Rammig, Franz Josef: Design Languages: Concepts and Examples. In: COMPEURO, Tutorialband 2, Hamburg, IEEE, 11. - 15. Mai 1987 (Details)

1986

Bidjan-Irani, M.; Glässer, Uwe; Rammig, Franz Josef: Wissensbasierte Systeme als Überprüfungswerkzeuge für Testfreundlichkeit. In: Anwenderforum Expertensysteme, Wuppertal, 2. - 3. Dez. 1986 (Details)

Brück, R.; Kleinjohann, Bernd; Kathoefer, T.; Rammig, Franz Josef: Synthesis of Concurrent Modular Controllers from Algorithmic Descriptions. In: 23rd Design Automation Conference, Las Vegas, 29. Jun. - 2. Jul. 1986 (Details)

Rammig, Franz Josef: Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe. In: NTG/GI-Fachtagung 'Architektur und Betrieb von Rechensystemen', Stuttgart, Tagungsband 9, 10. - 12. Mrz. 1986 (Details)

Rammig, Franz Josef: Mixed Level Modelling and Simulation of VLSI Systems. In: E. Hörbst (ed.): Advances in CAD (North Holland), Band II, 1986 (Details)

1985

Kleinjohann, Bernd; Kowalski, P.; Kupitz, E.; Preuß, W.; Rammig, Franz Josef; Reinhardt, M.; Strauß, Jürgen: AHLAP - An Advanced Highlevel Languages Assisting Processor. In: EUROMICRO, Bruxelles, 3. - 5. Sep. 1985 (Details)

Brück, R.; Kleinjohann, Bernd; Rammig, Franz Josef: Synthesis of Modular controllers from CAP/DSDL Descriptions. In: CHDL, Tokyo, Japan, 29. - 31. Aug. 1985 (Details)

1984

Gröning, K.; Lewke, Klaus - Dieter; Rammig, Franz Josef: A Unified Multilevel Simulation Technique. In: IEEE ICCAD, Santa Clara, CA, 12. - 15. Nov. 1984 (Details)

Rammig, Franz Josef: Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen. In: 14. GI-Jahrestagung, Fachgespräch 'Grundlagen der Größtintegration (VLSI)' - eingel. Vortrag, Braunschweig, 1. - 4. Okt. 1984 (Details)

Rammig, Franz Josef: Design Aids for Highly Distributed Hardware. In: IFIP WG 10.5 Workshop on Hardware Supported Implementation of Concurrent Languages in Distributed Systems, Bristol, U.K., 26. - 28. Mrz. 1984 (Details)

1983

Frantz, D.; Rammig, Franz Josef: The Impact of an Advanced CHDL on VLSI Design. In: IEEE ICCD, Port Chester, N. Y., Okt. 1983 (Details)

Rammig, Franz Josef: A Multilevel Cybernetic Model of the Design Process. In: IFIP WG 10.1 Working Conference on Methodology for Computer System Design, Lille, Sep. 1983 (Details)

Lewke, Klaus - Dieter; Rammig, Franz Josef: The Simulation of MOS Devices within the Framework of Register Transfer Languages. In: VLSI, Trondheim, Norway, Aug. 1983 (Details)

1982

Rammig, Franz Josef: Hierarchical Modular Description of VLSI Systems. In: IEEE Workshop on VLSI and Software Engineering, Port Chester, N. Y., Nov. 1982 (Details)

Baudet, G. M.; Cutler, M.; Davio, M.; Peskin, A.; Rammig, Franz Josef: The Relationship between HDLs and Programming Languages. In: IEEE Workshop on VLSI and Software Engineering, Port Chester, N. Y., Nov. 1982 (Details)

1981

Dachauer, R. J.; Gröning, K.; Lewke, Klaus - Dieter; Rammig, Franz Josef: The CAP/DSDL System: Simulator and Case Study. In: International Conference on Computer Hardware Description Languages and their Applications, Kaiserslautern, 19. - 21. Sep. 1981 (Details)

Rammig, Franz Josef: CAP/SIL - Eine Systemimplementerungssprache für Multi-Mikroprozessor-Systeme aus der CAP Sprachfamilie. In: ACM Workshop 'Implementierungssprachen für nicht sequentielle Programmsysteme', Kaiserslautern, 20. Feb. 1981 (Details)

1980

Rammig, Franz Josef: Structured Parallel Programming with a Highly Concurrent Programming Language. In: Atti di congresso Annuale AICA 80, Bologna, 29. - 31. Okt. 1980 (Details)

Rammig, Franz Josef: Erfahrungen beim Entwurf und der Implementation eines großen CAD-Systems in Kooperation zwischen Universität und Industrie. In: MICAD-80, Paris, 23. - 26. Sep. 1980 (Details)

Rammig, Franz Josef: Five Valued Quasi Boolean Functions. In: 5th European Meeting on Cybernetics and System Research, Wien, 8. - 11. Apr. 1980 (Details)

Rammig, Franz Josef: Entwurf, Beschreibung und Implementation von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP. In: GI-NTG Fachtagung, 19. - 21. Mrz. 1980 (Details)

1979

Rammig, Franz Josef: The Implementation of the Computer Hardware Description Language CAP and its Applications. In: International Symposium on Hardware Description Languages and their Applications, Palo Alto, CA, 8. - 9. Okt. 1979 (Details)

Rammig, Franz Josef: The Concurrent Programming Language CAP and the Micro-Processor Oriented CAP. In: CAD-System Proceedings of Euromicro, Göteborg, 27. - 29. Aug. 1979 (Details)

Rammig, Franz Josef: Entwicklung von Mikroprozessor Software und Mikroprozessor orientierter Hardware mit Hilfe des CAP CAD-Systems. In: ACM-Workshop on Microcomputing, München, 1979 (Details)

1977

Rammig, Franz Josef: A Concept for the Editing of Hardware Resulting in an Automatic Hardware Editor. In: 14th Design Automation Conference, New Orleans, 20. - 22. Jun. 1977 (Details)

Rammig, Franz Josef; Moraga, C.; Vogel, A.T.: Six-Valued Simulation of Ternary Switching Circuits (CARMEN II). In: 7th International Symposium on Multiple-Valued Logic, Charlotte, NC, 24. - 27. Mai 1977 (Details)

Rammig, Franz Josef: A Universal Hardware Editor Based on an Algebraic Model of the Time-Behaviour of Digital Circuits. In: IFAC Symposium on Discrete Systems, Dresden, 14. - 15. Mrz. 1977 (Details)

Rammig, Franz Josef: Petri Net Based Description, Analysis and Simulation of Concurrent Processes. In: ACM SIGDA Newsletters, Band 7, no. 2, 1977 (Details)

1976

Rammig, Franz Josef: Ein Simulator digitaler Schaltwerke - SIMAL. In: Digital Processes, Band 2, no. 2, 1976 (Details)

Rammig, Franz Josef: Quasi Reale Boolesche Funktionen. Ein Versuch, zeitliche Effekte physikalisch realisierter Bauteile zu algebraisieren. In: Digital Processes, Band 2, no. 1, 1976 (Details)

Gausemeier, Jürgen; Müller, Wolfgang: COMPAC - ein Baustein zur rechnerunterstützten Konstruktion und Fertigungsvorbereitung. Industrie-Anzeiger 98, (45) 1976 (Details)

1975

Rammig, Franz Josef: DIGITEST II: An Integrated Structural and Behavioural Language. In: International Symposium on Computer Hardware Description Languages and their Applications, New York, 3. - 5. Sep. 1975 (Details)

Gausemeier, Jürgen; Debler, Hartmut; Müller, Wolfgang: Automatisierte Zeichnungserstellung. In: VDI-Berichte 249, 1975, VDI-Verlag, Düsseldorf (Details)

1974

Rammig, Franz Josef: Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung. In: Simulationshard- und Software Tagungsband NTG-Fachtagung Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Karlsruhe, 25. - 27. Sep. 1974 (Details)

Rammig, Franz Josef: DIGITEST: A Structural Language Based on Algebraic Models of the Logic Topology and the Time Behaviour of Digital Circuits. In: Proceedings of 2nd Workshop on Computer Hardware Description Languages, Darmstadt, Jul. 1974 (Details)

1970

Schäfer, R.; Müller, Wolfgang: Evaluation of a Multimodal System Based on Dialogue Models and Transformations. In: International Workshop on Usability of User Interfaces: From Monomodal to Multimodal - IWUMUI 2007 at HCI 2007, Lancaster, United Kingdom, Sep. 1970 (Details)

Schäfer, R.; Müller, Wolfgang; Deimann, R.: A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, Jan. 1970 (Details)

Publikationen

Jahrgang:

Nur Publikationen folgender Autoren anzeigen:

Art der Publikation:

Stichwortsuche:

alle Jahre
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1977
1976
1975
1974
1970