Search results for "XMC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Gerard J. Holzmann	The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.	SPIN	1999	DBLP DOI BibTeX RDF
105	Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren	Efficient Model Checking Using Tabled Resolution.	CAV	1997	DBLP DOI BibTeX RDF
100	Samik Basu 0001, Scott A. Smolka	Model checking the Java metalocking algorithm.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods
84	Giridhar Pemmasani, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
42	Florian Wilde	Large scale characterization of SRAM on infineon XMC microcontrollers as PUF.	CS2@HiPEAC	2017	DBLP DOI BibTeX RDF
42	C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan	XMC: A Logic-Programming-Based Verification Toolset.	CAV	2000	DBLP DOI BibTeX RDF
42	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.	VMCAI	2003	DBLP DOI BibTeX RDF
42	Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan 0001, Scott A. Smolka	Vacuity Checking in the Modal Mu-Calculus.	AMAST	2002	DBLP DOI BibTeX RDF
42	C. R. Ramakrishnan 0001	A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF
42	Samik Basu 0001, Scott A. Smolka, Orson R. Ward	Model Checking the Java Meta-Locking Algorithm.	ECBS	2000	DBLP DOI BibTeX RDF	Java, model checking, synchronization, objects, mutual exclusion, threads, specification and verification
42	C. R. Ramakrishnan 0001	Verification Using Tabled Logic Programming.	CONCUR	2000	DBLP DOI BibTeX RDF
42	Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren	Logic Programming and Model Checking.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
21	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Modeling Systems in CLP.	ICLP	2005	DBLP DOI BibTeX RDF
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	Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka	Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol
21	Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Speculative Beats Conservative Justification.	ICLP	2001	DBLP DOI BibTeX RDF
21	Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.	TACAS	1999	DBLP DOI BibTeX RDF