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 |
|