Search results for "CTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Aniello Murano, Margherita Napoli, Mimmo Parente	Program Complexity in Hierarchical Module Checking.	LPAR	2008	DBLP DOI BibTeX RDF
9	Sujatha Kashyap, Vijay K. Garg	Producing Short Counterexamples Using "Crucial Events".	CAV	2008	DBLP DOI BibTeX RDF
9	John Harrison 0001	Theorem Proving for Verification (Invited Tutorial).	CAV	2008	DBLP DOI BibTeX RDF
9	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
9	Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen	A Game-Theoretic Approach to Real-Time System Testing.	DATE	2008	DBLP DOI BibTeX RDF
9	Shengbo Chen, Huaikou Miao, Zhong-sheng Qian	Modeling and Verifying Web Browser Interactions.	APSEC	2008	DBLP DOI BibTeX RDF
9	Natasha Alechina, Brian Logan 0001, Nguyen Hoang Nga, Abdur Rakib	Verifying Time and Communication Costs of Rule-Based Reasoners.	MoChArt	2008	DBLP DOI BibTeX RDF
9	Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer	Goanna: Syntactic Software Model Checking.	ATVA	2008	DBLP DOI BibTeX RDF
9	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
9	Thomas Wahl, Nicolas Blanc, E. Allen Emerson	SVISS: Symbolic Verification of Symmetric Systems.	TACAS	2008	DBLP DOI BibTeX RDF
9	Jianhong Bi, Jinglan Zhao, Lang Bao, Yan Liu, Caosong Wu	Preparation and Evaluation of Polyactin Microparticles from Supercritical CO2 Processing.	BMEI (2)	2008	DBLP DOI BibTeX RDF	Supercritical fluids, Coatings, Polyactin, Cancer immunotherapy
9	Tao Huang 0019, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
9	Carsten Lutz, Frank Wolter, Michael Zakharyaschev	Temporal Description Logics: A Survey.	TIME	2008	DBLP DOI BibTeX RDF
9	John Christopher McCabe-Dansted	A Tableau for RoBCTL*.	JELIA	2008	DBLP DOI BibTeX RDF	QCTL*, Robustness, Diagnosis, Logic, Bundled, Tableau
9	Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Towards modelling and analysis of a coordination protocol for dynamic software adaptation.	CSTST	2008	DBLP DOI BibTeX RDF	consistency preservation, coordination protocol, modelling, analysis, self-adaptation, adaptation process
9	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
9	Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay	Qualitative Logics and Equivalences for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
9	Jennifer M. Davoren, Paulo Tabuada	On Simulations and Bisimulations of General Flow Systems.	HSCC	2007	DBLP DOI BibTeX RDF
9	Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey	Model-Checking One-Clock Priced Timed Automata.	FoSSaCS	2007	DBLP DOI BibTeX RDF
9	Yongyan Zheng, Jiong Zhou, Paul Krause	A Model Checking based Test Case Generation Framework forWeb Services.	ITNG	2007	DBLP DOI BibTeX RDF
9	Jinzhao Wu, Lin Zhao	An Algebraic Approach to Multi-Valued Model Checking.	ACSD	2007	DBLP DOI BibTeX RDF
9	Bastian Schlich, Falk Salewski, Stefan Kowalewski	Applying Model Checking to an Automotive Microcontroller Application.	SIES	2007	DBLP DOI BibTeX RDF
9	Gianfranco Ciardo	Data Representation and Efficient Solution: A Decision Diagram Approach.	SFM	2007	DBLP DOI BibTeX RDF	edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation
9	Rajeev Alur, Pavol Cerný, Swarat Chaudhuri	Model Checking on Trees with Path Equivalences.	TACAS	2007	DBLP DOI BibTeX RDF
9	Thomas Noll 0001, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
9	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Combining Temporal Logics for Querying XML Documents.	ICDT	2007	DBLP DOI BibTeX RDF
9	Philippe Schnoebelen	Model Checking Branching Time Logics.	TIME	2007	DBLP DOI BibTeX RDF
9	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
9	Andreas Holzer, Johannes Kinder, Helmut Veith	Using Verification Technology to Specify and Detect Malware.	EUROCAST	2007	DBLP DOI BibTeX RDF
9	Benjamin Aminof, Aniello Murano, Moshe Y. Vardi	Pushdown Module Checking with Imperfect Information.	CONCUR	2007	DBLP DOI BibTeX RDF
9	Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier	Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!	LFCS	2007	DBLP DOI BibTeX RDF
9	Christopher James Langmead, Sumit Kumar Jha 0001	Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.	WABI	2007	DBLP DOI BibTeX RDF
9	Patrícia D. L. Machado, Wilkerson de L. Andrade	The Oracle Problem for Testing against Quantified Properties.	QSIC	2007	DBLP DOI BibTeX RDF
9	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	A Temporal Logic of Robustness.	FroCoS	2007	DBLP DOI BibTeX RDF	RoCTL, QCTL, Robustness, Modal Logic, Decidability, Branching Time Logic
9	Jinzhao Wu, Lin Zhao	Multi-Valued Model Checking via Groebner Basis Approach.	TASE	2007	DBLP DOI BibTeX RDF
9	Sun Meng	QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.	TASE	2007	DBLP DOI BibTeX RDF	Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service
9	Jiri Barnat, Lubos Brim, Martin Leucker	Parallel Model Checking and the FMICS-jETI Platform.	ICECCS	2007	DBLP DOI BibTeX RDF
9	Huaikou Miao, Hongwei Zeng	Model Checking-based Verification of Web Application.	ICECCS	2007	DBLP DOI BibTeX RDF	consistency criteria, model checking, Web application, automated verification
9	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	Normative system games.	AAMAS	2007	DBLP DOI BibTeX RDF	complexity, games, logic, goals, normative systems
9	Alexander Bell, Boudewijn R. Haverkort	Distributed disk-based algorithms for model checking very large Markov chains.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Disk-based algorithms, CSL model checking, Distributed algorithms, Markov chains, State-space generation, Matrix-vector product
9	Farn Wang, Geng-Dian Huang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
9	Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee 0001	Formal Modeling and Analysis of the AFDX Frame Management Design.	ISORC	2006	DBLP DOI BibTeX RDF
9	David Heckerman, Carl Myers Kadie, Jennifer Listgarten	Leveraging Information Across HLA Alleles/Supertypes Improves Epitope Prediction.	RECOMB	2006	DBLP DOI BibTeX RDF
9	Hamid Shojaei, Mohammad Sayyaran	Signal Coverage Computation in Formal Verification.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
9	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
9	Azadeh Farzan, José Meseguer 0001	State Space Reduction of Rewrite Theories Using Invisible Transitions.	AMAST	2006	DBLP DOI BibTeX RDF
9	Bastian Schlich, Stefan Kowalewski	[mc]square: A Model Checker for Microcontroller Code.	ISoLA	2006	DBLP DOI BibTeX RDF
9	Artur Krystosik	Embedded Systems Modeling Language.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
9	Marieke Huisman, Pratik Worah, Kim Sunesen	A Temporal Logic Characterisation of Observational Determinism.	CSFW	2006	DBLP DOI BibTeX RDF
9	Harmen Kastenberg, Arend Rensink	Model Checking Dynamic States in GROOVE.	SPIN	2006	DBLP DOI BibTeX RDF
9	Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang 0001, Florian Pigorsch, Christoph Scholl 0001, Uwe Waldmann, Boris Wirtz	Automatic Verification of Hybrid Systems with Large Discrete State Space.	ATVA	2006	DBLP DOI BibTeX RDF
9	Sven Schewe	Synthesis for Probabilistic Environments.	ATVA	2006	DBLP DOI BibTeX RDF
9	Alexander Bolotov, Oleg M. Grigoriev 0001, Vasilyi Shangin	Natural Deduction Calculus for Computation Tree Logic.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
9	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch	Goanna - A Static Model Checker.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
9	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
9	Arie Gurfinkel, Marsha Chechik	Why Waste a Perfectly Good Abstraction?.	TACAS	2006	DBLP DOI BibTeX RDF
9	David C. Trudgian, Felicia Charles Johnson, Zheng Rong Yang	Predicting HIV-1 T Cell Epitopes Using Bio-basis Function Neural Networks.	IJCNN	2006	DBLP DOI BibTeX RDF
9	Donglin Li, Otmane Aït Mohamed	MDG-Based Verification of the Look-Aside Interface.	CCECE	2006	DBLP DOI BibTeX RDF
9	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A New Model Checking Approach for Verifying Agent Communication Protocols.	CCECE	2006	DBLP DOI BibTeX RDF
9	Florian Pigorsch, Christoph Scholl 0001, Stefan Disch	Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling.	FMCAD	2006	DBLP DOI BibTeX RDF
9	Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo	Belief Updating by Communication Channel.	CLIMA	2006	DBLP DOI BibTeX RDF
9	Jan M. Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
9	Alessio Lomuscio, Bozena Wozna	A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.	DEON	2006	DBLP DOI BibTeX RDF
9	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming with Generalized Literals.	FoIKS	2006	DBLP DOI BibTeX RDF
9	Donghuo Chen, Jinzhao Wu	Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.	SOFSEM	2006	DBLP DOI BibTeX RDF
9	John M. Rushby	Tutorial: Automated Formal Methods with PVS, SAL, and Yices.	SEFM	2006	DBLP DOI BibTeX RDF
9	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
9	Orna Grumberg, Tamir Heyman, Assaf Schuster	Distributed Symbolic Model Checking for µ-Calculus.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, distributed, hardware verification, symbolic, Mu-calculus
9	Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis	Analysis of recursive state machines.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
9	Nguyen Truong Thang, Takuya Katayama	A Formal Approach Facilitating the Evolution of Component-Based Software.	IWPSE	2005	DBLP DOI BibTeX RDF
9	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Extended abstract: transition traversal coverage estimation for symbolic model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
9	Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan	Action Language Verifier, Extended.	CAV	2005	DBLP DOI BibTeX RDF
9	Néstor Cataño	Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.	TPHOLs	2005	DBLP DOI BibTeX RDF
9	Ernst-Erich Doberkat	Congruences and Bisimulations for Continuous-Time Stochastic Logic.	ICTAC	2005	DBLP DOI BibTeX RDF
9	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
9	Rodrigo Agerri, Eduardo Alonso	Normative Pragmatics for Agent Communication Languages.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
9	Ana Fernández Vilas, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer	Multi-valued Model Checking in Dense-Time.	ECSQARU	2005	DBLP DOI BibTeX RDF	dense real-time, model checking, formal methods, multi-valued logic
9	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Modeling Systems in CLP.	ICLP	2005	DBLP DOI BibTeX RDF
9	Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie	On Model-Checking of P Systems.	UC	2005	DBLP DOI BibTeX RDF
9	Johannes Kinder, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith	Detecting Malicious Code by Model Checking.	DIMVA	2005	DBLP DOI BibTeX RDF	Model Checking, Malware Detection
9	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
9	Fran Jarnjak, Jinhyung Kim, Yixin Jing, Hoh Peter In, Dongwon Jeong, Doo-Kwon Baik	TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment.	EUC Workshops	2005	DBLP DOI BibTeX RDF
9	Stéphane Demri, Régis Gascon	Verification of Qualitative Constraints.	CONCUR	2005	DBLP DOI BibTeX RDF
9	Steffen Helke, Florian Kammüller	Structure Preserving Data Abstractions for Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
9	Shiva Nejati, Arie Gurfinkel, Marsha Chechik	Stuttering Abstraction for Model Checkin.	SEFM	2005	DBLP DOI BibTeX RDF
9	Weibo Mao, Jinzhao Wu	Application of Wu's method to symbolic model checking.	ISSAC	2005	DBLP DOI BibTeX RDF	Wu's method, symbolic model checking, characteristic set
9	Sooyong Kang, Heon Young Yeom	A New Block Fetching Scheme Considering Traffic Smoothing in Multimedia Servers.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	block fetching, block placement, multimedia system, traffic smoothing
9	Seong-ick Moon, Kwang Hyung Lee, Doheon Lee	Fuzzy branching temporal logic.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
9	Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty	Test sequence generation and model checking using dynamic transition relations.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Test sequence generation
9	Stefan Gossens, Mario Dal Cin	Structural Analysis of Explicit Fault-Tolerant Programs.	HASE	2004	DBLP DOI BibTeX RDF
9	Benjamin Aminof, Thomas Ball, Orna Kupferman	Reasoning About Systems with Transition Fairness.	LPAR	2004	DBLP DOI BibTeX RDF
9	Michael Melholt Quottrup, Thomas Bak, Roozbeh Izadi-Zamanabadi	Multi-robot Planning: a Timed Automata Approach.	ICRA	2004	DBLP DOI BibTeX RDF
9	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa	A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.	ArgMAS	2004	DBLP DOI BibTeX RDF
9	Wojciech Penczek, Agata Pólrola	Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.	ICATPN	2004	DBLP DOI BibTeX RDF
9	Pedro R. D'Argenio, Peter Niebert	Partial Order Reduction on Concurrent Probabilistic Programs.	QEST	2004	DBLP DOI BibTeX RDF
9	Gianfranco Ciardo, Andrew S. Miner	SMART: The Stochastic Model checking Analyzer for Reliability and Timing.	QEST	2004	DBLP DOI BibTeX RDF
9	Hamid Shojaei, Habib Ghayoumi	Techniques for Formal Verification of Digital Systems: A System Approach.	DSD	2004	DBLP DOI BibTeX RDF
9	John Derrick, Graeme Smith 0001	Linear Temporal Logic and Z Refinement.	AMAST	2004	DBLP DOI BibTeX RDF
9	Dennis Dams, Kedar S. Namjoshi	The Existence of Finite Abstractions for Branching Time Model Checking.	LICS	2004	DBLP DOI BibTeX RDF
9	William C. Rounds	A Spatial Logic for the Hybrid p-Calculus.	HSCC	2004	DBLP DOI BibTeX RDF