|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 111 publication records. Showing 111 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi |
Syntax-Driven Program Verification of Matching Logic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 68-74, 2015, IEEE Computer Society, 978-1-4673-7043-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker |
Recommendations for improving the usability of formal methods for product lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 43-49, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robin A. Gandhi, Harvey P. Siy, Yan Wu 0018 |
Lightweight formal models of software weaknesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 50-56, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jaideep Nijjar, Ivan Bocic, Tevfik Bultan |
An integrated data model verifier with property templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 29-35, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Göthel, Sabine Glesner |
Automatic validation of infinite real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 57-63, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bollin |
Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 8-14, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh 0001 |
Trace based reachability verification for statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 22-28, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alan Wassyng |
Though this be madness, yet there is method in it? (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 1-7, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Siddharth Agarwal, Amey Karkare |
Functional SMT solving with Z3 and racket. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 15-21, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez |
A framework for the rigorous design of highly adaptive timed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 64-70, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson 0003, Manuel Mazzara |
Towards a formalism-based toolkit for automotive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013, pp. 36-42, 2013, IEEE Computer Society, 978-1-4673-6292-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #111 of 111 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|