Stop the war!

Остановите войну!

• solidarity - (ua) - (ru)
• news - (ua) - (ru)
• donate - donate - donate

for scientists:

• ERA4Ukraine
• Assistance in Germany
• Ukrainian Global University
• #ScienceForUkraine

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

part of IFIP World Congress 2002

• 
  João M. Fernandes, Ricardo Jorge Machado:
  Can UML be a System-Level Language for Embedded Software?. DIPES 2002: 1-10
• 
  Roman Gumzej, Wolfgang A. Halang:
  PEARL for Distributed Embedded Systems. DIPES 2002: 11-20
• 
  Uwe Glässer, Margus Veanes:
  Universal Plug and Play Machine Models. DIPES 2002: 21-30

• 
  Zonghua Gu, Kang G. Shin:
  Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. DIPES 2002: 31-40
• 
  Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson:
  Petri Net Based Design of Reconfigurable Embedded. DIPES 2002: 41-50
• 
  Jean-Pierre Talpin:
  Model Checking Robustness to Desynchronization. DIPES 2002: 51-60

• 
  Nihal Kececi, Wolfgang A. Halang, Alain Abran:
  A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. DIPES 2002: 61-69
• 
  Holger Giese, Martin Kardos, Ulrich Nickel:
  Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80
• 
  Prabhat Mishra, Nikil D. Dutt:
  Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. DIPES 2002: 81-90

• 
  Emerson Rogério de Oliveira Junior, Ingrid Jansch-Pôrto:
  Statistical Analysis of a Hybrid Replication Model. DIPES 2002: 91-100
• 
  Paul Townend, Jie Xu, Malcolm Munro:
  Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study. DIPES 2002: 101-112
• 
  Domen Verber, Matjaz Colnaric, Wolfgang A. Halang:
  Fault Detection in Safety-Critical Embedded Systems. DIPES 2002: 113-119

• 
  Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat:
  Dependability Characterization of Middleware Services. DIPES 2002: 121-130
• 
  Stephen S. Yau, Fariaz Karim:
  Adaptive Middleware for Ubiquitous Computing Environments. DIPES 2002: 131-140
• 
  Danilo Beuche, Olaf Spinczyk, Wolfgang Schröder-Preikschat:
  Finegrained Application Specific Customization of Embedded Software. DIPES 2002: 141-151

• 
  Wolfgang A. Halang, Nihal Kececi, Grace Tsai:
  Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. DIPES 2002: 153-162
• 
  Peter P. Puschner:
  Transforming Execution-Time Boundable Code into Temporally Predictable Code. DIPES 2002: 163-172
• 
  Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst:
  Bottom-Up Performance Analysis of HW/SW Platforms. DIPES 2002: 173-183

• 
  Christophe Bobda:
  Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems. DIPES 2002: 185-194
• 
  Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig:
  Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. DIPES 2002: 205-215

• 
  Romualdo Santamaria:
  IEEE-1394 A Standard to Interconnect Distributed Systems. DIPES 2002: 217-225
• 
  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. DIPES 2002: 227-236
• 
  Stefan Ihmor, Markus Visarius, Wolfram Hardt:
  A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems. DIPES 2002: 237-246
• 
  Dirk Stichling, Bernd Kleinjohann:
  Low Latency Color Segmentation on Embedded Real-Time Systems. DIPES 2002: 247-256

• 
  Vytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas, Giedrius Majauskas:
  Soft IP Design Framework Using Metaprogramming Techniques. DIPES 2002: 257-266
• 
  Achim Rettberg, Wolfgang Thronicke:
  How to integrate Webservices in Embedded System Design?. DIPES 2002: 267-276
• 
  Markus Deppe, Mauro Cesar Zanella:
  Design and Realization of Distributed Real-Time Controller for Mechatronic Systems. DIPES 2002: 277-286

a service of  

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2024-04-25 05:27 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: