Don S. Batory - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged model checking

Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent ApproachChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE). 2009: [doi]

A Model Checking Approach to the Parameter Estimation of Biochemical PathwaysRobin Donaldson, David Gilbert. cmsb 2008: 269-287 [doi]

Understanding SIP through Model-CheckingPamela Zave. iptcomm 2008: 256-279 [doi]

Abstraction, model checking and software correctnessPeter B. Henderson. SIGCSE, 40(2):23-24, 2008. [doi]

A Practical Approach to Word Level Model Checking of Industrial NetlistsPer Bjesse. cav 2008: 446-458 [doi]

Testing Distributed Systems Through Symbolic Model CheckingGabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin. forte 2007: 263-279 [doi]

A Compact Linear Translation for Bounded Model CheckingPaul B. Jackson, Daniel Sheridan. ENTCS, 174(3):17-30, 2007. [doi]

Ant Colony Optimization for Model CheckingEnrique Alba, J. Francisco Chicano. eurocast 2007: 523-530 [doi]

Model-Checking Games for Typed lambda-CalculiColin Stirling. ENTCS, 172:589-609, 2007. [doi]

Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ProceedingsE. Allen Emerson, Kedar S. Namjoshi, editors, Volume 3855 of Lecture Notes in Computer Science, Springer, 2006.

Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, ProceedingsAntti Valmari, editor, Volume 3925 of Lecture Notes in Computer Science, Springer, 2006.

Model Checking Dynamic States in GROOVEHarmen Kastenberg, Arend Rensink. spin 2006: 299-305 [doi]

Model Checking Quantified Computation Tree LogicArend Rensink. concur 2006: 110-125 [doi]

PSL Model Checking and Run-Time Verification Via TestersAmir Pnueli, Aleksandr Zaks. FM 2006: 573-586 [doi]

Model Checking Data-Dependent Real-Time Properties of the European Train Control SystemJohannes Faber, Roland Meyer. FMCAD 2006: 76-77 [doi]

Model Checking Duration Calculus: A Practical ApproachRoland Meyer, Johannes Faber, Andrey Rybalchenko. ictac 2006: 332-346 [doi]

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking FrameworkZhifeng Lai, S. C. Cheung, Yunfei Jiang. qsic 2006: 410-417 [doi]

A Framework for Model Checking InstitutionsFrancesco Viganò. mochart 2007: 129-145 [doi]

Time Constrained Verification of Analog Circuits using Model-Checking AlgorithmsDarius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke. ENTCS, 153(3):37-52, 2006. [doi]

Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, ProceedingsPatrice Godefroid, editor, Volume 3639 of Lecture Notes in Computer Science, Springer, 2005.

Memory Efficient State Space Storage in Explicit Software Model CheckingSami Evangelista, Jean-François Pradat-Peyre. spin 2005: 43-57 [doi]

Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, ProceedingsRadhia Cousot, editor, Volume 3385 of Lecture Notes in Computer Science, Springer, 2005.

Model Checking Flight Guidance Systems: from Synchrony to AsynchronyYunja Choi. ENTCS, 133:61-79, 2005. [doi]

CTL ast Model Checking on a Shared-Memory ArchitectureCornelia P. Inggs, Howard Barringer. ENTCS, 128(3):107-123, 2005. [doi]

Real-Time Model Checking Is Really SimpleLeslie Lamport. charme 2005: 162-175 [doi]

Consistent Partial Model CheckingMichael Huth, Shekhar Pradhan. ENTCS, 73:45-85, 2004. [doi]

Static Verification of Worm and virus Behavior in binary Executables using Model CheckingPrabhat K. Singh, Arun Lakhotia. cimca 2003: 298-300

Oracle Circuits for Branching-Time Model CheckingPh. Schnoebelen. icalp 2003: 790-801 [doi]

Efficient on-the-fly model-checking for regular alternation-free mu-calculusRadu Mateescu, Mihaela Sighireanu. SCP, 46(3):255-281, 2003. [doi]

Distributed Explicit Bounded LTL Model CheckingENTCS, 89(1):33-50, 2003. [doi]

Effcient Symbolic Model Checking of Software Using Partial Disjunctive PartitioningSharon Barner, Ishai Rabinovitz. charme 2003: 35-50 [doi]

How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case StudyAlan Burns. rts, 24(2):135-151, 2003.

Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, ProceedingsDragan Bosnacki, Stefan Leue, editors, Volume 2318 of Lecture Notes in Computer Science, Springer, 2002.

An Approach to Model Checking for Nonlinear Analog Systemsdate 2002: 1080 [doi]

Sequential and Distributed Model Checking of Petri Net SpecificationsAlexander Bell, Boudewijn R. Haverkort. ENTCS, 68(4):539-558, 2002. [doi]

Effective State Exploration for Model Checking on a Shared Memory ArchitectureCornelia P. Inggs, Howard Barringer. ENTCS, 68(4):605-620, 2002. [doi]

Bounded Model Checking for Timed AutomataMaria Sorea. ENTCS, 68(5):116-134, 2002. [doi]

Model checking with abstract typesENTCS, 55(3):382-393, 2001. [doi]

Model-Checking View-Based Partial SpecificationsMichael Huth, Shekhar Pradhan. ENTCS, 45:174-196, 2001. [doi]

Applications of Hierarchical Verification in Model CheckingRobert Beers, Rajnish Ghughal, Mark Aagaard. charme 2001: 40-57 [doi]

Model-checking continous-time Markov chainsAdnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton. tocl, 1(1):162-170, 2000. [doi]

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systemsZhe Dang, Richard A. Kemmerer. ICSE 2000: 345-354 [doi]

The Quest for Correct Systems: Model Checking of Diagrams and DatatypesJan Philipps, Oscar Slotosch. apsec 1999: 449 [doi]

Modular model checking of VLSI designs described in VHDLFahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa. cata 1998: 368-371

Local Model Checking for Value-Passing Processes (Extended Abstract)Julian Rathke, Matthew Hennessy. tacs 1997: 250-266

Partial Model Checking with ROBDDsHenrik Reif Andersen, Jørgen Staunstrup, Niels Maretti. TACAS 1997: 35-49

Model Checking and the Mu-calculusE. Allen Emerson. dimacs 1996: 185-214

Hierarchical Compression for Model-Checking CSP or How to Check 10:::20::: Dining Philosophers for DeadlockA. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood. TACAS 1995: 133-152

Functional Extension of Symbolic Model CheckingThomas Filkorn. cav 1992: 225-232

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron. avmfss 1990: 275-285

runs on WebDSL