| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antoine Miné, David Delmas |
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.  |
EMSOFT  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah |
The federated scheduling of systems of conditional sporadic DAG tasks. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Farley Lai, Daniel Schmidt, Octav Chipara |
Static memory management for efficient mobile sensing applications. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Baudart, Albert Benveniste, Timothy Bourke |
Loosely time-triggered architectures: improvements and comparisons. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh |
Forward invariant cuts to simplify proofs of safety. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Truong X. Nghiem, Rahul Mangharam |
Scalable scheduling of energy control systems. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Dokhanchi, Aditya Zutshi 0001, Rahul T. Sriniva, Sriram Sankaranarayanan 0001, Georgios Fainekos |
Requirements driven falsification with coverage metrics. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter |
Modeling and simulating cyber-physical systems using CyPhySim. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Biao Hu 0001, Kai Huang 0001, Gang Chen 0023, Long Cheng 0007, Alois C. Knoll |
Adaptive runtime shaping for mixed-criticality systems. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Tretter, Jani Boutellier, James Guthrie, Lars Schor, Lothar Thiele |
Executing dataflow actors as kahn processes. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim 0001, Jinkyu Jeong |
Managing gpu buffers for caching more apps in mobile systems. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Manderscheid, Gereon Weiss, Rudi Knorr |
Verifying network performance of cyber-physical systems with multiple runtime configurations. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Moreno 0002, M. Anwar Hasan, Sebastian Fischmeister |
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Nelson 0001, Kees Goossens |
Distributed power management of real-time applications on a GALS multiprocessor SOC. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister |
A framework for mining hybrid automata from input/output traces. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth |
Parametrized dataflow scenarios. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Nan Guan (eds.) |
2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015 |
EMSOFT |
2015 |
DBLP BibTeX RDF |
|
| 1 | Miroslav Pajic, Junkil Park, Insup Lee 0001, George J. Pappas, Oleg Sokolsky |
Automatic verification of linear controller software. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Renato Mancuso 0001, Andrew V. Louis, Marco Caccamo |
Using traffic phase shifting to improve AFDX link utilization. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott |
A scalable algebraic method to infer quadratic invariants of switched systems. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Iegorov, Vincent Leroy 0001, Alexandre Termier, Jean-François Méhaut, Miguel Santana |
Data mining approach to temporal debugging of embedded streaming applications. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Pouzet |
Building a hybrid systems modeler from synchronous language principles. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lothar Thiele, Pratyush Kumar |
Can real-time systems be chaotic? |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse |
Reachability of hybrid systems in space-time. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schrammel |
Unbounded-time reachability analysis of hybrid systems by abstract acceleration. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Pan, Mimi Xie, Chengmo Yang, Zili Shao, Jingtong Hu |
Nonvolatile main memory aware garbage collection in high-level language virtual machine. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Panic, Eduardo Quiñones, Pavel G. Zaykov, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla |
Parallel many-core avionics systems. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |
Contract-based integration of cyber-physical analyses. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Hao Wu 0013 |
Exponentially timed SADF: Compositional semantics, reductions, and analysis. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kan Zhong, Tianzheng Wang 0001, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao, Edwin Hsing-Mean Sha |
Building high-performance smartphones via non-volatile memory: The swap approach. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan C. Kleinsorge, Peter Marwedel |
Computing maximum blocking times with explicit path analysis under non-local flow bounds. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar 0004, Greta Cutulenco, Sebastian Fischmeister |
SiPTA: Signal processing for trace-based anomaly detection. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Raymond |
A general approach for expressing infeasibility in Implicit Path Enumeration Technique. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan 0001, James Kapinski |
Multiple shooting, CEGAR-based falsification for hybrid systems. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Nimit Singhania |
Precise piecewise affine models from input-output data. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Borislav Nikolic, Stefan M. Petters |
EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs - Myth or fact? |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst |
Extending typical worst-case analysis using response-time dependencies to bound deadline misses. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele |
Energy efficient DVFS scheduling for mixed-criticality systems. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tulika Mitra, Jan Reineke 0001 (eds.) |
2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014 |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pratyush Kumar, Lothar Thiele |
P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangmo Tong, Cong Liu 0005 |
Supporting read/write applications in embedded real-time systems via suspension-aware analysis. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorel Preoteasa, Stavros Tripakis |
Refinement calculus of reactive systems. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Husheng Zhou, Cong Liu 0005 |
Task mapping in heterogeneous embedded systems for fast completion time. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Rupak Majumdar |
Deductive control synthesis for alternating-time logics. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Ferry, Gregory Bunting, Amin Maghareh, Arun Prakash, Shirley Dyke, Kunal Agrawal, Christopher D. Gill, Chenyang Lu 0001 |
Real-time system support for hybrid structural simulation. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Goessler, Lacramioara Astefanoaei |
Blaming in component-based real-time systems. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Döbel, Hermann Härtig |
Can we put concurrency back into redundant multithreading? |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Alhammad, Rodolfo Pellizzoni |
Schedulability analysis of global memory-predictable scheduling. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian-Jia Chen, Muhammad Shafique 0001 |
Embedded software reliability for unreliable hardware. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sisu Xi, Meng Xu 0010, Chenyang Lu 0001, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee 0001 |
Real-time multi-core virtual machine scheduling in Xen. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia |
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Wn Song, Yann-Hang Lee |
On the existence of probe effect in multi-threaded embedded programs. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Chattopadhyay 0001, Petru Eles, Zebo Peng |
Automated software testing of memory performance in embedded GPUs. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre |
Synthesising optimal timing delays for Timed I/O Automata. |
EMSOFT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan K. Jackson, Gabor Simko, Janos Sztipanovits |
Diversely enumerating system-level architectures. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yeong-Jae Woo, Jin-Soo Kim |
Diversifying wear index for MLC NAND flash memory to extend the lifetime of SSDs. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Ernst, Oleg Sokolsky |
Message from the program co-chairs. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftherios Matsikoudis, Christos Stergiou 0001, Edward A. Lee |
On the schedulability of real-time discrete-event systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai N. Bui, Edward A. Lee |
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha |
Synthesis of fixed-point programs. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega |
Limited preemptive scheduling of non-independent task sets. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Hiep Chu, Joxan Jaffar |
Path-sensitive resource analysis compliant with assertions. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele |
Scheduling of mixed-criticality applications on resource-sharing multicore systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula Herber, Robert Reicherdt, Patrick Bittner |
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Biswajit Mazumder, Jason O. Hallstrom |
An efficient code update solution for wireless sensor network reprogramming. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Mover, Alessandro Cimatti, Ashish Tiwari 0001, Stefano Tonetta |
Time-aware relational abstractions for hybrid systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan C. Kleinsorge, Heiko Falk, Peter Marwedel |
Simple analysis of partial worst-case execution paths on general control flow graphs. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin |
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pansy Arafa, Hany Kashif, Sebastian Fischmeister |
DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Jun Liu 0015, Richard M. Murray |
Pre-orders for reasoning about stability properties with respect to input of hybrid systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Hoffmann, Martina Maggio, Marco D. Santambrogio, Alberto Leva, Anant Agarwal |
A generalized software framework for accurate and efficient management of performance goals. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Ernst, Oleg Sokolsky (eds.) |
Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013 |
EMSOFT |
2013 |
DBLP BibTeX RDF |
|
| 1 | Magnus Persson 0001, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil |
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
Determinate composition of FMUs for co-simulation. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parasara Sridhar Duggirala, Ashish Tiwari 0001 |
Safety verification for linear systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Nishtala, Daniel Mossé, Vinicius Petrucci |
Energy-aware thread co-location in heterogeneous multicore processors. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur |
BPDF: A statically analyzable dataflow model with integer and boolean parameters. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 |
Verification of annotated models from executions. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha |
Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin |
Stability-aware analysis and design of embedded control systems. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss |
On composing and proving the correctness of reactive behavior. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwanghwan Kim, Hojung Cha |
WakeScope: Runtime WakeLock anomaly management scheme for Android platform. |
EMSOFT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
An overview of the career of Paul Caspi. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele |
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia López Cueva, Aurélie Bertaux, Alexandre Termier, Jean-François Méhaut, Miguel Santana |
Debugging embedded multimedia application traces through periodic pattern mining. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij |
Compositional temporal analysis model for incremental hard real-time system design. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar |
Input-output robustness for discrete systems. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Nogueira, Luís Miguel Pinho |
Server-based scheduling of parallel real-time tasks. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David |
A low-overhead dedicated execution support for stream applications on shared-memory cmp. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Fu, Nicholas Kottenstette, Chenyang Lu 0001, Xenofon D. Koutsoukos |
Feedback thermal control of real-time systems on multicore processors. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Finite automata with time-delay blocks. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers |
A new data flow analysis model for TDM. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Archana Ravindar, Y. N. Srikant |
Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, Heiko Falk |
Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |
Synthesis from incompatible specifications. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha |
Shared hardware data structures for hard real-time systems. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Döbel, Hermann Härtig, Michael Engel |
Operating system support for redundant multithreading. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license