Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FormaliSE@ICSE"( http://dblp.L3S.de/Venues/FormaliSE@ICSE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/icse

Publication years (Num. hits)
2013-2015 (21) 2016-2017 (22) 2018-2019 (26) 2020 (15) 2021-2022 (27)
Publication types (Num. hits)
inproceedings(104) proceedings(7)
Venues (Conferences, Journals, ...)
FormaliSE@ICSE(111)
Authors
Nico Plat(6) Stefania Gnesi(6) Axel Legay(4) Ina Schaefer(4) Alexander Knüppel(3) Ali Mili 0001(3) Antonella Santone(3) Jalil Boudjadar(3) Marcello M. Bersani(3) Tomas Kulik(3) Vittoria Nardone(3) Alan Wassyng(2) Andreas Bollin(2) Besma Khaireddine(2) Claudio Menghi(2) Diego F. Aranha(2) More (+10 of total 307)
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
1Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi Syntax-Driven Program Verification of Matching Logic Properties. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joanne 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 FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robin A. Gandhi, Harvey P. Siy, Yan Wu 0018 Lightweight formal models of software weaknesses. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Ivan Bocic, Tevfik Bultan An integrated data model verifier with property templates. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Göthel, Sabine Glesner Automatic validation of infinite real-time systems. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Bollin Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh 0001 Trace based reachability verification for statecharts. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alan Wassyng Though this be madness, yet there is method in it? (Keynote). Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Siddharth Agarwal, Amey Karkare Functional SMT solving with Z3 and racket. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez A framework for the rigorous design of highly adaptive timed systems. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson 0003, Manuel Mazzara Towards a formalism-based toolkit for automotive applications. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #111 of 111 (100 per page; Change: )
Pages: [<<][1][2]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license