22 results on '"Genest, Blaise"'
Search Results
2. A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways
3. Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
4. Asynchronous Games over Tree Architectures
5. Symbolically Bounding the Drift in Time-Constrained MSC Graphs
6. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
7. Atomicity for XML Databases
8. Quasi-Static Scheduling of Communicating Tasks
9. Tree Pattern Rewriting Systems
10. On Commutativity Based Edge Lean Search
11. Quantifying the Discord: Order Discrepancies in Message Sequence Charts
12. Constructing Exponential-Size Deterministic Zielonka Automata
13. Snapshot Verification
14. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs
15. Message Sequence Charts
16. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms
17. High-Level Message Sequence Charts and Projections
18. Pattern Matching and Membership for Hierarchical Message Sequence Charts
19. Infinite-State High-Level MSCs: Model-Checking and Realizability
20. Detecting Races in Ensembles of Message Sequence Charts
21. Causal Message Sequence Charts
22. Products of Message Sequence Charts
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.