| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | 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 | Rajeev Alur, Ashutosh Trivedi |
Relating average and discounted costs for quantitative analysis of timed systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Heterogeneous actor modeling. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
Synthesis of optimal switching logic for hybrid systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Rushby |
New challenges in certification for aircraft software. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl |
Challenges in the regulatory approval of medical cyber-physical systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, Majid Zamani |
Performance-aware scheduler synthesis for control 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 | Mohamed Bamakhrama, Todor Stefanov |
Hard-real-time scheduling of data-dependent tasks in embedded streaming applications. |
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 | Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree |
Cross-layer analysis, testing and verification of automotive control software. |
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 | 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 | Rui Santos, Moris Behnam, Thomas Nolte, Paulo Pedreiras, Luís Almeida |
Multi-level hierarchical scheduling in ethernet switches. |
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 | 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 | 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 | Oded Maler |
On under-determined dynamical 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 | 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 | Jan Vitek, Tomas Kalibera |
Repeatability, reproducibility, and rigor in systems research. |
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 | Jiang Liu, Naijun Zhan, Hengjun Zhao |
Computing semi-algebraic invariants for polynomial dynamical 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 | Taeju Park, Soontae Kim |
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. |
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 | Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D. Gill |
RT-Xen: towards real-time hypervisor scheduling in xen. |
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 | 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 | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
Model-checking behavioral programs. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Berry |
Challenges and potential solutions for complex embedded systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr |
ARMor: fully verified software fault isolation. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger |
From boolean to quantitative synthesis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Shi, Jianhua Li, Chun Jason Xue, Chengmo Yang, Xuehai Zhou |
ExLRU: a unified write buffer cache management for flash memory. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur |
Formal verification of hybrid systems. |
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 | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley |
Safety-assured development of the GPCA infusion pump software. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Gerard J. Holzmann |
Software certification: coding, code, and coders. |
EMSOFT |
2011 |
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 | Tushar Kumar, Romain Cledat, Santosh Pande |
Dynamic tuning of feature set in highly variant interactive 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 | 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 | 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 | Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
Model-based implementation of real-time applications. |
EMSOFT |
2010 |
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 | Jinkyu Lee, Insik Shin, Arvind Easwaran |
Online robust optimization framework for QoS guarantees in distributed soft real-time systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee, 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 | 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 | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
Online stability validation using sector analysis. |
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 | Haohan Li, Sanjoy K. Baruah |
Load-based schedulability analysis of certifiable mixed-criticality systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Hao Chang, Tei-Wei Kuo |
A reliable MTD design for MLC flash-memory storage 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 | 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 | 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 | Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermueller |
A model based approach for debugging embedded systems in real-time. |
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 | Ankur Taly, Ashish Tiwari |
Switching logic synthesis for reachability. |
EMSOFT |
2010 |
DBLP DOI 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 | Gang Yao, Giorgio C. Buttazzo |
Reducing stack with intra-task threshold priorities in real-time systems. |
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 | Jiwon Hahn, Pai H. Chou |
Nucleos: a runtime system for ultra-compact wireless sensor nodes. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee |
Model-based specification of timing requirements. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee |
Modeling buffers with data refresh semantics in automotive architectures. |
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 | Samarjit Chakraborty, S. Ramesh, Jürgen Teich |
Model-based analysis, synthesis and testing of automotive hardware/software architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wu, Jingling Xue, Sridevan Parameswaran |
Optimal WCET-aware code selection for scratchpad memory. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh |
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. |
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 | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
From high-level component-based models to distributed implementations. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
Compositional deadlock detection for rendezvous communication. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SHIM, concurrency, static analysis, deadlock, divide-and-conquer |
| 1 | Andrea Bartolini, Martino Ruggiero, Luca Benini |
HVS-DBS: human visual system-aware dynamic luminance backlight scaling for video streaming applications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
power management, video streaming, display, LCD, backlight scaling |
| 1 | Lothar Thiele, Nikolay Stoimenov |
Modular performance analysis of cyclic dataflow graphs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus |
| 1 | Joseph Porter, Gabor Karsai, Janos Sztipanovits |
Towards a time-triggered schedule calculation tool to support model-based embedded software design. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
constraint programming, model-based design, time triggered architecture |
| 1 | Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal |
Formal and executable contracts for transaction-level modeling in SystemC. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling |
| 1 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
On relational interfaces. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement, compositionality |
| 1 | Gogul Balakrishnan, Sriram Sankaranarayanan, 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 | 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 | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
Modeling synchronous systems in BIP. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre |
| 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 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
| 1 | Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha |
Handling mixed-criticality in SoC-based real-time embedded systems. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
mixed-criticality, system-on-chip, runtime monitoring, platform-based design, AADL |
| 1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Compositional verification of fault-tolerant real-time programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
interference-freedom, fault-tolerance, real-time, formal methods, compositional verification |
| 1 | Samarjit Chakraborty, Nicolas Halbwachs (eds.) |
Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009 |
EMSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric 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 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
| 1 | Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun |
Exploring parallelization strategies for NUFFT data translation. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
geometric tiling, non-uniform fft, parallelization, gridding, code generation |
| 1 | Moris Behnam, Thomas Nolte, Reinder J. Bril |
Refining SIRAP with a dedicated resource ceiling for self-blocking. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SIRAP, real-time open systems, real-time subsystem integration, resource-sharing, hierarchical scheduling, synchronization protocol |
| 1 | Tang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu, Venkatesh Akella |
Markov decision process (MDP) framework for optimizing software on mobile phones. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
talk time extension, user-profile driven, mobile phones, markov-decision process, power optimization, android |
| 1 | Jack Whitham, Neil C. Audsley |
Implementing time-predictable load and store operations. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
wcet, scratchpad |
| 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 | Stephan Wilhelm, Björn Wachter |
Symbolic state traversal for WCET analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models |
| 1 | Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh |
Disk schedulers for solid state drivers. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
implementation study, Linux, disk scheduler, solid state drive |
| 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 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
Compositional timing analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
compositional generation, abstraction, timed automata, reachability analysis |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")