Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged model checking

Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model CheckingRalf Wimmer, Bettina Braitling, Bernd Becker. vmcai 2009: 366-380 [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]

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]

Structural Conditions for Model-checking of Parameterized NetworksSiamak Nazari, John Thistle. acsd 2007: 187-196 [doi]

Model Checking RAISE Applicative SpecificationsJuan Ignacio Perna, Chris George. SEFM 2007: 257-268 [doi]

Model Checking Norms and Sanctions in InstitutionsFrancesco Viganò, Marco Colombetti. atal 2008: 316-329 [doi]

Model Checking of Restricted CTL* Formulas using ALCKTaufiq Rochaeli, Claudia Eckert. dlog 2007: [doi]

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.

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

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

Model Checking with Strong FairnessYonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar. fmsd, 28(1):57-84, 2006. [doi]

Model Checking for Synchronous JavaDuc-Duy Vo, Claude Petitpierre. sede 2006: 141-147

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.

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.

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]

Software Model Checking: The VeriSoft ApproachPatrice Godefroid. fmsd, 26(2):77-101, 2005. [doi]

Preliminary Results of a Case Study: Model Checking for Advanced Automotive ApplicationsStefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop. FM 2005: 533-536 [doi]

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal LogicsPatrice Godefroid, Michael Huth. lics 2005: 158-167 [doi]

Generalized Model CheckingPatrice Godefroid. time 2005: 3 [doi]

Model Checking Multi-Agent SystemsMustapha Bourahla, Mohamed Benmohamed. informaticaSI, 29(2):189-198, 2005. [doi]

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

ACTLS properties and Bounded Model CheckingBozena Wozna. FUIN, 63(1):65-87, 2004. [doi]

Oracle Circuits for Branching-Time Model CheckingPh. Schnoebelen. icalp 2003: 790-801 [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 Lossy Channels Systems Is Probably DecidableNathalie Bertrand, Ph. Schnoebelen. fossacs 2003: 120-135 [doi]

VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local RestrictionsJuan José Sánchez Penas, Thomas Arts. acsd 2003: 247-248 [doi]

An Approach to Model Checking for Nonlinear Analog Systemsdate 2002: 1080 [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 the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMVMeine van der Meulen. FMCAD 2002: 310-323 [doi]

Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and HeerhugowaardCindy Eisner. STTT, 4(1):107-124, 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]

Comparing SAT Encodings for Model CheckingDaniel Sheridan. cp 2001: 784 [doi]

A symbolic semantics for abstract model checkingFrancesca Levi. SCP, 39(1):93-123, 2001.

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

Partial-Order Methods for Model Checking: From Linear Time to Branching TimeBernard Willems, Pierre Wolper. lics 1996: 294-303

Symbolic Model Checking for Real-Time Systemsiandc, 111(2):193-244, June 1994.

An Experience in Proving Regular Networks of Processes by Modular Model CheckingNicolas Halbwachs, Fabienne Lagnier, Christophe Ratel. ACTA, 29(6/7):523-543, 1992.

Local Model Checking for Infinite State SpacesJulian C. Bradfield, Colin Stirling. TCS, 96(1):157-174, 1992.

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

A Partial Approach to Model CheckingPatrice Godefroid, Pierre Wolper. lics 1991: 406-415

On Understanding Types, Data Abstraction, and PolymorphismLuca Cardelli, Peter Wegner. ACM Comput. Surv., 17(4):471-522, 1985.

runs on WebDSL