|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 43 occurrences of 33 keywords
|
|
|
Results
Found 65 publication records. Showing 65 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
100 | Sanjeev Setia, Samir Koussih, Sushil Jajodia, Eric Harder |
Kronos: A Scalable Group Re-Keying Approach for Secure Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2000 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 14-17, 2000, pp. 215-228, 2000, IEEE Computer Society, 0-7695-0665-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multicast, Network Security, Key Management |
64 | Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman |
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 221-236, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire |
64 | David S. Lindsay |
A hardware monitor study of a CDC KRONOS system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 1976, March 29-31, 1976, Cambridge, MA, USA, pp. 136-144, 1976, ACM. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
51 | Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik |
Issues in distributed timed model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(1), pp. 4-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Distributed timed model checking, Kronos, Timed automata, Timed systems, Zeus |
36 | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings, pp. 116-135, 2007, Springer, 978-3-540-76648-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
?-simulation, integration of components, preservation of linear-time properties, timed systems |
33 | Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik |
Dealing with practical limitations of distributed timed model checking for timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 29(2), pp. 197-214, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM |
28 | Andi Liu, Yizhong Liu, Zhuocheng Pan, Yinuo Li, Jianwei Liu, Yuan Lu 0001 |
Kronos: A Robust Sharding Blockchain Consensus with Optimal Communication Overhead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03655, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Andi Liu, Yizhong Liu, Zhuocheng Pan, Yinuo Li, Jianwei Liu, Yuan Lu 0001 |
Kronos: A Robust Sharding Blockchain Consensus with Optimal Communication Overhead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 206, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
28 | Shuai Xue, Shang Zhao 0003, Quan Chen 0002, Zhuo Song, Shanpei Chen, Tao Ma, Yong Yang, Wenli Zheng, Minyi Guo |
Kronos: towards bus contention-aware job scheduling in warehouse scale computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 17(1), pp. 171101, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Katsiaryna Lashkevich, Fredrik Milani, David Chapela-Campa, Ihar Suvorau, Marlon Dumas |
Kronos: Discovery and Analysis of Waiting Time Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPM Doctoral Consortium / Demo ![In: Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), Rome, Italy, October 27, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Mohammad Hossein Namaki, Xin Zhang, Sukhjinder Singh, Arman Ahmed, Armina Foroutan, Yinghui Wu, Anurag K. Srivastava 0001, Anton Kocheturov |
Kronos: Lightweight Knowledge-based Event Analysis in Cyber-Physical Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, pp. 1766-1769, 2020, IEEE, 978-1-7281-2903-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Chengzhang Li, Yan Huang 0025, Yongce Chen, Brian Jalaian, Y. Thomas Hou 0001, Wenjing Lou |
Kronos: A 5G Scheduler for AoI Minimization Under Dynamic Channel Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019, Dallas, TX, USA, July 7-10, 2019, pp. 1466-1475, 2019, IEEE, 978-1-7281-2519-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Pierpaolo Basile, Giovanni Semeraro, Annalina Caputo |
Kronos-it: a Dataset for the Italian Semantic Change Detection Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLiC-it ![In: Proceedings of the Sixth Italian Conference on Computational Linguistics, Bari, Italy, November 13-15, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Vesa Norilo |
Kronos Meta-Sequencer - From Ugens to Orchestra, Score and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2016 International Computer Music Conference, ICMC 2016, Utrecht, The Netherlands, September 12-16, 2016, 2016, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Vesa Norilo |
Kronos: A Declarative Metaprogramming Language for Digital Signal Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 39(4), pp. 30-48, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | John N. Mordeson, D. S. Malik, Virginia M. Miller, Larry W. Hunter, Muthuvel Jayachandran, Alex Shepherd, Sarah Budney |
Risk for Carotid Intima-Medial Thickness in Recently Menopausal Women Enrolled in the Kronos Early Estrogen Prevention Study (KEEPS): Determination Using Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 11(3), pp. 267-283, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Fabian Fischer 0001, Florian Stoffel, Sebastian Mittelstädt, Tobias Schreck, Daniel A. Keim |
Using visual analytics to support decision making to solve the Kronos incident (VAST challenge 2014). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE VAST ![In: 9th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2014, Paris, France, October 25-31, 2014, pp. 301-302, 2014, IEEE Computer Society, 978-1-4799-6227-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Mark A. Whiting, Kristin A. Cook, Georges G. Grinstein, Kristen Liggett, Michael Cooper, John Fallon, Marc Morin |
VAST challenge 2014: The Kronos incident. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE VAST ![In: 9th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2014, Paris, France, October 25-31, 2014, pp. 295-300, 2014, IEEE Computer Society, 978-1-4799-6227-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Andrei Rukavina, Mariana Landoni, Paulina Verasay, Maria L. Traverso |
VAST Challenge 2014 - The Kronos incident - Mini-Challenge 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE VAST ![In: 9th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2014, Paris, France, October 25-31, 2014, pp. 383-384, 2014, IEEE Computer Society, 978-1-4799-6227-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Pilar Avila, Amalia Guaymas, Valeria Burgos |
The Kronos Incident (Mini-challenge 1). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE VAST ![In: 9th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2014, Paris, France, October 25-31, 2014, pp. 309-310, 2014, IEEE Computer Society, 978-1-4799-6227-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Emmanouel Rovithis, Andreas Mniestris, Andreas Floros |
Educational audio game design: sonification of the curriculum through a role-playing scenario in the audio game 'Kronos'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Audio Mostly Conference ![In: Audio Mostly 2014, AM '14, Aalborg, Denmark, October 1-3, 2014, pp. 21:1-21:6, 2014, ACM, 978-1-4503-3032-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Robert Escriva, Ayush Dubey, Bernard Wong 0001, Emin Gün Sirer |
Kronos: the design and implementation of an event ordering service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Ninth Eurosys Conference 2014, EuroSys 2014, Amsterdam, The Netherlands, April 13-16, 2014, pp. 3:1-3:14, 2014, ACM, 978-1-4503-2704-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Melissa Knight |
Wrath of the Titans: Awakening of Kronos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA Computer Animation Festival ![In: SIGGRAPH Asia 2013, Hong Kong, China, November 19-22, 2013, Computer Animation Festival, pp. 13:1, 2013, ACM, 978-1-4503-2630-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Melissa Knight |
Wrath of the Titans: Awakening of Kronos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Computer Animation Festival ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2013, Anaheim, CA, USA, July 21-25, 2013, Computer Animation Festival, pp. 96:1, 2013, ACM, 978-1-4503-2338-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Emmanouel Rovithis |
A classification of audio-based games in terms of sonic gameplay and the introduction of the audio-role-playing-game: Kronos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Audio Mostly Conference ![In: Audio Mostly 2012, 7th Conference on Interaction with Sound, Corfu, Greece, September 26-28, 2012, pp. 160-164, 2012, ACM, 978-1-4503-1569-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Vesa Norilo |
Kronos as a Visual Development Tool for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, ICMC 2012, Ljubljana, Slovenia, September 9-14, 2012, 2012, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
28 | Vesa Norilo |
Designing Synthetic Reverberators in Kronos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2011 International Computer Music Conference, ICMC 2011, Huddersfield, UK, July 31 - August 5, 2011, 2011, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Dmitry N. Kuznetsov, Alexey E. Nedorya, Eugene V. Tarassov, Vladimir E. Philippov, Marina Ya Philippova |
Kronos: Processor Family for High-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoRuCom ![In: Perspectives on Soviet and Russian Computing - First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers, pp. 266-272, 2006, Springer, 978-3-642-22815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik |
ZEUS: A Distributed Timed Model-Checker Based on KRONOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CONCUR ![In: Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 503-522, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman |
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 104-119, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine |
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 2875-2880, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
Kronos: A Model-Checking Tool for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 546-550, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Stavros Tripakis, Sergio Yovine |
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, RTAS'98, Denver, Colorado, USA, June 3-5, 1998, pp. 165-170, 1998, IEEE Computer Society, 0-8186-8569-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 298-302, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Sergio Yovine |
KRONOS: A Verification Tool for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 1(1-2), pp. 123-133, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Timed temporal logics, Real-time systems, Verification, Specification, Timed automata, Bisimulation |
28 | Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
The Tool KRONOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA, pp. 208-219, 1995, Springer, 3-540-61155-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Conrado Daws, Sergio Yovine |
Two Examples of Verification of Multirate Timed Automata with Kronos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings, pp. 66-75, 1995, IEEE Computer Society, 0-8186-7337-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Conrado Daws, Alfredo Olivero, Sergio Yovine |
Verifying ET-LOTOS programmes with KRONOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 227-242, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Stavros Tripakis |
Checking timed Büchi automata emptiness on simulation graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 15:1-15:19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages |
18 | Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik |
Hypervolume Approximation in Timed Automata Model Checking. ![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. 69-81, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis |
Deep Random Search for Efficient Model Checking of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers, pp. 111-124, 2006, Springer, 978-3-540-77418-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
Synchronization verification in system-level design with ILP solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 121-130, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Srba |
Timed-Arc Petri Nets vs. Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 385-402, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Patricia Bouyer |
Forward Analysis of Updatable Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(3), pp. 281-320, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness |
18 | Fang Yu 0001, Bow-Yaw Wang, Yao-Wen Huang |
Bounded Model Checking for Region Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 246-262, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Dirk Beyer 0001, Claus Lewerentz, Andreas Noack |
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 122-125, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Johan Bengtsson, Wang Yi 0001 |
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 491-503, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
Improving the Verification of Timed Systems Using Influence Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 21-36, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero |
An architecture-centric approach to the development of a distributed model-checker for timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 710, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
Compositional Termination Analysis of Symbolic Forward Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, pp. 109-125, 2002, Springer, 3-540-43631-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
Model Checking UML Specifications of Real Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 203-, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Supratik Mukhopadhyay, Andreas Podelski |
An Algebraic Framework for Abstract Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 152-169, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Yasmina Abdeddaïm, Oded Maler |
Job-Shop Scheduling Using Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 478-492, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine |
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 391-395, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Dirk Beyer 0001 |
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 86-91, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Real-time systems, Formal verification, Timed Automata |
18 | Farn Wang |
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan, pp. 509-515, 2000, IEEE Computer Society, 0-7695-0792-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Marius Bozga, Oded Maler, Stavros Tripakis |
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 125-141, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Stavros Tripakis |
Timed Diagnostics for Reachability Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 59-73, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard |
Difference Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 111-125, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Dominique L'Her, Philippe Le Parc, Lionel Marcé |
Proving Sequential Function Chart Programs Using Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, pp. 149-163, 1998, Springer, 3-540-66652-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Rajeev Alur, Thomas A. Henzinger |
Real-Time System = Discrete System + Clock Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 1(1-2), pp. 86-109, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Clock variables, Semantics and verification, Real-time systems, Real-time programs |
18 | Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine |
Some Progress in the Symbolic Verification of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 179-190, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine |
On-the-fly symbolic model checking for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 25-34, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
on-the-fly symbolic model checking, timed temporal logic, boolean combinations, FDDI protocol verification, real-time systems, temporal logic, timed automaton, linear inequalities |
18 | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
Efficient verification of real-time systems: compact data structure and state-space reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 14-24, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure |
18 | Martin Jourdan, Florence Maraninchi, Alfredo Olivero |
Verifying Quantitative Real-Time Properties of Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 347-358, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #65 of 65 (100 per page; Change: )
|
|