Conferences in DBLP
João M. Fernandes , Ricardo Jorge Machado Can UML be a System-Level Language for Embedded Software?. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Gumzej , Wolfgang A. Halang PEARL for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Glässer , Margus Veanes Universal Plug and Play Machine Models. [Citation Graph (0, 0)][DBLP ] Conf ] Zonghua Gu , Kang G. Shin Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Rust , Friedhelm Stappert , Reinhard Bernhardi-Grisson Petri Net Based Design of Reconfigurable Embedded. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Talpin Model Checking Robustness to Desynchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Nihal Kececi , Wolfgang A. Halang , Alain Abran A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Giese , Martin Kardos , Ulrich Nickel Towards Design Verification and Validation at Multiple Levels of Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Prabhat Mishra , Nikil D. Dutt Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Emerson Rogério de Oliveira Junior , Ingrid Jansch-Pôrto Statistical Analysis of a Hybrid Replication Model. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Townend , Jie Xu , Malcolm Munro Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study. [Citation Graph (0, 0)][DBLP ] Conf ] Domen Verber , Matjaz Colnaric , Wolfgang A. Halang Fault Detection in Safety-Critical Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Marsden , Nicolas Perrot , Jean-Charles Fabre , Jean Arlat Dependability Characterization of Middleware Services. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen S. Yau , Fariaz Karim Adaptive Middleware for Ubiquitous Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Danilo Beuche , Olaf Spinczyk , Wolfgang Schröder-Preikschat Finegrained Application Specific Customization of Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang A. Halang , Nihal Kececi , Grace Tsai Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter P. Puschner Transforming Execution-Time Boundable Code into Temporally Predictable Code. [Citation Graph (0, 0)][DBLP ] Conf ] Kai Richter , Dirk Ziegenbein , Marek Jersak , Rolf Ernst Bottom-Up Performance Analysis of HW/SW Platforms. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Bobda Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Achim Rettberg , Bernd Kleinjohann , Franz J. Rammig Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Romualdo Santamaria IEEE-1394 A Standard to Interconnect Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mauro Cesar Zanella , Thomas Lehmann , Thorsten Hestermeyer , Andreas Pottharst Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Ihmor , Markus Visarius , Wolfram Hardt A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Stichling , Bernd Kleinjohann Low Latency Color Segmentation on Embedded Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vytautas Stuikys , Robertas Damasevicius , Giedrius Ziberkas , Giedrius Majauskas Soft IP Design Framework Using Metaprogramming Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Achim Rettberg , Wolfgang Thronicke How to integrate Webservices in Embedded System Design?. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Deppe , Mauro Cesar Zanella Design and Realization of Distributed Real-Time Controller for Mechatronic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 