Search results for "CTL*"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Abdellah Yousfi, Abdelouafi Meziane	The Centisecond Two Levels Hidden Semi Markov Model (CTLHSMM).	PARELEC	2006	DBLP DOI BibTeX RDF
2	Alessio Lomuscio, Franco Raimondi	The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.	DALT	2006	DBLP DOI BibTeX RDF
2	Günter Graw, Peter Herrmann, Heiko Krumm	Verification of UML-Based Real-Time System Designs by Means of cTLA.	ISORC	2000	DBLP DOI BibTeX RDF
2	Peter Herrmann, Heiko Krumm	Formal Hazard Analysis of Hybrid Systems in cTLA. (PDF / PS)	SRDS	1999	DBLP DOI BibTeX RDF
2	Denis Roegel	Specifying Almost-Real Concurrent Object-Oriented Programs.	PDP	1996	DBLP DOI BibTeX RDF	almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages
1	Jie Chen 0009, Shaun Quegan	Calibration of Spaceborne CTLR Compact Polarimetric Low-Frequency SAR Using Mixed Radar Calibrators.	IEEE T. Geoscience and Remote Sensing	2011	DBLP DOI BibTeX RDF
1	Norihiro Kamide, Ken Kaneiwa	Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	Anil Sorathiya, Pietro Liò, Luca Sguanci	Mathematical Model of HIV Superinfection and Comparative Drug Therapy.	ICARIS	2009	DBLP DOI BibTeX RDF	viral dynamics, quasispecies, coinfection, superinfection, HAART, Maraviroc, Zinc-finger nucleases, HIV
1	Ding Wang, Li Zhang, Ying Wu	The structured total least squares algorithm research for passive location based on angle information.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	passive location, angle information, constrained total least squares, structured total least squares, singular value decomposition, Kalman filter, least squares, QR decomposition, total least squares
1	Ana-Paula Correia, Connie Hargrave, Patricia Leigh, Clyciane Michelini, Dale S. Niederhauser, Denise Schmidt, Ann Thompson	The Making of an Online Masters Program in the North American Context.	WCCE	2009	DBLP DOI BibTeX RDF	learning management system, blended learning, Teacher education
1	Catalin Dima	Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.	CLIMA	2008	DBLP DOI BibTeX RDF
1	Alessandro Ferrante, Margherita Napoli, Mimmo Parente	CTLModel-Checking with Graded Quantifiers.	ATVA	2008	DBLP DOI BibTeX RDF
1	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
1	Bart G. W. Craenen, Ben Paechter	A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems.	EvoCOP	2008	DBLP DOI BibTeX RDF
1	Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang	Bounded Model Checking of CTL.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	symbolic model checking, bounded model checking, QBF, CTL*
1	Raffaella Gentilini, Klaus Schneider, Alexander Dreyer	Three-valued automated reasoning on analog properties.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	(multi valued) temporal logics & model checking, interval arithmetic, analog circuits
1	Nils Bulling, Wojciech Jamroga	Agents, beliefs, and plausible behavior in a temporal setting.	AAMAS	2007	DBLP DOI BibTeX RDF	temporal logic, multiagent systems, beliefs, plausibility
1	Conghua Zhou, Zhenyu Chen, Zhihong Tao	QBF-Based Symbolic Model Checking for Knowledge and Time.	TAMC	2007	DBLP DOI BibTeX RDF
1	Changjiang Long, Huan Qi, Sheng-He Huang	Mathematical Modeling of Dynamic Host Responses to HBV Infection.	FBIT	2007	DBLP DOI BibTeX RDF
1	Somchart Fugkeaw, Piyawit Manpanpanich, Sekpon Juntapremjitt	Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI.	PRIMA	2007	DBLP DOI BibTeX RDF	Distributed Role Based Access Control, Privilege Management Infrastructure, Multi-Agent Systems, Authentication, Public Key Infrastructure
1	Alessio Lomuscio, Franco Raimondi	The complexity of model checking concurrent programs against CTLK specifications.	AAMAS	2006	DBLP DOI BibTeX RDF	model checking multi-agent systems, complexity
1	Peter Herrmann	Temporal Logic-Based Specification and Verification of Trust Models.	iTrust	2006	DBLP DOI BibTeX RDF
1	Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk	Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.	OTM Conferences	2006	DBLP DOI BibTeX RDF
1	Zaher Dawy, Bernhard Goebel, Joachim Hagenauer, Christophe Andreoli, Thomas Meitinger, Jakob C. Mueller	Gene Mapping and Marker Clustering Using Shannon's Mutual Information.	IEEE/ACM Trans. Comput. Biology Bioinform.	2006	DBLP DOI BibTeX RDF	Complex traits, genotype-phenotype association, relevance chains, information theory, SNPs
1	Beata Konikowska, Wojciech Penczek	Model checking for multivalued logic of knowledge and time.	AAMAS	2006	DBLP DOI BibTeX RDF	multivalued modal logic, model checking, epistemic logic, interpreted systems
1	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Gerrit Rothmaier, Heiko Krumm	A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.	FORTE	2005	DBLP DOI BibTeX RDF
1	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
1	Gerrit Rothmaier, Andre Pohl, Heiko Krumm	Analyzing Network Management Effects with SPIN and cTLA.	SEC	2004	DBLP BibTeX RDF
1	Peter Herrmann	Formal Security Policy Verification of Distributed Component-Structured Software.	FORTE	2003	DBLP DOI BibTeX RDF
1	Paritosh K. Pandya	Model Checking CTL*[DC].	TACAS	2001	DBLP DOI BibTeX RDF
1	Wufan Chen, Ming Chen, Jie Zhou	Adaptively regularized constrained total least-squares image restoration.	IEEE Transactions on Image Processing	2000	DBLP DOI BibTeX RDF
1	Panagiotis Manolios	Correctness of Pipelined Machines.	FMCAD	2000	DBLP DOI BibTeX RDF
1	Günter Graw, Peter Herrmann, Heiko Krumm	Composing Object-Oriented Specifications and Verifications with cTLA.	ECOOP Workshops	1999	DBLP BibTeX RDF
1	Thomas Wilke	CTL+ is Exponentially more Succinct than CTL.	FSTTCS	1999	DBLP DOI BibTeX RDF
1	Peter Herrmann, Günter Graw, Heiko Krumm	Compositional Specification and Structured Verification of Hybrid Systems in cTLA.	ISORC	1998	DBLP DOI BibTeX RDF
1	Uri Zwick	All Pairs Shortest Paths in Weighted Directed Graphs ¾ Exact and Almost Exact Algorithms.	FOCS	1998	DBLP DOI BibTeX RDF	Bridging sets, Randomized algorithms, Shortest paths, Matrix multiplication
1	Dirk Jäger, Arnulf Mester	Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen.	FBT	1997	DBLP BibTeX RDF
1	Alexander Bolotov, Michael Fisher	A Resolution Method For CTL Branching-Time Temporal Logic. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
1	Carsten Heyl, Arnulf Mester, Heiko Krumm	cTc - A Tool Supporting the Construction of cTLA-Specifications.	TACAS	1996	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
1	Vladimir Z. Mesarovic, Nikolas P. Galatsanos, Aggelos K. Katsaggelos	Regularized constrained total least squares image restoration.	IEEE Transactions on Image Processing	1995	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Charanjit S. Jutla	The Complexity of Tree Automata and Logics of Programs (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL*