|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7900 occurrences of 4014 keywords
|
|
|
Results
Found 8451 publication records. Showing 8451 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | James W. Gray III, John McLean |
Using temporal logic to specify and verify cryptographic protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 108-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify |
43 | Markus Aderhold, Serge Autexier, Heiko Mantel (eds.) |
6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
43 | Cliff B. Jones |
Abstractions Before Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 2, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu |
Automatic generation of high quality test sets via CBMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 65-78, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Bernhard Beckert, Daniel Bruns, Sarah Grebing |
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 4-12, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Andrei Lapets |
User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 94-109, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Shuling Wang, Xu Wang |
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 126-140, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl |
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 31-46, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Véronique Cortier |
Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 1, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | André Platzer |
Real Analysis for Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 3, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Michael von Tessin |
Towards High-Assurance Multiprocessor Virtualisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 110-125, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Joe Hurd |
Composable Packages for Higher Order Logic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 79-93, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Mark Bickford |
Automated Proof of Authentication Protocols in a Logic of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 13-30, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Daniel Wasserrab, Denis Lohner |
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 141-155, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Alessandro Carioni, Silvio Ghilardi, Silvio Ranise |
MCMT in the Land of Parametrized Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY@IJCAR ![In: 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 47-64, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Zhengyou Zhang, Olivier D. Faugeras |
Estimation of Displacements from Two 3-D Frames Obtained From Stereo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(12), pp. 1141-1156, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
3D displacement estimation, line segment matching, hypothesize-and-verify paradigm, complexity, image segmentation, motion estimation, Kalman filters, stereo, stereo image processing, extended Kalman filter, rigidity constraints |
31 | Craig M. Wittenbrink, Alex Pang, Suresh K. Lodha |
Glyphs for Visualizing Uncertainty in Vector Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(3), pp. 266-279, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Verify visualization, wind profilers, doppler radar, wind barbs, icons |
31 | Francesca Cesarini, Marco Gori, Simone Marinai, Giovanni Soda |
A system for data extraction from forms of known class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1136-1140, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
information fields, hypothesize-and-verify paradigm, autoassociator-based connectionist model, instruction fields, noisy forms, pattern recognition, data extraction, forms processing, attributed relational graphs |
29 | Jingmin Zhou, Adam J. Carlson, Matt Bishop |
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA, pp. 117-126, 2005, IEEE Computer Society, 0-7695-2461-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Wentao Qu, Minglu Li 0001, Chuliang Weng |
An Active Trusted Model for Virtual Machine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009, pp. 145-152, 2009, IEEE Computer Society, 978-0-7695-3747-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trusted virtual machine, measure, verify, active model |
27 | Franco Fummi, A. Marshall, Laura Pozzi, Mariagiovanna Sami |
Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the 1998 ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays, FPGA 1998, Monterey, CA, USA, February 22-24, 1998, pp. 258, 1998, ACM, 0-89791-978-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
VERIFY |
27 | Bernhard Beckert, Gerwin Klein |
Title, Preface, Table of Contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Niusha Hakimipour, Paul A. Strooper, Roger Duke |
Exploring Model-Based Development for the Verification of Real-Time Java Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Hasan Amjad, Richard Bornat |
Model Checking for Stability Analysis in Rely-Guarantee Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Bernhard Beckert, Gerwin Klein (eds.) |
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Matthias Daum 0001, Jan Dörrenbächer, Sebastian Bogan |
Model Stack for the Pervasive Verification of a Microkernel-based Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | David A. Cock |
Bitfields and Tagged Unions in C: Verification through Automatic Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Gurvan Le Guernic |
Precise Dynamic Verification of Confidentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif |
Compositional Proofs with Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Richard Bubel, Reiner Hähnle, Peter H. Schmitt |
Specification Predicates with Explicit Dependency Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Gernot Heiser |
Operating System Verification for Real Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Gilles Barthe |
Certificate Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Till Mossakowski, Christian Maeder, Klaus Lüttich |
The Heterogeneous Tool Set (Hets). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | André Platzer |
Combining Deduction and Algebraic Constraints for Hybrid System Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Tobias Nipkow |
Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Borislav Gajanovic, Bernhard Rumpe |
ALICE: An Advanced Logic for Interactive Component Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Aaron Stump |
Lightweight Verification with Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Jia Meng, Lawrence C. Paulson, Gerwin Klein |
A Termination Checker for Isabelle Hoare Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Philipp Rümmer |
A Sequent Calculus for Integer Arithmetic with Counterexample Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Mamoun Filali |
A Mechanization of Phylogenetic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Bernhard Beckert (eds.) |
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev |
Formal Device and Programming Model for a Serial Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan 0001 |
A History-based Verification of Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Pascal Fontaine |
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Peter H. Schmitt, Benjamin Weiß 0001 |
Inferring Invariants by Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Wojciech Mostowski |
Fully Verified Java Card API Reference Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Olivera Pavlovic, Ralf Pinger, Maik Kollmann |
Automation of Formal Verification of PLC Programs Written in IL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Daniel Larsson, Reiner Hähnle |
Symbolic Fault Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Cesare Tinelli |
Trends and Challenges in Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Osman Hasan, Sofiène Tahar |
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 295-323, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover |
26 | Zhicheng Wen, Huaikou Miao, Hongwei Zeng |
Generating Proof Obligation to Verify Object-Z Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 38, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal specification, Object-Z, proof obligation |
26 | Christian Skalka, Xiaoyang Sean Wang |
Trust but verify: authorization for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWS ![In: Proceedings of the 1st ACM Workshop On Secure Web Services, SWS 2004, Fairfax, VA, USA, October 29, 2004, pp. 47-55, 2004, ACM, 1-58113-973-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
access control logic, web services, distributed authorization |
22 | Alexandre Janot, Pierre-Olivier Vandanjon, Maxime Gautier |
Using robust regressions and residual analysis to verify the reliability of LS estimation: Application in robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1962-1967, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong |
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. ![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. 54-69, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw |
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 268-271, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole |
22 | Domenico Bianculli, Carlo Ghezzi, Paola Spoletini |
A Model Checking Approach to Verify BPEL4WS Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2007, 19-20 June 2007, Newport Beach, California, USA, pp. 13-20, 2007, IEEE Computer Society, 978-0-7695-2861-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Erik Reeber, Jun Sawada |
Combining ACL2 and an automated verification tool to verify a multiplier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 63-70, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, theorem proving, hardware verification |
22 | Jia Xu |
Making Software Timing Properties Easier to Inspect and Verify. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 20(4), pp. 34-41, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
preruntime scheduling, verification, real time, predictability, software, code, inspection, undecidability, timing properties, state space explosion |
22 | Miroslav N. Velev |
Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 28-35, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl |
Abstracting WS1S Systems to Verify Parameterized Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 188-203, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | A. N. Trahtman |
An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIA ![In: Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers, pp. 164-173, 1999, Springer, 3-540-42812-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
locally threshold testable, semigroup AMS subject classification 68Q25, 68Q68, 20M07, algorithm, deterministic finite automaton, 68Q45 |
21 | Vahab S. Mirrokni, Alexander Skopalik |
On the complexity of nash dynamics and sink equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 1-10, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
potential games, sink equilibria, nash equilibria |
19 | Olivier Coudert |
An efficient algorithm to verify generalized false paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 188-193, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
co-sensitization, generalized false path, timing exception, formal verification, correctness, SAT, sensitization, false path, SDC |
19 | Lei Liu 0039, Sen Zhang, Lu Hong Diao, Shu Ying Yan, Cungen Cao 0001 |
Using Concept Space to Verify Hyponymy in Building a Hyponymy Lexicon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICI ![In: Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 479-486, 2009, Springer, 978-3-642-05252-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hyponymy, relation acquisition, hyponymy verification, knowledge acquisition |
19 | Colin O'Halloran |
Guess and Verify - Back to the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 23-32, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Models, Verification, Software, Automation, Cost, Proof, Simulink |
19 | German Florez-Larrahondo, Walker Haddock |
Aspect oriented programming with hidden markov models to verify design use cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 223-228, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, stochastic models, runtime verification, acm proceedings |
19 | Jonathan Ezekiel, Alessio Lomuscio |
Combining fault injection and model checking to verify fault tolerance in multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 113-120, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
fault tolerance, model checking, fault injection, epistemic logic |
19 | Bruno Mermet, Gaële Simon |
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 505-512, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
GDTs, verification, specification, temporal logic, multiagent systems |
19 | Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum |
A Model to Design and Verify Context-Aware Adaptive Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 184-191, 2009, IEEE Computer Society, 978-0-7695-3811-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Combining symbolic execution with model checking to verify parallel numerical programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 17(2), pp. 10:1-10:34, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program |
19 | Stephen F. Siegel, Louis F. Rossi |
Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 274-282, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wencai Guo, Chuang Lin 0002 |
A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 69-74, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Binzenhöfer, Daniel Schlosser, Kurt Tutschku, Markus Fiedler |
An Autonomic Approach to Verify End-to-End Communication Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: Integrated Network Management, IM 2007. 10th IFIP/IEEE International Symposium on Integrated Network Management, Munich, Germany, 21-25 May 2007, pp. 817-820, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Haiyang Sun, Jian Yang 0001 |
Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan, pp. 415-422, 2007, IEEE Computer Society, 0-7695-3051-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | K. Rustan M. Leino, Wolfram Schulte |
Using History Invariants to Verify Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 80-94, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sujatha Kuppuraju, Aravind Kumar, Geetha Presenna Kumari |
Case Study to Verify the Interoperability of a Service Oriented Architecture Stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 678-679, 2007, IEEE Computer Society, 0-7695-2925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Pavel Krcál, Wang Yi 0001 |
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 249-262, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. May, Carl A. Gunter, Insup Lee 0001 |
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy, pp. 85-97, 2006, IEEE Computer Society, 0-7695-2615-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh |
Applying flow-sensitive CQUAL to verify MINIX authorization check placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006, pp. 3-6, 2006, ACM, 1-59593-374-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CQUAL, static analysis, type qualifiers, MINIX |
19 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Using model checking with symbolic execution to verify parallel numerical programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 157-168, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program |
19 | Denis Meron, Bruno Mermet |
A Tool Architecture to Verify Properties of Multiagent System at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, pp. 201-216, 2006, Springer, 978-3-540-71955-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ahsan Habib 0001, Dongyan Xu, Mikhail J. Atallah, Bharat K. Bhargava, John Chuang |
A Tree-Based Forward Digest Protocol to Verify Data Integrity in Distributed Media Streaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 17(7), pp. 1010-1014, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
message digest and media streaming, Data integrity |
19 | Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe |
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 75(1), pp. 1-14, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Numerical verification, unique solvability of linear elliptic problem, finite element method |
19 | Egon Börger |
Linking the Meaning of Programs to What the Compiler Can Verify. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 325-336, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jens Brandt 0001, Klaus Schneider 0001 |
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 405-420, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Kees M. van Hee, Olivia Oanea, Natalia Sidorova |
Colored Petri Nets to Verify Extended Event-Driven Process Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, pp. 183-201, 2005, Springer, 3-540-29736-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Extended EPCs, verification, semantics, colored Petri nets |
19 | Carole Durocher, Franck Multon, Richard Kulpa |
Dynamic Control of Captured Motions to Verify New Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture in Human-Computer Interaction and Simulation, 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers, pp. 200-211, 2005, Springer, 3-540-32624-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
take-off, optimization, constraints, dynamic control |
19 | Dan E. Willard |
On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 292-306, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Nik Swoboda, Gerard Allwein |
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(2), pp. 136-149, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Euler and Venn diagrams, Graph transformation, Diagrammatic reasoning, Proof verification |
19 | Aydan R. Yumerefendi, Jeffrey S. Chase |
Trust but verify: accountability for network services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004, pp. 37, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha |
Actively Learning to Verify Safety for FIFO Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 494-505, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sin Yeung Lee, Tok Wang Ling |
Verify Updating Trigger Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings, pp. 382-391, 1999, Springer, 3-540-66448-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Cindy Eisner |
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 97-109, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Dieter Fensel, Arno Schönegge |
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 71-, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification |
19 | Homer H. Chen, Thomas S. Huang |
Using Motion from Orthographic Views to Verify 3-D Point Matches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(9), pp. 872-878, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
3D point matching, depth error effect, orthographic views, pattern recognition, pattern recognition, motion estimate, picture processing, picture processing, image matching, motion analysis |
19 | Richard Lai 0001, Ken R. Parker, Tharam S. Dillon |
On Using Protean To Verify ISO FTAM Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 126-135, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | N. R. Sunitha, B. B. Amberker |
A new method of verifying digital signatures in e-cheque processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICON ![In: Proceedings of the 16th International Conference on Networks, ICON 2008, December 12-14, 2008, held at India Habitat Centre, New Delhi, India, pp. 1-5, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso |
Is methodology the highway out of verification hell? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 521-522, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, formal verification, methodology, assertions |
16 | Junjie An, Zhidao Zhou, Linfang Wang, Wang Ye, Weizeng Li, Hanghang Gao, Zhi Li, Jinghui Tian, Yan Wang, Hongyang Hu, Jinshan Yue, Lingyan Fan, Shibing Long, Qi Liu 0010, Chunmeng Dou |
Write-Verify-Free MLC RRAM Using Nonbinary Encoding for AI Weight Storage at the Edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 32(2), pp. 283-290, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Shurui Bai, Donn Emmanuel Gonda, Khe Foon Hew |
Write-Curate-Verify: A Case Study of Leveraging Generative AI for Scenario Writing in Scenario-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Learn. Technol. ![In: IEEE Trans. Learn. Technol. 17, pp. 1313-1324, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 8451 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|