Search results for "Kronos"

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.	S&P	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.	Int. J. Softw. Tools Technol. Transf.	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.	SIGMETRICS	1976	DBLP DOI BibTeX RDF
51	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Issues in distributed timed model checking.	Int. J. Softw. Tools Technol. Transf.	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.	ICFEM	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.	Formal Methods Syst. Des.	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.	CoRR	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.	IACR Cryptol. ePrint Arch.	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.	Frontiers Comput. Sci.	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.	ICPM Doctoral Consortium / Demo	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.	ICDE	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.	ICDCS	2019	DBLP DOI BibTeX RDF
28	Pierpaolo Basile, Giovanni Semeraro, Annalina Caputo	Kronos-it: a Dataset for the Italian Semantic Change Detection Task.	CLiC-it	2019	DBLP BibTeX RDF
28	Vesa Norilo	Kronos Meta-Sequencer - From Ugens to Orchestra, Score and Beyond.	ICMC	2016	DBLP BibTeX RDF
28	Vesa Norilo	Kronos: A Declarative Metaprogramming Language for Digital Signal Processing.	Comput. Music. J.	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.	New Math. Nat. Comput.	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).	IEEE VAST	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.	IEEE VAST	2014	DBLP DOI BibTeX RDF
28	Andrei Rukavina, Mariana Landoni, Paulina Verasay, Maria L. Traverso	VAST Challenge 2014 - The Kronos incident - Mini-Challenge 3.	IEEE VAST	2014	DBLP DOI BibTeX RDF
28	Pilar Avila, Amalia Guaymas, Valeria Burgos	The Kronos Incident (Mini-challenge 1).	IEEE VAST	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'.	Audio Mostly Conference	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.	EuroSys	2014	DBLP DOI BibTeX RDF
28	Melissa Knight	Wrath of the Titans: Awakening of Kronos.	SIGGRAPH ASIA Computer Animation Festival	2013	DBLP DOI BibTeX RDF
28	Melissa Knight	Wrath of the Titans: Awakening of Kronos.	SIGGRAPH Computer Animation Festival	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.	Audio Mostly Conference	2012	DBLP DOI BibTeX RDF
28	Vesa Norilo	Kronos as a Visual Development Tool for Mobile Applications.	ICMC	2012	DBLP BibTeX RDF
28	Vesa Norilo	Designing Synthetic Reverberators in Kronos.	ICMC	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.	SoRuCom	2006	DBLP DOI BibTeX RDF
28	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	ZEUS: A Distributed Timed Model-Checker Based on KRONOS.	PDMC@CONCUR	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.	FMICS	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.	CDC	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.	CAV	1998	DBLP DOI BibTeX RDF
28	Stavros Tripakis, Sergio Yovine	Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos.	IEEE Real Time Technology and Applications Symposium	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).	FTRTFT	1998	DBLP DOI BibTeX RDF
28	Sergio Yovine	KRONOS: A Verification Tool for Real-Time Systems.	Int. J. Softw. Tools Technol. Transf.	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.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
28	Conrado Daws, Sergio Yovine	Two Examples of Verification of Multirate Timed Automata with Kronos.	RTSS	1995	DBLP DOI BibTeX RDF
28	Conrado Daws, Alfredo Olivero, Sergio Yovine	Verifying ET-LOTOS programmes with KRONOS.	FORTE	1994	DBLP BibTeX RDF
18	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	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.	FORMATS	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.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
18	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Synchronization verification in system-level design with ILP solvers.	MEMOCODE	2005	DBLP DOI BibTeX RDF
18	Jirí Srba	Timed-Arc Petri Nets vs. Networks of Timed Automata.	ICATPN	2005	DBLP DOI BibTeX RDF
18	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods Syst. Des.	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.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
18	Dirk Beyer 0001, Claus Lewerentz, Andreas Noack	Rabbit: A Tool for BDD-Based Verification of Real-Time Systems.	CAV	2003	DBLP DOI BibTeX RDF
18	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
18	Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero	Improving the Verification of Timed Systems Using Influence Information.	TACAS	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.	ICSE	2002	DBLP DOI BibTeX RDF
18	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Compositional Termination Analysis of Symbolic Forward Analysis.	VMCAI	2002	DBLP DOI BibTeX RDF
18	Vieri Del Bianco, Luigi Lavazza, Marco Mauri	Model Checking UML Specifications of Real Time Software.	ICECCS	2002	DBLP DOI BibTeX RDF
18	Supratik Mukhopadhyay, Andreas Podelski	An Algebraic Framework for Abstract Model Checking.	SARA	2002	DBLP DOI BibTeX RDF
18	Yasmina Abdeddaïm, Oded Maler	Job-Shop Scheduling Using Timed Automata.	CAV	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.	CAV	2001	DBLP DOI BibTeX RDF
18	Dirk Beyer 0001	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.	CHARME	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.	COMPSAC	2000	DBLP DOI BibTeX RDF
18	Marius Bozga, Oded Maler, Stavros Tripakis	Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.	CHARME	1999	DBLP DOI BibTeX RDF
18	Stavros Tripakis	Timed Diagnostics for Reachability Properties.	TACAS	1999	DBLP DOI BibTeX RDF
18	Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard	Difference Decision Diagrams.	CSL	1999	DBLP DOI BibTeX RDF
18	Dominique L'Her, Philippe Le Parc, Lionel Marcé	Proving Sequential Function Chart Programs Using Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
18	Rajeev Alur, Thomas A. Henzinger	Real-Time System = Discrete System + Clock Variables.	Int. J. Softw. Tools Technol. Transf.	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.	CAV	1997	DBLP DOI BibTeX RDF
18	Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine	On-the-fly symbolic model checking for real-time systems.	RTSS	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.	RTSS	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.	CAV	1993	DBLP DOI BibTeX RDF