| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Specification-centered robustness.  |
SIES  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Wisniewski |
Robustness in dynamical and control systems. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Lu 0005, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström |
Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ece Guran Schmidt, Melih Alkan, Klaus Schmidt 0002, Emrah Yürüklü, Utku Karakaya |
Performance Evaluation of FlexRay/CAN Networks Interconnected by a Gateway. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Caione, Davide Brunelli, Luca Benini |
Compressive sensing optimization over ZigBee networks. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Isabel de la Fuente, Javier Echanobe, Inés del Campo, Loreto Susperregui, Iñaki Maurtua |
Development of an Embedded System for Visual Servoing in an Industrial Scenario. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles André, Frédéric Mallet, Julien DeAntoni |
VHDL Observers for Clock Constraint Checking. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber 0001, Jean Quilbeuf, Joseph Sifakis |
Automated Conflict-free distributed implementation of component-based models. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orazio Mirabella, Lucia Lo Bello, Mario Collotta |
An innovative frequency hopping management mechanism for Bluetooth-based industrial networks. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Rahmouni, Frédéric Pétrot |
Improving the tests coverage of a medium voltage protection device using system simulation approaches. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kay Klobedanz, Gilles B. Defo, Wolfgang Müller 0003, Timo Kerstan |
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Swaytha Sasidharan, Fernando Pianegiani, David Macii |
A Protocol Performance Comparison in Modular WSNs for Data Center Server Monitoring. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Smirnov 0001, Kimmo Tolsa, Rafal P. Jastrzebski |
Implementation of a bumpless switch in axial magnetic bearings. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Franchino, Giorgio C. Buttazzo, Mauro Marinoni |
An Energy-Aware Algorithm for TDMA MAC Protocols in Real-Time Wireless Networks. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunjesh Shah, Tiberiu Seceleanu, Mikael Gidlund |
Design and Implementation of a WirelessHART Simulator for Process Control. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Santinelli, Mangesh Chitnis, Christian Nastasi, Fabio Checconi, Giuseppe Lipari, Paolo Pagano |
A Component-Based Architecture for Adaptive Bandwidth Allocation in Wireless Sensor Networks. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schmidt 0002, Ece Guran Schmidt |
A Longest-Path Problem for Evaluating the Worst-Case Packet Delay of Switched Ethernet. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis |
Compositional Translation of Simulink Models into Synchronous BIP. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Gückel, Jörg Brauer, Stefan Kowalewski |
A system for synthesizing abstraction-enabled simulators for binary code verification. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli |
HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Koldo Basterretxea, Inés del Campo, Javier Echanobe |
A semi-active suspension embedded controller in a FPGA. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Cucinotta, Dario Faggioli |
An Exception Based Approach to Timing Constraints Violations in Real-Time and Multimedia Applications. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel |
Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsin-Chou Chi, Tat-Seng Chang, Chia-Ming Wu |
Design of a Reconfigurable Pipelined Switch for Faulty On-Chip Networks. |
SIES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous |
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Kunert, Elisabeth Uhlemann, Magnus Jonsson |
Enhancing Reliability in IEEE 802.11 Based Real-Time Networks through Transport Layer Retransmissions. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Sojka, Pavel Písa, Martin Petera, Ondrej Spinka, Zdenek Hanzálek |
A Comparison of Linux CAN Drivers and their Applications. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Viejo, Jose Ignacio Villar, Jorge Juan, Alejandro Millán 0001, Manuel Jesús Bellido Díaz, Enrique Ostúa |
Design and implementation of a suitable core for on-chip long-term verification. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Real, Hector Posadas, Eugenio Villar |
L2 Cache Modeling based on address modification for Native Co-Simulation in SystemC. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Macii, Anton Ageev, Luca Abeni |
An Energy Saving Criterion for Wireless Sensor Networks with Time Synchronization Requirements. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bochi Saldanha, Robert Hartmann, Christophe Bobda |
Scratch Detector - A FPGA Based System for Scratch Detection in Industrial Picture Development. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuzo Ninagawa, Tomotaka Sato, Tomohisa Yamada |
Multi-Server Web Industrial Facility Monitoring by Only COTS Browser's Existing Functionality. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunnar Prytz, Jonny Skaalvik |
Redundant and synchronized EtherCAT network. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Kuznik, Gilles B. Defo, Wolfgang Müller 0003 |
Verification of a CAN bus model in SystemC with functional coverage. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Voit, Reinhard Schneider 0001, Dip Goswami, Anuradha Annaswamy, Samarjit Chakraborty |
Optimizing Hierarchical Schedules for Improved Control Performance. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence Pierre, Emmanuel Vaumorin |
A Design Flow for Critical Embedded Systems. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Penolazzi, Ingo Sander, Ahmed Hemani |
Inferring Energy and Performance Cost of RTOS in Priority-Driven Scheduling. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | |
IEEE Fifth International Symposium on Industrial Embedded Systems, SIES 2010, University of Trento, Italy, July 7-9, 2010 |
SIES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthias Ivers, Rolf Ernst |
Dependency-aware stochastic analysis of chained execution times. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Monzon, José L. Fernández-Sánchez |
Deadlock risk assessment in architectural models of real-time systems. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Caponetto, Giovanni Dongola, Antonio Gallo, Maria Gabriella Xibilia |
FPGA based soft sensor for the estimation of the kerosene freezing point. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Huang 0001, Iuliana Bacivarov, Jun Liu, Wolfgang Haid |
A modular fast simulation framework for stream-oriented MPSoC. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Andersson, Eduardo Tovar |
The utilization bound of non-preemptive rate-monotonic scheduling in Controller Area Networks is 25%. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateep Roy, Arben Çela, Yskandar Hamam |
On the relation of FIM and Controllability Gramian. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuzo Ninagawa, Tomotaka Sato |
Transmission reserve table buffer for CSMA type control networks of embedded systems. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Kumar, Jonghun Yoo, Seongsoo Hong |
Enhancing AUTOSAR methodology to a cotsbased development process via mapping to V-Model. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Fortino, Antonio Guerrieri, Fabio Luigi Bellifemine, Roberta Giannantonio |
SPINE2: developing BSN applications on heterogeneous sensor nodes. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ferrandiz, Fabrice Frances, Christian Fraboul |
A method of computation for worst-case delay analysis on SpaceWire networks. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Rahmouni, Patrice Gerin, Sebastien Chabanet, Paul Pianu, Frédéric Pétrot |
Modelling and architecture exploration of a medium voltage protection device. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich |
Refining assembly code static analysis for the Intel MCS-51 microcontroller. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Gora, Abhranil Maiti, Patrick Schaumont |
A flexible design flow for software IP binding in commodity FPGA. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat |
A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensions. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Rössler, Martin Zauner |
Evaluation of an Esterel-based hardware/software co-design flow. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Wang 0024, Yubai Li, Qicong Peng 0001, Taiqiu Tan |
A dynamic priority arbiter for Network-on-Chip. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpaolo Macario, Marco Torchiano, Massimo Violante |
An in-vehicle infotainment software architecture based on google android. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Paska |
Generative programming with support for formal verification. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Mohamad Jaber 0001, Joseph Sifakis |
Source-to-source architecture transformation for performance optimization in BIP. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Abousamra, Rami G. Melhem, Daniel Mossé |
Minimizing expected energy consumption for streaming applications with linear dependencies on chip multiprocessors. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadège Pontisso, Philippe Quéinnec, Gérard Padiou |
Temporal data matching in component based real time systems. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | |
IEEE Fourth International Symposium on Industrial Embedded Systems, SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8-10, 2009 |
SIES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Edmund Y. W. Seto, Annarita Giani, Victor Shia, Curtis Wang, Posu Yan, Allen Y. Yang, Michael Jerrett, Ruzena Bajcsy |
A wireless body sensor network for the prevention and management of asthma. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen 0012, Thomas Talanis, Reinhard German, Falko Dressler |
Real-time enabled IEEE 802.15.4 sensor networks in industrial automation. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Miskowicz |
On the unequal bandwidth share in LonWorks control networks. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuen-Long Leu, Chin-Long Wey, Jwu-E Chen, Yung-Yuan Chen |
Robustness investigation of the FlexRay system. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Sojka, Zdenek Hanzálek |
Modular architecture for real-time contract-based framework. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova |
Programmable temporal isolation through variable-bandwidth servers. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Raveendranathan, Vitali Loseu, Eric Guenterberg, Roberta Giannantonio, Raffaele Gravina, Marco Sgroi, Roozbeh Jafari |
Implementation of virtual sensors in body sensor networks with the SPINE framework. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Ducard, Raffaello D'Andrea |
Autonomous quadrotor flight using a vision system and accommodating frames misalignment. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Myung-kyung Suh, Kyujoong Lee, Ani Nahapetian, Majid Sarrafzadeh |
Interval training guidance system with music and wireless group exercise motivations. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Pereira 0001, Björn Andersson, Eduardo Tovar, Paulo Carvalho 0002 |
Improving the reliability of WiDom in a single broadcast domain. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul |
Centralized vs distributed communication scheme on Switched Ethernet for embedded military applications. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanderlei Bonato, Eduardo Marques |
RoboArch: A component-based tool proposal for developing hardware architecture for mobile robots. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Pinto de Castro, Rui Esteves Araujo, Hugo Oliveira |
Control in Multi-Motor Electric Vehicle with a FPGA platform. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu |
SoC-level risk assessment using FMEA approach in system design with SystemC. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Sommer, Elias A. Doumith, Quentin Duval |
On link harness optimization of embedded Ethernet networks. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Sejer Tranberg-Hansen, Jan Madsen |
Exploration of a digital audio processing platform using a compositional system level performance estimation framework. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Paulitsch, Christian Paukovits, Christian El Salloum |
Fault isolation with intermediate checks of end-to-end checksums in the Time-Triggered System-on-Chip Architecture. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mari Zakrzewski, Sakari Junnila, Antti Vehkaoja, Harri Kailanto, Antti-Matti Vainio, Irek Defée, Jukka Lekkala, Jukka Vanhala, Jari A. K. Hyttinen |
Utilization of wireless sensor network for health monitoring in home environment. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibo Zeng 0001, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Statistical analysis of Controller Area Network message response times. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Johan Karlsson |
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesus Roberto Millan-Almaraz, René de Jesús Romero-Troncoso, Luis Miguel Contreras-Medina, Arturo Garcia-Perez |
Embedded FPGA based induction motor monitoring system with speed drive fed using multiple wavelet analysis. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Angerer |
A digital receiver architecture for RFID readers. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Schweppe, Armin Zimmermann, Daniel Grill |
Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Nilsson, Lars Bengtsson, Bertil Svensson |
Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Carlos Metrôlho, Carlos Couto, Carlos A. Silva 0002, Adriano Tavares |
A language for automatic generation of fast instruction-set compiled simulators. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanikesavan Sivanthi, Ulrich Killat |
Valuing the design flexibility of a distributed real-time embedded system. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Franz Ackermann, Burghard Hoffmann, Leandro Soares Indrusiak, Manfred Glesner |
Enabling self-reconfiguration on a video processing platform. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Huang 0001, Iuliana Bacivarov, Fabian Hugelshofer, Lothar Thiele |
Scalably distributed SystemC simulation for embedded applications. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Rodriguez-Donate, René de Jesús Romero-Troncoso, Arturo Garcia-Perez, Daniel A. Razo-Montes |
FPGA based embedded system for induction motor failure monitoring at the start-up transient vibrations with wavelets. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Salewski, Stefan Kowalewski |
The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Pitter, Martin Schoeberl |
Performance evaluation of a java chip-multiprocessor. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Badrignans, Reouven Elbaz, Lionel Torres |
Secure update Mechanism for Remote Update of FPGA-Based System. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hehua Zhang |
Verifying programmable logic controllers with abstraction. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Milbredt, Martin Horauer, Andreas Steininger |
An investigation of the clique problem in FlexRay. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongbin Li, Luís Almeida 0001, Fausto Carramate, Zhi Wang 0003, Youxian Sun |
Connectivity-aware motion control among autonomous mobile units. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Meiser, Thomas Eisenbarth 0001, Kerstin Lemke-Rust, Christof Paar |
Efficient implementation of eSTREAM ciphers on 8-bit AVR microcontrollers. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich |
Challenges in embedded model checking - a simulator for the [mc]square model checker. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hochberger, Christian Meusel |
Infrastructure for web-based administration of embedded systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | |
IEEE Third International Symposium on Industrial Embedded Systems, SIES 2008, Montpellier / La Grande Motte, France, June 11-13, 2008 |
SIES |
2008 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license