Login / Signup
DIPES/BICC
2010
2010
2010
Keyphrases
Publications
2010
Uwe Glässer
,
Piper J. Jackson
,
Ali Khalili Araghi
,
Hans Wehn
,
Hamed Yaghoubi Shahir
A Collaborative Decision Support Model for Marine Safety and Security Operations.
DIPES/BICC
(2010)
Safouan Taha
,
Ansgar Radermacher
,
Sébastien Gérard
An Entirely Model-Based Framework for Hardware Design and Simulation.
DIPES/BICC
(2010)
Marilyn Wolf
,
Bernd Kleinjohann
,
Lisa Kleinjohann
Preface.
DIPES/BICC
(2010)
Kay Klobedanz
,
Gilles B. Defo
,
Henning Zabel
,
Wolfgang Müller
,
Yuan Zhi
Task Migration for Fault-Tolerant FlexRay Networks.
DIPES/BICC
(2010)
Tao Xie
,
Wolfgang Müller
,
Florian Letombe
Efficient Mutation-Analysis Coverage for Constrained Random Verification.
DIPES/BICC
(2010)
Markus Becker
,
Henning Zabel
,
Wolfgang Müller
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.
DIPES/BICC
(2010)
Bojan Jakimovski
,
Michael Kotke
,
Martin Hörenz
,
Erik Maehle
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking.
DIPES/BICC
(2010)
Wenjing Zhao
,
Jiangjun Tang
,
Sameer Alam
,
Axel Bender
,
Hussein A. Abbass
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms.
DIPES/BICC
(2010)
Ricardo Jorge Machado
,
João M. Fernandes
,
João Paulo Barros
,
Luís Gomes
Scenario-Based Modeling in Industrial Information Systems.
DIPES/BICC
(2010)
Cyrille Artho
,
Masami Hagiya
,
Watcharin Leungwattanakit
,
Yoshinori Tanabe
,
Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C.
DIPES/BICC
(2010)
Daniel Baudisch
,
Jens Brandt
,
Klaus Schneider
Dependency-Driven Distribution of Synchronous Programs.
DIPES/BICC
(2010)
Lucio Mauro Duarte
,
Luciana Foss
,
Flávio Rech Wagner
,
Tales Heimfarth
Model Checking the Ant Colony Optimisation.
DIPES/BICC
(2010)
Nugroho Fredivianus
,
Urban Richter
,
Hartmut Schmeck
Collaborating and Learning Predators on a Pursuit Scenario.
DIPES/BICC
(2010)
Abderraouf Benyahia
,
Arnaud Cuccuru
,
Safouan Taha
,
François Terrier
,
Frédéric Boulanger
,
Sébastien Gérard
Extending the Standard Execution Model of UML for Real-Time Systems.
DIPES/BICC
(2010)
Claudius Stern
,
Philipp Adelt
,
Matthias Schmitz
,
Lisa Kleinjohann
,
Bernd Kleinjohann
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems.
DIPES/BICC
(2010)
Steffen Kollmann
,
Victor Pollex
,
Frank Slomka
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems.
DIPES/BICC
(2010)
Peter A. Lindsay
,
Franz J. Rammig
,
Mike Hinchey
,
Jon Timmis
Preface.
DIPES/BICC
(2010)
Wolfgang Müller
,
Alexander Bol
,
Alexander Krupp
,
Ola Lundkvist
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.
DIPES/BICC
(2010)
Nadia Abd-Alsabour
Feature Selection for Classification Using an Ant System Approach.
DIPES/BICC
(2010)
Rolf Ernst
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design.
DIPES/BICC
(2010)
Luís Nogueira
,
Luís Miguel Pinho
,
Jorge Coelho
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems.
DIPES/BICC
(2010)
Roshan G. Ragel
,
Jude Angelo Ambrose
,
Jorgen Peddersen
,
Sri Parameswaran
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors.
DIPES/BICC
(2010)
Frédéric Fauberteau
,
Serge Midonnet
,
Laurent George
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems.
DIPES/BICC
(2010)
Tomás G. Moreira
,
Marco A. Wehrmeister
,
Carlos Eduardo Pereira
,
Jean-François Pétin
,
Eric Levrat
Generating VHDL Source Code from UML Models of Embedded Systems.
DIPES/BICC
(2010)
Johan Lilius
,
Andreas Dahlin
,
Lionel Morel
Rialto 2.0: A Language for Heterogeneous Computations.
DIPES/BICC
(2010)
Philipp A. Hartmann
,
Kim Grüttner
,
Achim Rettberg
,
Ina Podolski
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC.
DIPES/BICC
(2010)
Sufyan Samara
,
Yuhong Zhao
,
Franz J. Rammig
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services.
DIPES/BICC
(2010)
Andreas Bernauer
,
Johannes Zeppenfeld
,
Oliver Bringmann
,
Andreas Herkersdorf
,
Wolfgang Rosenstiel
Combining Software and Hardware LCS for Lightweight On-Chip Learning.
DIPES/BICC
(2010)
Dominik Fisch
,
Ferdinand Kastl
,
Bernhard Sick
Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing Techniques.
DIPES/BICC
(2010)
volume 329, 2010
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, Brisbane, Australia, September 20-23, 2010. Proceedings
DIPES/BICC
329 (2010)