Search results for "HyTech"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Sinem Coleri Ergen, Mustafa Ergen, T. John Koo	Lifetime analysis of a sensor network with hybrid automata modelling.	WSNA	2002	DBLP DOI BibTeX RDF	HyTech, sensor networks, power consumption, tinyOS, hybrid automata, SHIFT
86	Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi	Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.	HSCC	2000	DBLP DOI BibTeX RDF
68	Goran Frehse	PHAVer: algorithmic verification of hybrid systems past HyTech.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Verification, Tools, Hybrid systems, Polyhedra
68	Goran Frehse	PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.	HSCC	2005	DBLP DOI BibTeX RDF
68	Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi	HYTECH: A Model Checker for Hybrid Systems.	CAV	1997	DBLP DOI BibTeX RDF
64	Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi	HYTECH: A Model Checker for Hybrid Systems.	Int. J. Softw. Tools Technol. Transf.	1997	DBLP DOI BibTeX RDF	hytech, Hybrid systems, Symbolic model checking, Hybrid automata
54	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
36	Zonghua Gu 0001	Solving Real-Time Scheduling Problems with Model-Checking.	ICESS	2005	DBLP DOI BibTeX RDF
36	Thomas A. Henzinger, Rupak Majumdar	Symbolic Model Checking for Rectangular Hybrid Systems.	TACAS	2000	DBLP DOI BibTeX RDF
36	Béatrice Bérard, Laurent Fribourg	Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic.	CONCUR	1999	DBLP DOI BibTeX RDF
32	Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Wontae Kim 0001	Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.	FGIT-CA/CES3	2011	DBLP DOI BibTeX RDF
32	Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen	Synthesis of Optimal Strategies Using HyTech.	GDV@CAV	2004	DBLP DOI BibTeX RDF
32	Ranjana G. Deshpande, David J. Musliner, Jorge E. Tierno, Robert P. Goldman	Modifying HYTECH to automatically synthesize hybrid controllers.	CDC	2001	DBLP DOI BibTeX RDF
32	Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi	Some lessons from the HYTECH experience.	CDC	2001	DBLP DOI BibTeX RDF
32	Thomas Stauner, Olaf Müller, Max Fuchs	Using HYTECH to Verify an Automative Control System.	HART	1997	DBLP DOI BibTeX RDF
32	Thomas A. Henzinger, Howard Wong-Toi	Using HyTech to Synthesize Control Parameters for a Steam Boiler.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
32	Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi	HyTech: The Next Generation.	RTSS	1995	DBLP DOI BibTeX RDF
32	Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi	A User Guide to HyTech.	TACAS	1995	DBLP DOI BibTeX RDF
32	Thomas A. Henzinger, Pei-Hsin Ho	HYTECH: The Cornell HYbrid TECHnology Tool.	Hybrid Systems	1994	DBLP DOI BibTeX RDF
32	R. Kirkova, M. Ikonomova, E. Dencheva	The HYTECH Project: IP Tools Based on Hypertext Technology.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
18	Didier Lime, Olivier H. Roux	Formal verification of real-time systems with preemptive scheduling.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata
18	Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu	Timed verification of the generic architecture of a memory circuit using parametric timed automata.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Memory circuit, Model checking, Timed automata
18	Joel M. Esposito, Moonzoo Kim	Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
18	Julia M. B. Braman, Richard M. Murray, David A. Wagner 0002	Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.	IROS	2007	DBLP DOI BibTeX RDF
18	Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux	Delays in Biological Regulatory Networks (BRN).	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
18	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Almost ASAP semantics: from timed models to timed implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Timed and Hybrid Automata, Verification, Semantics, Implementability
18	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Systematic Implementation of Real-Time Models.	FM	2005	DBLP DOI BibTeX RDF
18	Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci	Automated analysis of timed security: a case study on web privacy.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Web privacy, Model checking tools, Timed behavior
18	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Almost ASAP Semantics: From Timed Models to Timed Implementations.	HSCC	2004	DBLP DOI BibTeX RDF
18	Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna	Constraint-Based Linear-Relations Analysis.	SAS	2004	DBLP DOI BibTeX RDF
18	Didier Lime, Olivier H. Roux	A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.	RTSS	2004	DBLP DOI BibTeX RDF
18	Michael S. Branicky, Siddharth R. Chhatpar	A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies.	HSCC	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	Supratik Mukhopadhyay, Andreas Podelski	An Algebraic Framework for Abstract Model Checking.	SARA	2002	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	Béatrice Bérard, Laurent Fribourg	Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol.	CAV	1999	DBLP DOI BibTeX RDF
18	Rajeev Alur, Joel M. Esposito, Moonjoo Kim 0001, Vijay Kumar 0001, Insup Lee 0001	Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
18	Heinrich Rust	Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.	SAFECOMP	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	Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler	A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
18	Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho	Automatic Symbolic Verification of Embedded Systems.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	real-time and hybrid systems, model checking, temporal logic, symbolic analysis, Specification and verification
18	Farn Wang	Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.	RTCSA	1996	DBLP DOI BibTeX RDF	scalable compositional verification, high-level real-time concurrent systems, compositional CTL mode-checking algorithm, discrete global clock, VERIFAST-2, truly scalable performance, software recursions, protocols, formal verification
18	Pei-Hsin Ho, Howard Wong-Toi	Automated Analysis of an Audio Control Protocol.	CAV	1995	DBLP DOI BibTeX RDF