|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 17 keywords
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Georg Thimm, S. Ben-Yacoub, Juergen Luettin |
Evaluating the complexity of databases for person identification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 8th International Conference, CAIP'99, Ljubljana, Slovenia, September 1-3, 1999, Proceedings, pp. 49-56, 1999, Springer, 3-540-66366-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Person identi cation, person veri cation, database evaluation |
71 | Salvador Cavadini, Diego Cheda |
Run-time Information Flow Monitoring based on Dynamic Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 586-591, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, information flow, dependence graphs |
59 | Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2004, 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings, pp. 102-113, 2004, Springer, 3-540-24076-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
59 | Thomas A. Henzinger |
Model Checking: From Hardware to Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 176-177, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Karun N. Biyani, Sandeep S. Kulkarni |
Building component families to support adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
veri cation, autonomic computing, component-based systems, dynamic adaptation |
52 | Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef |
Bayesian Networks applied to Software IV&V. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 293-304, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software requirements speci.cations, independent veri.cation and validation, Use cases, software reliability engineering, probabilistic networks |
52 | Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj |
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 197-204, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns |
52 | Leonardo Mariani |
Behavior Capture and Test for Verifying Evolving Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 78-80, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Run-time veri.cation of evolving component-based systems |
41 | Waheeda Jabbar |
Geographic Routing and Location Veri cation for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
41 | Ryo Yanase |
Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 567-568, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
41 | Shin Nakajima 0001, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu |
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NII Shonan Meet. Rep. ![In: NII Shonan Meet. Rep. 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
41 | Qiang Tang 0001, Balazs Pejo |
Game-Theoretic Framework for Integrity Veri cation in Computation Outsourcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 639, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
41 | Youcef Hammal, Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman, Abdelli Abdelkrim |
Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 12(1), pp. 1-46, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
41 | Adrian Kent, Serge Massar, Jonathan Silman |
Secure and Robust Transmission and Veri?cation of Unknown Quantum States in Minkowski Space ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.0745, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
41 | |
Efficient Mix-Net Veri cation by Proofs of Random Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2012, pp. 16, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
41 | Francesco Stefanni |
A design and veri?cation methodology for networked embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
41 | Dirk Colbry, George C. Stockman, Anil K. Jain 0001 |
Detection of Anchor Points for 3D Face Veri.cation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2005, San Diego, CA, USA, 21-23 September, 2005, pp. 118, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu |
Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 215-220, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari 0002, Roberto Raggi |
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSFM ![In: Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004, pp. 11-20, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 253-264, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Swarm Technology, Verification, Formal Methods |
41 | Charles Pecheur |
Challenges Arising from Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, pp. 236-238, 2002, Springer, 3-540-40665-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis |
Refinement Types for Secure Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008, pp. 17-32, 2008, IEEE Computer Society, 978-0-7695-3182-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel, Lothar Thiele |
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan, pp. 201-208, 2008, IEEE Computer Society, 978-0-7695-3158-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wireless Sensor Networl, testing, event analysis |
29 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning-Based Assume-Guarantee Verification (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 282-287, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Große, Rolf Drechsler |
Acceleration of SAT-Based Iterative Property Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 349-353, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach |
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 301-311, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Shay Gueron, Or Zuk |
Applications of The Montgomery Exponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 620-625, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ef£cient implementations, Montgomery multiplication, modular exponentiation |
29 | Hervé Brönnimann, Nasir D. Memon, Kulesh Shanmugasundaram |
String Matching on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAN ![In: Combinatorial and Algorithmic Aspects of Networking, First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers, pp. 75-89, 2004, Springer, 3-540-27873-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ismail Kadayif, Mahmut T. Kandemir, Ibrahim Kolcu |
Exploiting Processor Workload Heterogeneity for Reducing Energy Consumption in Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 1158-1163, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Panagiotis Manolios, Sudarshan K. Srinivasan |
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 168-175, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Kar-Ann Toh |
Fingerprint and speaker verification decisions fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: 12th International Conference on Image Analysis and Processing (ICIAP 2003), 17-19 September 2003, Mantova, Italy, pp. 626-631, 2003, IEEE Computer Society, 0-7695-1948-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | John F. Canny |
Collaborative Filtering with Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2002 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 12-15, 2002, pp. 45-57, 2002, IEEE Computer Society, 0-7695-1543-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Donald Beaver |
Adaptively Secure Oblivious Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '98, International Conference on the Theory and Applications of Cryptology and Information Security, Beijing, China, October 18-22, 1998, Proceedings, pp. 300-314, 1998, Springer, 3-540-65109-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|