| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Borislav Nikolic, Stefan M. Petters |
Towards network-on-chip agreement protocols.  |
EMSOFT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Ernst, Alan Burns 0001, Lothar Thiele, Jimmy Le Rhun |
Mixed critical system design and analysis. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters |
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikel Fernández, Roberto Gioiosa, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla |
Assessing the suitability of the NGMP multi-core processor in the space domain. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Indranil Saha, Rupak Majumdar |
Trigger memoization in self-triggered control. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
On model based synthesis of embedded control software. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Cohen 0001, Léonard Gérard, Marc Pouzet |
Programming parallelism with futures in lustre. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kisung Lee, Youjip Won |
Smart layers and dumb result: IO characterization of an android-based smartphone. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, Majid Zamani 0001 |
Synthesis of minimal-error control software. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Becker 0001, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie 0006, Wolfgang Müller 0003 |
XEMU: an efficient QEMU based binary mutation testing framework for embedded software. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr (eds.) |
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 |
EMSOFT |
2012 |
DBLP BibTeX RDF |
|
| 1 | Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig |
Flattening hierarchical scheduling. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sebastian Fischmeister |
Runtime verification of real-time embedded systems. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Gerard J. Holzmann |
Software certification: coding, code, and coders. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni |
Automated addition of fault recovery to cyber-physical component-based models. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiang Liu 0009, Naijun Zhan, Hengjun Zhao |
Computing semi-algebraic invariants for polynomial dynamical systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, Majid Zamani 0001 |
Performance-aware scheduler synthesis for control systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Diemer, Jonas Rox, Mircea Negrean, Steffen Stein, Rolf Ernst |
Real-time communication analysis for networks with two-stage arbitration. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister (eds.) |
Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 |
EMSOFT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gérard Berry |
Challenges and potential solutions for complex embedded systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Santos, Moris Behnam, Thomas Nolte, Paulo Pedreiras, Luís Almeida 0001 |
Multi-level hierarchical scheduling in ethernet switches. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pratyush Kumar, Jian-Jia Chen, Lothar Thiele |
Demand bound server: generalized resource reservation for hard real-time systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha |
Resource allocation contracts for open analytic runtime models. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Insup Lee 0001, Mats Per Erik Heimdahl |
Challenges in the regulatory approval of medical cyber-physical systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
Model-checking behavioral programs. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng |
Reliability-aware frame packing for the static segment of flexray. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka |
Timing and schedulability analysis for distributed automotive control applications. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Heterogeneous actor modeling. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
On under-determined dynamical systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Zhao 0002, Guodong Li, Bjorn De Sutter, John Regehr |
ARMor: fully verified software fault isolation. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn B. Brandenburg, James H. Anderson |
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Hiep Chu, Joxan Jaffar |
Symbolic simulation on complicated loops for WCET path analysis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Shi, Jianhua Li 0003, Chun Jason Xue, Chengmo Yang, Xuehai Zhou |
ExLRU: a unified write buffer cache management for flash memory. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet |
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sisu Xi, Justin Wilson, Chenyang Lu 0001, Christopher D. Gill |
RT-Xen: towards real-time hypervisor scheduling in xen. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Ashutosh Trivedi 0001 |
Relating average and discounted costs for quantitative analysis of timed systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf |
Automated distributed implementation of component-based models with priorities. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Bamakhrama, Todor P. Stefanov |
Hard-real-time scheduling of data-dependent tasks in embedded streaming applications. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari 0001 |
Synthesis of optimal switching logic for hybrid systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee |
A practical ontology framework for static model analysis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Wassyng, Mark Lawford, T. S. E. Maibaum |
Software certification experience in the canadian nuclear industry: lessons for the future. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taeju Park, Soontae Kim |
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger |
From boolean to quantitative synthesis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, Insik Shin |
Aciom: application characteristics-aware disk and network i/o management on android platform. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek, Tomas Kalibera |
Repeatability, reproducibility, and rigor in systems research. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee 0001, Paul L. Jones, Yi Zhang 0051, Raoul Praful Jetley |
Safety-assured development of the GPCA infusion pump software. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Rushby |
New challenges in certification for aircraft software. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan C. Kleinsorge, Heiko Falk, Peter Marwedel |
A synergetic approach to accurate analysis of cache-related preemption delay. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh 0002, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree |
Cross-layer analysis, testing and verification of automotive control software. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten |
Synchronous control of reconfiguration in fractal component-based systems: a case study. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
Time-predictable and composable architectures for dependable embedded systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur |
Formal verification of hybrid systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo |
Task synchronization and allocation for many-core real-time systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Reinbacher, Jörg Brauer |
Precise control flow reconstruction using boolean logic. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Anne Bouillard, Paul Caspi |
A unifying view of loosely time-triggered architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Stoimenov, Lothar Thiele, Luca Santinelli, Giorgio C. Buttazzo |
Resource adaptations with servers for hard real-time systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
Components, platforms and possibilities: towards generic automation for MDA. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan |
Initiating a design pattern catalog for embedded network systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
Online stability validation using sector analysis. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwangyoon Cho, Kyoung-Soo We, Chang-Gun Lee, Kanghee Kim |
Using NAND flash memory for executing large volume real-time programs in automotive embedded systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
Power-aware temporal isolation with variable-bandwidth servers. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans |
Quantitative system validation in model driven design. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber 0001, Jean Quilbeuf, Joseph Sifakis |
From high-level component-based models to distributed implementations. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tushar Kumar, Romain Cledat, Santosh Pande |
Dynamic tuning of feature set in highly variant interactive applications. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Taly, Ashish Tiwari 0001 |
Switching logic synthesis for reachability. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino, Giorgio C. Buttazzo |
Energy-aware packet and task co-scheduling for embedded systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Hao Chang 0001, Tei-Wei Kuo |
A reliable MTD design for MLC flash-memory storage systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister |
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
A marketplace for cloud resources. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermüller |
A model based approach for debugging embedded systems in real-time. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiwon Hahn, Pai H. Chou |
Nucleos: a runtime system for ultra-compact wireless sensor nodes. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh 0002 |
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Thi Xuan Phan, Reinhard Schneider 0001, Samarjit Chakraborty, Insup Lee 0001 |
Modeling buffers with data refresh semantics in automotive architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinkyu Lee 0001, Insik Shin, Arvind Easwaran |
Online robust optimization framework for QoS guarantees in distributed soft real-time systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Huining Feng, Edward A. Lee, Lee W. Shruben |
Ptera: an event-oriented model of computation for heterogeneous systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Hua Chen, Pai H. Chou |
TeleScribe: a scalable, resumable wireless reprogramming approach. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Marquet, Matthieu Moy |
PinaVM: a systemC front-end based on an executable intermediate representation. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Yao, Giorgio C. Buttazzo |
Reducing stack with intra-task threshold priorities in real-time systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wu 0001, Jingling Xue, Sridevan Parameswaran |
Optimal WCET-aware code selection for scratchpad memory. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samarjit Chakraborty, S. Ramesh 0002, Jürgen Teich |
Model-based analysis, synthesis and testing of automotive hardware/software architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh |
Janus-FTL: finding the optimal point on the spectrum between page and block mapping schemes. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
Model-based implementation of real-time applications. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada |
Automatic verification of control system implementations. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haohan Li, Sanjoy K. Baruah |
Load-based schedulability analysis of certifiable mixed-criticality systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee |
Model-based specification of timing requirements. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca P. Carloni, Stavros Tripakis (eds.) |
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 |
EMSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yongjin Cho, Seungkyun Kim, Jaejin Lee, Heonshik Shin |
Parallelizing the H.264 decoder on the cell BE architecture. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Simon Perathoner, Lothar Thiele |
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, timed automata, hard real-time systems, real-time calculus |
| 1 | Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay |
An effective synchronization approach for fast and accurate multi-core instruction-set simulation. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
synchronization, multi-core, binary translation, instruction-set simulator |
| 1 | Vinayak Puranik, Tulika Mitra, Y. N. Srikant |
Probabilistic modeling of data cache behavior. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
data cache modeling, probabilistic execution time analysis |
| 1 | Rebecca L. Collins, Luca P. Carloni |
Flexible filters: load balancing through backpressure for stream programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
dynamic load balancing, stream programming |
| 1 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
| 1 | Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle |
Serving embedded content via web applications: model, design and experimentation. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
embedded web server, modeling, applicative model |
| 1 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Refining the control structure of loops using static analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis |
| 1 | Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh |
Disk schedulers for solid state drivers. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
implementation study, Linux, disk scheduler, solid state drive |
| 1 | Ahron Yang, Minseok Song 0001 |
Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
media players, dynamic voltage scaling, real-time embedded systems, low-power systems |
| 1 | Aviad Zuck, Ohad Barzilay, Sivan Toledo |
NANDFS: a flexible flash file system for RAM-constrained systems. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
RAM constrained, page mapping, file system, flash, NAND flash |
| 1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
Compositional timing analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
compositional generation, abstraction, timed automata, reachability analysis |
| 1 | Jack Whitham, Neil C. Audsley |
Implementing time-predictable load and store operations. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
wcet, scratchpad |
| 1 | Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit |
Monotonicity and run-time scheduling. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
simulation, real-time, dataflow, multi-processor |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license