|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
220 | David R. Cok, Joseph Kiniry |
ESC/Java2: Uniting ESC/Java and JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, pp. 108-128, 2004, Springer, 3-540-24287-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
129 | Aleksy Schubert, Jacek Chrzaszcz |
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SET ![In: Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland, pp. 337-348, 2006, Springer, 978-0-387-39387-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
97 | Mikolás Janota, Radu Grigore, Michal Moskal |
Reachability analysis for annotated code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 23-30, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ESC/Java2, JML |
94 | Erik Poll |
Teaching Program Specification and Verification Using JML and ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 92-104, 2009, Springer, 978-3-642-04911-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
70 | Patrice Chalin, Frédéric Rioux |
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 246-261, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
70 | Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz |
Propagation of JML non-null annotations in Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 135-140, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Hiroshi Ishikawa 0010 |
An Approach for Refactoring using ESC/Java2 - A Simple Case Study -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic, pp. 61-72, 2009, IOS Press, 978-1-60750-049-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Joseph R. Kiniry, Alan E. Morkan, Barry Denby |
Soundness and completeness warnings in ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@FSE ![In: Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006, pp. 19-24, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Patrice Chalin |
Early detection of JML specification errors using ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@FSE ![In: Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006, pp. 25-32, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | David R. Cok |
Specifying java iterators with JML and Esc/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@FSE ![In: Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006, pp. 71-74, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 342-363, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Patrice Chalin, Perry R. James, George Karabotsos |
An integrated verification environment for JML: architecture and early results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 47-53, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
JML4, integrated verification environment, Eclipse, java modeling language |
35 | Lieven Desmet, Pierre Verbaeten, Wouter Joosen, Frank Piessens |
Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(1), pp. 50-64, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Security, Reliability, Data sharing, Web technologies, Security and Protection, Web-based services, Software/Program Verification |
35 | Greg Dennis, Kuat Yessenov, Daniel Jackson 0001 |
Bounded Verification of Voting Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 130-145, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Patrice Chalin |
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 23-33, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | David A. Naumann |
From Coupling Relations to Mated Invariants for Checking Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings, pp. 279-296, 2006, Springer, 3-540-44601-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Bart Jacobs 0001, Claude Marché, Nicole Rauch |
Formal Verification of a Commercial Smart Card Applet with Multiple Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 241-257, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|