|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 10 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
163 | Howard Bowman, Rodolfo Gómez 0001 |
How to stop time stopping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(4), pp. 459-493, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata |
121 | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel |
Deriving Non-zeno Behavior Models from Goal Models Using ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 1-15, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry 0001 |
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 451-464, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Farn Wang, Geng-Dian Huang, Fang Yu 0001 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(7), pp. 510-526, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
33 | Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye |
When Are Timed Automata Determinizable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 43-54, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Farn Wang, Geng-Dian Hwang, Fang Yu 0001 |
TCTL Inevitability Analysis of Dense-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings, pp. 176-187, 2003, Springer, 3-540-40561-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
32 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 163-178, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Arman Sharifi Kolarijani, Peyman Mohajerin Esfahani, Tamás Keviczky |
A Hybrid Control Framework for Fast Methods Under Invexity: Non-Zeno Trajectories with Exponential Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 4078-4083, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Ryo Yanase |
Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 567-568, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 228, pp. 83-119, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Deriving non-Zeno behaviour models from goal models using ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 22(3-4), pp. 217-241, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Farn Wang |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 485-489, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation |
17 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Discretization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 69-83, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Jurdzinski, Ashutosh Trivedi 0001 |
Reachability-Time Games on Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 838-849, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Peter Csaba Ölveczky, Martin Grimeland |
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Fairness of Actions in System Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(2), pp. 73-130, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stavros Tripakis |
Fault Diagnosis for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 205-224, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault diagnosis, Timed Automata, Partial observability |
17 | Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli |
Optimal Control Using Bisimulations: Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 175-188, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|