Search results for "ACTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
166	Wenhui Zhang	Model Checking with SAT-Based Characterization of ACTL Formulas.	ICFEM	2007	DBLP DOI BibTeX RDF
166	Bozena Wozna, Andrzej Zbrzezny	Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking.	FORMATS	2003	DBLP DOI BibTeX RDF
98	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
98	Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang	Evaluation of SAT-based Bounded Model Checking of ACTL Properties.	TASE	2007	DBLP DOI BibTeX RDF
85	Wenhui Zhang	Bounded Semantics of CTL and SAT-Based Verification.	ICFEM	2009	DBLP DOI BibTeX RDF
81	Mikolaj Bojanczyk	The Common Fragment of ACTL and LTL.	FoSSaCS	2008	DBLP DOI BibTeX RDF
81	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
81	Marina Bagic, Marijan Kunstic	Verification of Intelligent Agents with ACTL for Epistemic Reasoning.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
81	Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci	A Symbolic Model Checker for ACTL.	FM-Trends	1998	DBLP DOI BibTeX RDF
79	Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
68	Dennis Dams, Orna Grumberg, Rob Gerth	Generation of Reduced Models for Checking Fragments of CTL.	CAV	1993	DBLP DOI BibTeX RDF
64	ShengYu Shen, Ying Qin, Sikun Li	Minimizing Counterexample of ACTL Property.	CHARME	2005	DBLP DOI BibTeX RDF
64	Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh	Efficient Detection of Vacuity in ACTL Formulaas.	CAV	1997	DBLP DOI BibTeX RDF
51	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation Perspective on Linear vs. Branching Time.	APLAS	2005	DBLP DOI BibTeX RDF
47	Robert Meolic, Alessandro Fantechi, Stefania Gnesi	Witness and Counterexample Automata for ACTL.	FORTE	2004	DBLP DOI BibTeX RDF
45	Tomohiro Yoneda, Yutaka Ohtsuka, Märt Saarepera	Verification of Parameterized Asynchronous Circuits: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	parameterized asynchronous circuits, ACTL model checking, Formal verification, abstraction, PVS
45	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
45	Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann	Model Checking Using Adaptive State and Data Abstraction.	CAV	1994	DBLP DOI BibTeX RDF	ACTL, state partitioning, model checking, abstract interpretation, binary decision diagrams (BDDs)
34	Yuhong Zhao 0001, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos	Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.	PPAM	2005	DBLP DOI BibTeX RDF
34	Doron Bustan, Orna Grumberg	Simulation-based minimazation.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Simulation, Minimization
34	Edmund M. Clarke, Somesh Jha, Yuan Lu 0004, Helmut Veith	Tree-Like Counterexamples in Model Checking.	LICS	2002	DBLP DOI BibTeX RDF
34	Hong Peng, Yassine Mokhtari, Sofiène Tahar	Environment Synthesis for Compositional Model Checking.	ICCD	2002	DBLP DOI BibTeX RDF
34	Doron Bustan, Orna Grumberg	Simulation Based Minimization.	CADE	2000	DBLP DOI BibTeX RDF
34	Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori	An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.	CAV	1991	DBLP DOI BibTeX RDF
30	Yun Shi, Donghui Ma, Jie Lv, Jie Li	ACTL: Asymmetric Convolutional Transfer Learning for Tree Species Identification Based on Deep Neural Network.	IEEE Access	2021	DBLP DOI BibTeX RDF
30	Rüdiger Ehlers, Ivan Gavran, Daniel Neider	Learning Properties in LTL ∩ ACTL from Positive Examples Only.	FMCAD	2020	DBLP DOI BibTeX RDF
30	Ming He 0001, Jiuling Zhang, Shaozong Zhang	ACTL: Adaptive Codebook Transfer Learning for Cross-Domain Recommendation.	IEEE Access	2019	DBLP DOI BibTeX RDF
30	Stefania Gnesi, Maurice H. ter Beek	From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
30	Zhaowei Xu, Wenhui Zhang	Linear templates of ACTL formulas with an application to SAT-based verification.	Inf. Process. Lett.	2017	DBLP DOI BibTeX RDF
30	Ferenc Bujtor, Walter Vogler	ACTL for Modal Interface Automata.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
30	Ferenc Bujtor, Walter Vogler	ACTL for Modal Interface Automata.	ACSD	2016	DBLP DOI BibTeX RDF
30	Rüdiger Ehlers	ACTL ∩ LTL Synthesis.	CAV	2012	DBLP DOI BibTeX RDF
30	Michael Kelly, Fei Pu, Yan Zhang 0003, Yi Zhou 0013	ACTL Local Model Update with Constraints.	KES (4)	2010	DBLP DOI BibTeX RDF
30	Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone	On ACTL Formulas Having Linear Counterexamples.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
30	Michael Huth 0001	The Interval Domain: A Matchmaker for aCTL and aPCTL.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
30	Xiao Jun Chen	Model Checking ACTL Constrained Processes.	FroCoS	1996	DBLP BibTeX RDF
28	Monika Maidl	The Common Fragment of CTL and LTL.	FOCS	2000	DBLP DOI BibTeX RDF	action-based computation tree logic, linear time logic, common fragment, ACTL formulas, PSPACE-complete problem, path quantifiers, 1-weak Buchi automaton, automaton size, formula size, computational complexity, temporal logic, trees (mathematics), decidability, finite automata, expressive power, negation, CTL, LTL, inductive definition
17	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
17	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Formula-Dependent Abstraction for CTL Model Checking.	ICCSA (2)	2008	DBLP DOI BibTeX RDF
17	Francesco Ranzato, Francesco Tapparo	A New Efficient Simulation Equivalence Algorithm.	LICS	2007	DBLP DOI BibTeX RDF
17	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
17	Cécile Braunstein, Emmanuelle Encrenaz	Using CTL formulae as component abstraction in a design and verification flow.	ACSD	2007	DBLP DOI BibTeX RDF
17	Thomas Noll 0001, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
17	Santiago Escobar 0001, José Meseguer 0001	Symbolic Model Checking of Infinite-State Systems Using Narrowing.	RTA	2007	DBLP DOI BibTeX RDF
17	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Transition-based coverage estimation for symbolic model checking.	ASP-DAC	2006	DBLP DOI BibTeX RDF
17	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.	DALT	2005	DBLP DOI BibTeX RDF
17	Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig	Comprehensive Verification Framework for Dependability of Self-optimizing Systems.	ATVA	2005	DBLP DOI BibTeX RDF
17	Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.	ATVA	2004	DBLP DOI BibTeX RDF
17	M. Jamshid Bagherzadeh, S. Arun-Kumar	A Multi-agent Framework Based on Communication and Concurrency.	IWDC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Verification, CCS, CTL
17	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
17	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK.	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
17	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
17	Orna Kupferman, Moshe Y. Vardi	Vacuity Detection in Temporal Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF
17	Mihaela Sighireanu, Radu Mateescu 0001	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF
17	Ramin Hojati, Robert K. Brayton, Robert P. Kurshan	BDD-Based Debugging Of Design Using Language Containment and Fair CTL.	CAV	1993	DBLP DOI BibTeX RDF