Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The SLAM project: debugging system software via static analysis
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
Supervisory Control of Distributed Systems: Conflict Resolution
Discrete Event Dynamic Systems
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
Code aware resource management
Proceedings of the 5th ACM international conference on Embedded software
Near-Optimal Online Control of Dynamic Discrete-Event Systems
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Singularity: rethinking the software stack
ACM SIGOPS Operating Systems Review - Systems work at Microsoft Research
Discrete control for safe execution of IT automation workflows
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Generation of concurrency control code using discrete-event systems theory
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Analyzing singularity channel contracts
Proceedings of the eighteenth international symposium on Software testing and analysis
Steering of Discrete Event Systems: Control Theory Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Dependability analysis of DES based on MARTE and UML state machines models
Discrete Event Dynamic Systems
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
Hi-index | 0.00 |
Discrete-Event System Theory (DES) allows the automatic control of a system with respect to a specification describing desirable sequences of events. It offers a large body of work with strong theoretical results and tool support. In this paper, we advocate the application of DES to software engineering problems. We summarize preliminary results and provide a list of directions for future research.