|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12246 occurrences of 3747 keywords
|
|
|
Results
Found 21094 publication records. Showing 21094 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Lars Grunske, Robert Colvin, Kirsten Winter |
Probabilistic Model-Checking Support for FMEA. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety |
21 | Jens Knodel, Daniel Popescu 0001 |
A Comparison of Static Architecture Compliance Checking Approaches. |
WICSA |
2007 |
DBLP DOI BibTeX RDF |
access rules, architecture compliance checking, conformance rules, SAVE, software architecture, static analysis, architecture evaluation |
21 | André Platzer, Edmund M. Clarke |
The Image Computation Problem in Hybrid Systems Model Checking. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
model checking, hybrid systems, image computation |
21 | Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama |
Policy Verification and Validation Framework Based on Model Checking Approach. |
ICAC |
2007 |
DBLP DOI BibTeX RDF |
policy verification and validation, on-demand data center, model checking, resource management, autonomic system, policy-based management |
21 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
21 | Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang |
Implication-Based Approximating Bounded Model Checking. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Approximation, Abstraction, Bounded Model Checking, Implication |
21 | Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden |
Efficient Model Checking of Applications with Input/Output. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
software testing, Software model checking, network communication |
21 | Farn Wang |
Symbolic Simulation-Checking of Dense-Time Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
simulation, model-checking, verification, real-time, refinement, implementation, embedded, events, timed automata, bisimulation, equivalence, bisimilarity, dense-time |
21 | Xi Bai 0002, Jigui Sun, Zehai Li, Xianrui Lu |
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer. |
RR |
2007 |
DBLP DOI BibTeX RDF |
hierarchical clustering, consistency checking, Ontology learning, ontology reasoning |
21 | Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng |
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
model checking, formal method, timed automaton |
21 | 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 |
21 | Cornelia P. Inggs, Howard Barringer |
CTL* model checking on a shared-memory architecture. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Parallel processing, Multiprocessors, Shared memory, Automata |
21 | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |
Coverage metrics for temporal logic model checking*. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Algorithms, Model checking, Formal verification, Coverage metrics |
21 | Jiri Barnat, Ivana Cerná |
Distributed breadth-first search LTL model checking. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
LTL model checking, Distributed memory, Breadth-first search |
21 | Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook |
Data structures for symbolic multi-valued model-checking. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Symbolic model-checking, Decision diagrams, Multi-valued logic |
21 | Jeremy Sproston, Susanna Donatelli |
Backward Bisimulation in Markov Chain Model Checking. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
model checking, verification, temporal logic, Markov processes |
21 | Hasan Ural, Craig Williams |
Constructing checking sequences for distributed testing. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence |
21 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
Type Checking Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Formal model, Choreography, Type checking, WS-CDL |
21 | Xiangpeng Zhao, Quan Long, Zongyan Qiu |
Model Checking Dynamic UML Consistency. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Algorithm, Model Checking, UML, Semantics, Consistency |
21 | Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi |
Security and Privacy Analysis of RFID Systems Using Model Checking. |
HPCC |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
21 | Zining Cao |
Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. |
Intelligent Information Processing |
2006 |
DBLP DOI BibTeX RDF |
knowledge logic, model checking, cooperation, Real-time temporal logic |
21 | Roshan G. Ragel, Sri Parameswaran |
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability. |
CODES+ISSS |
2006 |
DBLP DOI BibTeX RDF |
embedded processor reliability, hardware/software technique, micro-instruction routines, preemptive fault detection, reliable processors, control flow checking |
21 | Hiroshi Unno 0001, Naoki Kobayashi 0001, Akinori Yonezawa |
Combining type-based analysis and model checking for finding counterexamples against non-interference. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
model checking, type system, non-interference |
21 | Alexander Knapp, Jochen Wuttke |
Model Checking of UML 2.0 Interactions. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
UML 2.0 interactions, model checking, Scenarios |
21 | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
Composition of Use Cases Using Synchronization and Model Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
synchronized product, model checking, Use cases, composition operators |
21 | Nardine Osman 0001, David Robertson 0001, Christopher Walton |
Run-time model checking of interaction and deontic models for multi-agent systems. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
deontic models, dynamic model checking, interaction models |
21 | Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Mark Reynolds 0001 |
Verification of Multi-agent Systems Via Bounded Model Checking. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking |
21 | Corina S. Pasareanu, Dimitra Giannakopoulou |
Towards a Compositional SPIN. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
model checking, learning, Assume-guarantee reasoning |
21 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
A Counterexample-Guided Refinement Tool for Open Procedural Programs. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
CSP, software model checking, game semantics, abstraction refinement, FDR |
21 | Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny |
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
model checking, authentication, security protocols |
21 | Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen |
Deviation Analysis: A New Use of Model Checking. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
model checking, robustness, deviation analysis |
21 | Sharon Barner, Orna Grumberg |
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
under-approximation, symbolic model checking, hints, symmetry reduction |
21 | Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani |
Checking Timed Büchi Automata Emptiness Efficiently. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
on-the fly verification, timed automata, symbolic model-checking, verification tools |
21 | Lubos Brim, Karen Yorav, Jitka Zidkova |
Assumption-based distribution of CTL model checking. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Many-valuated logics, Model checking, Distributed algorithms, Branching time logics |
21 | Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero |
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
scenario-based verification, model checking, formal methods, Requirements/specifications |
21 | Rongjie Yan, Guangyuan Li, Zhisong Tang |
Symbolic Model Checking of Finite Precision Timed Automata. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Finite precision timed automata, model checking, symbolic methods |
21 | Yasser Kotb, Takuya Katayama |
Consistency checking of UML model diagrams using the XML semantics approach. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
XML, model checking, UML, attribute grammars, XMI |
21 | Alastair F. Donaldson, Alice Miller 0001 |
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction |
21 | 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 |
21 | Graeme Smith 0001, Luke Wildman |
Model Checking Z Specifications Using SAL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
model checking, tool support, Z, SAL |
21 | Jun Hu, Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Xuandong Li, Guoliang Zheng |
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
embedded software designs, real-time systems, model checking, UML sequence diagrams, interface automata |
21 | Eugene Goldberg |
On equivalence checking and logic synthesis of circuits with a common specification. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
common specification, scalable equivalence checking, scalable logic synthesis, toggle equivalence |
21 | Christoph Csallner, Yannis Smaragdakis |
Check 'n' crash: combining static checking and testing. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking |
21 | Marc Geilen, Twan Basten, Sander Stuijk |
Minimising buffer requirements of synchronous dataflow graphs with model checking. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
optimization, model-checking, buffering, synchronous dataflow |
21 | Bozena Wozna, Alessio Lomuscio, Wojciech Penczek |
Bounded model checking for knowledge and real time. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
model checking, real time, epistemic logic, interpreted systems |
21 | Philippa J. Hopcroft, Gavin Lowe |
Analysing a stream authentication protocol using model checking. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Stream authentication protocols, Model checking, Automatic verification, Data independence |
21 | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama |
Optimizing the Execution Time for Checking the Consistency of XML Documents. |
J. Intell. Inf. Syst. |
2004 |
DBLP DOI BibTeX RDF |
copy rules, semantics checking, attribute grammars, XML technologies |
21 | Massimo Franceschet, Angelo Montanari, Maarten de Rijke |
Model Checking for Combined Logics with an Application to Mobile Systems. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, mobile systems, combined logics |
21 | Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka |
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Tabled resolution, Model checking, Logic programming, calculus, Mobile processes |
21 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
aSPIN: A tool for abstract model checking. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Temporal logic, Abstraction, Spin |
21 | Farn Wang |
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, real-time, Distributed, fairness, events |
21 | Zhengping Liang, Guoqing Wu |
Consistency Checking of Multiviews Based on Agent. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
viewpoint agent, agent, Viewpoint, consistency checking |
21 | Shin Nakajima 0001 |
Model-Checking of Safety and Security Aspects in Web Service Flows. |
ICWE |
2004 |
DBLP DOI BibTeX RDF |
Web Service Flow, Lattice-based Security Label, Model-Checking, Information Flow |
21 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
21 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Bounded LTL Model Checking. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
linear translation, bounded model checking, LTL, NuSMV |
21 | Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski |
Efficient equivalence checking with partitions and hierarchical cut-points. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
verification, logic design, equivalence checking |
21 | Jeremy W. Bryans, Howard Bowman, John Derrick |
Model checking stochastic automata. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
Distributed systems, model checking, stochastic automata |
21 | Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda |
Model Checking Programs. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Java, model checking, static analysis, abstraction, symmetry, runtime analysis |
21 | Shaz Qadeer |
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking. |
IEEE Trans. Parallel Distributed Syst. |
2003 |
DBLP DOI BibTeX RDF |
specifying and verifying and reasoning about programs, model checking, verification, multiprocessors, Logic design |
21 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith |
Counterexample-guided abstraction refinement for symbolic model checking. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
temporal logic, Abstraction, symbolic model checking, hardware verification |
21 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Timed automata, Probabilistic model checking, IEEE standard, FireWire |
21 | Ákos Schmidt, Dániel Varró |
CheckVML: A Tool for Model Checking Visual Modeling Languages. |
UML |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal verification, metamodeling, graph transformation, visual modeling languages |
21 | Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava |
Model Checking Correctness Properties of Electronic Contracts. |
ICSOC |
2003 |
DBLP DOI BibTeX RDF |
contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract |
21 | Juan de Lara, Esther Guerra, Hans Vangheluwe |
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting |
21 | Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani |
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, software development process, Architectural analysis, models consistency |
21 | Dimitra Giannakopoulou, Jeff Magee |
Fluent model checking for event-based systems. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
model-checking, linear temporal logic, software architecture analysis |
21 | Oksana Tkachuk, Matthew B. Dwyer |
Adapting side effects analysis for modular program model checking. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modular flow analysis, model checking, assume-guarantee |
21 | Roberto Giacobazzi, Isabella Mastroeni |
Domain Compression for Complete Abstractions. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains |
21 | Robert M. Hierons, Hasan Ural |
Reduced Length Checking Sequences. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
Finite state machine, distinguishing sequence, checking sequence, test minimization |
21 | Cindy Eisner |
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. |
Int. J. Softw. Tools Technol. Transf. |
2002 |
DBLP DOI BibTeX RDF |
Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking |
21 | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis |
21 | Kirsten Winter, Roger Duke |
Model Checking Object-Z Using ASM. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
language transformation, automated tool support, model checking, Abstract State Machines, Object-Z |
21 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Can BDDs compete with SAT solvers on bounded model checking? |
DAC |
2002 |
DBLP DOI BibTeX RDF |
model checking, formal verification, SAT, BDDs |
21 | Simon Jolly, Atanas N. Parashkevov, Tim McDougall |
Automated equivalence checking of switch level circuits . |
DAC |
2002 |
DBLP DOI BibTeX RDF |
MOS circuits, custom design, switch level analysis, formal verification, VLSI design, equivalence checking |
21 | William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner |
Optimizing Symbolic Model Checking for Statecharts. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems |
21 | Pranav Ashar, Aarti Gupta, Sharad Malik |
Using complete-1-distinguishability for FSM equivalence checking. |
ACM Trans. Design Autom. Electr. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Bisimulation relation, complete-1-distinguishability, finite state machine equivalence, sequential logic synthesis, equivalence checking |
21 | Marco Ottavi, Gian Carlo Cardarilli, D. Cellitti, Salvatore Pontarelli, Marco Re, Adelio Salsano |
Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines. |
DFT |
2001 |
DBLP DOI BibTeX RDF |
SSMM, fault tolerance, finite state machine, VHDL, signature analysis, self checking |
21 | Natalia Sidorova, Martin Steffen |
Verifying Large SDL-Specifications Using Model Checking. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
SDL model checking, bottom-up verification, verification case study, compositional, abstraction |
21 | Agostino Dovier, Elisa Quintarelli |
Model-Checking Based Data Retrieval. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
Semistructured DBs, Model-Checking, Temporal Logic |
21 | Jeff Jianxin Yan |
A note on proactive password checking. |
NSPW |
2001 |
DBLP DOI BibTeX RDF |
entropy, dictionary attack, proactive password checking |
21 | Cecilia Metra, Michele Favalli, Bruno Riccò |
Self-Checking Detection and Diagnosis of Transient, Delay, and Crosstalk Faults Affecting Bus Lines. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
bus lines, diagnosis, transient faults, On-line testing, delay faults, self-checking, crosstalk faults |
21 | Willem Visser, Howard Barringer |
Practical CTL* Model Checking: Should SPIN be Extended? |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Büchi automata, Hesitant alternating automata, Model checking, Games, Spin |
21 | Lynette I. Millett, Tim Teitelbaum |
Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Model checking, Static analysis, Program slicing, Concurrent languages |
21 | Nima Kaveh |
Using Model Checking to Detect Deadlocks in Distributed Object Systems. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
Object Middleware, Model Checking, Software Architecture |
21 | Tevfik Bultan |
Action Language: a specification language for model checking reactive systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
model checking, specification languages, reactive systems |
21 | Vishwani D. Agrawal |
Choice of Tests for Logic Verification and Equivalence Checking. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
fault simulation, Equivalence checking, Hamming codes, logic verification |
21 | David Garlan, Serge Khersonsky |
Model Checking Implicit-Invocation Systems. |
IWSSD |
2000 |
DBLP BibTeX RDF |
model checking, publish-subscribe, Implicit invocation |
21 | Carl Pixley, Vigyan Singhal |
Model Checking: A Hardware Design Perspective. |
Int. J. Softw. Tools Technol. Transf. |
1999 |
DBLP DOI BibTeX RDF |
Automated mathematical methods, Model checking, Formal Verification, Binary decision diagrams, Integrated circuits, Hardware verification |
21 | Henrik Reif Andersen, Jørn Lind-Nielsen |
Partial Model Checking of Modal Equations: A Survey. |
Int. J. Softw. Tools Technol. Transf. |
1999 |
DBLP DOI BibTeX RDF |
Modal ?-calculus, Model checking, Verification, State explosion |
21 | Tevfik Bultan, Richard Gerber 0001, William W. Pugh |
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
abstract interpretation, symbolic model checking, Presburger arithmetic |
21 | Paula Prata, João Gabriel Silva |
Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
ABFT, Error Detection, Fault injection, Result-checking, Matrix operations |
21 | Shiyong Lu, Scott A. Smolka |
Model Checking the Secure Electronic Transaction (SET) Protocol. |
MASCOTS |
1999 |
DBLP DOI BibTeX RDF |
Electronic Commerce Protocols, Formal Modeling and Analysis Techniques, Model Checking |
21 | João Marques-Silva 0001, Thomas Glass |
Combinational Equivalence Checking Using Satisfiability and Recursive Learning. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking |
21 | Edmund M. Clarke, Somesh Jha, Yuan Lu 0004, Dong Wang |
Abstract BDDs: A Technique for Using Abstraction in Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
Abstract BDDs, Model checking and abstraction |
21 | Francesco Bergadano, Bruno Crispo, Giancarlo Ruffo |
High Dictionary Compression for Proactive Password Checking. |
ACM Trans. Inf. Syst. Secur. |
1998 |
DBLP DOI BibTeX RDF |
password selection, access control, decision trees, proactive password checking |
21 | Vladimír Székely, Márta Rencz, Jean-Michel Karam, Marcelo Lubaszewski, Bernard Courtois |
Thermal Monitoring of Self-Checking Systems. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
self-checking circuits, thermal testing, temperature sensors, thermal sensors |
21 | Lutz Prechelt, Walter F. Tichy |
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
quality, productivity, controlled experiment, defects, Type checking |
21 | Daniel Jackson 0001, Somesh Jha, Craig Damon |
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus |
21 | Jie Gong, Chih-Tung Chen, Kayhan Küçükçakar |
Architectural Rule Checking for High-level Synthesis. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
Rule Checking, Verification, High-level Synthesis |
21 | Donatella Sciuto, Cristina Silvano, Renato Stefanelli |
Systematic AUED Codes for Self-Checking Architectures. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
AUED Codes, Self-Checking Combinational Circuits, Stuck-at Faults, Unidirectional Errors |
Displaying result #501 - #600 of 21094 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|