Communicating sequential processes
Communicating sequential processes
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Theoretical Computer Science
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Ada 95: the Lovelace tutorial
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
An algebraic framework for urgency
Information and Computation
Communication and Concurrency
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
What's Ahead for Embedded Software?
Computer
On the Construction of Live Timed Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Modeling Urgency in Timed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Methodology for the Construction of Scheduled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
On-the-fly symbolic model checking for real-time systems
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
A Framework for Scheduler Synthesis
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
MetaH Support for Real-Time Multi-Processor Avionics
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Hardware/Software Codesign of Embedded Systems -The SPI Workbench
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
Towards validated real-time software
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Synchronous Modeling of Avionics Applications using the SIGNAL Language
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Network-on-Chip Modeling for System-Level Multiprocessor Simulation
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Research trends in real-time computing for embedded systems
ACM SIGBED Review - Special issue on major international initiatives on real-time and embedded systems
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-driven architecture for embedded software: A synopsis and an example
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards UML-based formal specifications of component-based real-time software
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
JAHUEL: a formal framework for software synthesis
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Model checking prioritized timed automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Embedded Systems Design
Proceedings of the Third Symposium on Information and Communication Technology
| Hi-index | 0.00 |