Search results for "Computational Tree Logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Sabine Peres, Jean-Paul Comet	Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa.	CMSB	2003	DBLP DOI BibTeX RDF
2	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
1	Vasa Curcin, Moustafa Ghanem, Yike Guo	Analysing scientific workflows with Computational Tree Logic.	Cluster Computing	2009	DBLP DOI BibTeX RDF
1	Hong Liu, David P. Gluch	Formal verification of AADL behavior models: a feasibility investigation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	architecture analysis & design language, model checking, tool integration, computational tree logic
1	Hiroyuki Sato	Analyzing Semantics of Documents by Using a Program Analysis Method.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Kenneth Chan, Iman Poernomo	Compositional Prediction of Timed Behaviour for Process Control Architecture.	QoSA	2009	DBLP DOI BibTeX RDF
1	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall	Property Preservation along Embedding of Biological Regulatory Networks.	AB	2008	DBLP DOI BibTeX RDF	Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation
1	Taolue Chen, Tingting Han, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
1	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
1	Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer	Using communication coverage criteria and partial model generation to assist software integration testing.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria
1	Cécile Braunstein, Emmanuelle Encrenaz	CTL-property Transformations along an Incremental Design Process.	STTT	2007	DBLP DOI BibTeX RDF	System design and verification, Computational tree logic, Simulation relation
1	Tathagato Rai Dastidar, P. P. Chakrabarti	A verification system for transient response of analog circuits.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response
1	Jinzhao Wu, Lin Zhao	An Algebraic Approach to Multi-Valued Model Checking.	ACSD	2007	DBLP DOI BibTeX RDF
1	Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas	Towards Model-Checking Quantum Security Protocols.	ICQNM	2007	DBLP DOI BibTeX RDF
1	Pietro Abate, Rajeev Goré, Florian Widmann	One-Pass Tableaux for Computation Tree Logic.	LPAR	2007	DBLP DOI BibTeX RDF
1	Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer	Achieving communication coverage in testing.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	timed state-based specifications, distributed systems, conformance testing, coverage criteria
1	Yulin Ding, Yan Zhang	A Case Study for CTL Model Update.	KSEM	2006	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Renate A. Schmidt	Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
1	Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt	Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model.	EDOC	2005	DBLP DOI BibTeX RDF
1	Yulin Ding, Yan Zhang	Model Updating CTL Systems.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Bozena Wozna	A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.	DALT	2005	DBLP DOI BibTeX RDF
1	Mark Reynolds	Towards a CTL* Tableau.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera	A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
1	Alexander Bell, Boudewijn R. Haverkort	Sequential and distributed model checking of Petri nets.	STTT	2005	DBLP DOI BibTeX RDF
1	Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt	Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Michael Melholt Quottrup, Thomas Bak, Roozbeh Izadi-Zamanabadi	Multi-robot Planning: a Timed Automata Approach.	ICRA	2004	DBLP DOI BibTeX RDF
1	Stefan Wölfl	Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.	JELIA	2004	DBLP DOI BibTeX RDF
1	Mustapha Bourahla, Mohamed Benmohamed	Verification of Real-Time Systems by Abstraction of Time Constraints.	IPDPS	2003	DBLP DOI BibTeX RDF	Real-time systems, Model Checking, Formal Verification, Predicate Abstraction, Timed Automaton
1	Andreas Thums, Gerhard Schellhorn	Model Checking FTA.	FME	2003	DBLP DOI BibTeX RDF	model checking, safety analysis, fault tree analysis
1	Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier	Model Checking Performability Properties.	DSN	2002	DBLP DOI BibTeX RDF
1	Stephan Flake, Wolfgang Müller 0003	Specification of Real-Time Properties for UML Models.	HICSS	2002	DBLP DOI BibTeX RDF	UML, Object Constraint Language, Real-Time Constraints, Property Specification
1	Stephan Flake, Wolfgang Müller 0003	An OCL Extension for Real-Time Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
1	Gertrud Bauer, Markus Wenzel	Calculational Reasoning Revisited (An Isabelle/Isar Experience).	TPHOLs	2001	DBLP DOI BibTeX RDF
1	Yang Xia, Pranav Ashar	Verification of a Combinational Loop Based Arbitration Scheme in a System-On-Chip Integration Architecture.	VLSI Design	2000	DBLP DOI BibTeX RDF	Combinational Loop, Model Checking, Formal Verification, Temporal Logic, Time Division Multiplexing, Token Ring, Computational Tree Logic, Bus Protocol
1	Alberto Del Bimbo, Enrico Vicario	A Visual Formalism for Computational Tree Logic.	J. Vis. Lang. Comput.	1999	DBLP DOI BibTeX RDF
1	Liang Chen, Alistair Munro	Applications of Modal Logic for the Specification of Real-Time Systems.	FME	1993	DBLP DOI BibTeX RDF