Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ISSSE"( http://dblp.L3S.de/Venues/ISSSE )

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

Publication years (Num. hits)
2006 (20) 2008-2011 (18) 2012 (64) 2013 (1)
Publication types (Num. hits)
inproceedings(99) proceedings(4)
Venues (Conferences, Journals, ...)
ISSSE(103)
Authors
Georg Fischer 0001(4) Sana Salous(3) Thomas Kaiser 0001(3) Abhijit K. Ambekar(2) Alexander Koelpin(2) Alexandre P. Almeida(2) Ali Emre Pusane(2) Amin Hamidian(2) Andrea De Lucia(2) Andrea Malignaggi(2) Andreas Kortke(2) Anggia Anggraini(2) Filomena Ferrucci(2) Georg Böck(2) Gerd Ascheid(2) Hans D. Schotten(2) More (+10 of total 291)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 21 keywords
Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Thuong Doan, Laurent Michel, Steven A. Demurjian A Formal Framework for Secure Design and Constraint Checking in UML. Search on Bibsonomy ISSSE The full citation details ... 2006 DBLP  BibTeX  RDF
1Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat UML-Based Modeling and Formal Verification of Authentication Protocols. Search on Bibsonomy ISSSE The full citation details ... 2006 DBLP  BibTeX  RDF
1Thuy D. Nguyen, Cynthia E. Irvine, Douglas R. Kane Jr. Using Common Criteria Methodology to Express Informal Security Requirements. Search on Bibsonomy ISSSE The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #101 - #103 of 103 (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