Search results for "concrete state"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Paolo A. G. Sivilotti, Matthew Lang	Interfaces first (and foremost) with Java.	SIGCSE	2010	DBLP DOI BibTeX RDF	concrete state, abstraction, behavioral specification
1	Cameron Maxwell, John Leaney, Tim O'Neill	Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation.	ECBS	2008	DBLP DOI BibTeX RDF	abstract matching, architectural optimisation, architecture, heuristics, design optimisation
1	Ariel Gonzalez, Carlos Luna	Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.	SCCC	2008	DBLP DOI BibTeX RDF
1	Harald Fecher, Michael Huth	More Precise Partition Abstractions.	VMCAI	2007	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller	A Verification Methodology for Model Fields.	ESOP	2006	DBLP DOI BibTeX RDF
1	Thomas Ball, Orna Kupferman, Greta Yorsh	Abstraction for Falsification.	CAV	2005	DBLP DOI BibTeX RDF
1	Orna Grumberg	Abstraction and Refinement in Model Checking.	FMCO	2005	DBLP DOI BibTeX RDF
1	Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche	Assessing and Improving State-Based Class Testing: A Series of Experiments.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	testing experimentation, category partition, UML statecharts, State-based testing
1	Arend Rensink	Canonical Graph Shapes.	ESOP	2004	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Vineet Kahlon	Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.	TACAS	2003	DBLP DOI BibTeX RDF
1	Conrado Daws, Stavros Tripakis	Model Checking of Real-Time Reachability Properties Using Abstractions.	TACAS	1998	DBLP DOI BibTeX RDF
1	Arthur G. Duncan, Lawrence Yelowitz	Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.	ICALP	1979	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )