Compositional schedulability analysis of real-time actor-based systems (Q530212): Difference between revisions

@@ Property / Wikidata QID @@
+Q42290005
@@ Property / Wikidata QID: Q42290005 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduler modeling based on the controller synthesis paradigm
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement-based process algebra for timed automata
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Schedulability of asynchronous real-time concurrent objects
+Normal rank
@@ Property / cites work @@
+A Game Approach to Determinize Timed Automata
@@ Property / cites work: A Game Approach to Determinize Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Hard Real-Time Computing Systems
@@ Property / cites work: Hard Real-Time Computing Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Folk theorems on the determinization and minimization of timed automata
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551173
@@ Property / cites work: Q4551173 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum and maximum delay problems in real-time systems
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4439564
@@ Property / cites work: Q4439564 / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Undecidable Problems About Timed Automata
@@ Property / cites work: Undecidable Problems About Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The earlier the better
@@ Property / cites work: The earlier the better / rank @@
+Normal rank
@@ Property / cites work @@
+Scala actors: Unifying thread-based and event-based programming
+Normal rank
@@ Property / cites work @@
+Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance testing for real-time systems
@@ Property / cites work: Conformance testing for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769597
@@ Property / cites work: Q2769597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761742
@@ Property / cites work: Q2761742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778708
@@ Property / cites work: Q4778708 / rank @@
+Normal rank
@@ Property / cites work @@
+The timed failures -- Stability model for CSP
@@ Property / cites work: The timed failures -- Stability model for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+On Conformance Testing for Timed Systems
@@ Property / cites work: On Conformance Testing for Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
+Normal rank
@@ Property / cites work @@
+Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/acta/JaghooriBLCS17
@@ Property / DBLP publication ID: journals/acta/JaghooriBLCS17 / rank @@
+Normal rank