|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul |
Declarative Infrastructure Configuration Synthesis and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Syst. Manag. ![In: J. Netw. Syst. Manag. 16(3), pp. 235-258, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirement solver, Model finder, Diagnosis, Partial evaluation, SAT solver, Troubleshooting |
37 | Daniel Plagge, Michael Leuschel |
Validating B, Z and TLA + Using ProB and Kodkod. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 372-386, 2012, Springer, 978-3-642-32758-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Markus Iser, Mana Taghdiri, Carsten Sinz |
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, pp. 483-484, 2012, Springer, 978-3-642-31611-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens |
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 69-84, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Jasmin Christian Blanchette |
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR short papers(Yogyakarta) ![In: Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010, pp. 20-25, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Emina Torlak, Daniel Jackson 0001 |
Kodkod: A Relational Model Finder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 632-647, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias |
Analysis of invariants for efficient bounded verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 25-36, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynalloy, kodkod, sat-based code analysis, static analysis, alloy |
26 | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif |
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pp. 17-31, 2009, Springer, 978-3-642-02703-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
A specification-based approach to testing software product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 525-528, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca |
26 | Engin Uzuncaova, Sarfraz Khurshid |
Kato: A Program Slicing Tool for Declarative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 767-770, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|