The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for EVES with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1998 (15) 1999-2005 (17) 2006-2009 (16) 2013-2023 (12)
Publication types (Num. hits)
article(19) inproceedings(40) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 69 occurrences of 48 keywords

Results
Found 71 publication records. Showing 60 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
119Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang Verifying DAML+OIL and Beyond in Z/EVES. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
111Jim Woodcock 0001, Leo Freitas Z/Eves and the Mondex Electronic Purse. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
111Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink EVES: An Overview. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF EVES, NEVER, Verdi, formal methods, Automated deduction, logic of programs
93Leo Freitas, Jim Woodcock 0001 Mechanising Mondex with Z/Eves. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
83Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels An EVES Data Abstraction Example. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
65Leo Freitas, Zheng Fu, Jim Woodcock 0001 POSIX file store in Z/Eves: an experiment in the verified software repository. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang A combined approach to checking web ontologies. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF racer, ontologies, semantic web, z, alloy, daml+oil
47Leo Freitas, Konstantinos Mokos, Jim Woodcock 0001 Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Ora Canada Z/EVES Version 1.5: An Overview. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
47Yves Ledru Identifying Pre-Conditions with the Z/EVES Theorem Prover. Search on Bibsonomy ASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
45Leo Freitas, Jim Woodcock 0001 Proving Theorems About JML Classes. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
45Jing Sun 0002, Hongyu Zhang 0002, Yuan-Fang Li, Hai H. Wang Formal Semantics and Verification for Feature Modeling. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy
37Kameron Eves, John Valasek Adaptive Control for Non-Minimum Phase Systems Via Time Scale Separation. Search on Bibsonomy ACC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Paul van Schaik, Matthew Unwin, David Eves, Melissa Lara, Alfred Mensah User-experience in design and use: enhancing the experience of media content with programmable surround lighting. Search on Bibsonomy Qual. User Exp. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
37Brett R. Stone, John L. Salmon, Keenan Eves, Matthew Killian, Landon Wright, Jordan Oldroyd, Steve Gorrell, Michael C. Richey A Multi-User Computer-Aided Design Competition: Experimental Findings and Analysis of Team-Member Dynamics. Search on Bibsonomy J. Comput. Inf. Sci. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
37Christopher Eves, Xue Wang, Stephen G. Walker Bayesian Information for Sensors. Search on Bibsonomy Qual. Reliab. Eng. Int. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
37Makoto Miwa, James Thomas 0001, Alison O'Mara-Eves, Sophia Ananiadou Reducing systematic review workload through certainty-based screening. Search on Bibsonomy J. Biomed. Informatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
37Richard I. Anderson, Jeremy Ashley, Tobias Herrmann, Justin Miller, Jim Nieters, Shauna Sampson Eves, Secil Tabli Watson Moving ux into a position of corporate influence: whose advice really works? Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF user experience, user-centered design, management, organizations
37Willi Geiger, Robert Hoffmeister, Masi Oka, Simon Eves Stormy weather. Search on Bibsonomy SIGGRAPH Sketches The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Jeanine L. Eves, Todd J. Anderson Innovations in a Mature Scanner Market. Search on Bibsonomy PICS The full citation details ... 2003 DBLP  BibTeX  RDF
37Bob Eves The colour concept generator : a computer tool to propose colour concepts for products. Search on Bibsonomy 1997   RDF
37R. M. McKeag, Ann Eves, E. J. Rooney Designing Software for Children. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
37J. M. Eves, Stanley L. Hurst Improvements in Multioutput Threshold-Logic Gates. Search on Bibsonomy Comput. J. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
36Luca Chittaro, Roberto Ranon Adaptive Hypermedia Techniques for 3D Educational Virtual Environments. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF educational virtual environments, personalization, e-learning, X3D, adaptive hypermedia, 3D virtual environments
36John C. Knight, P. Thomas Fletcher, Brian R. Hicks Tool Support for Production Use of Formal Techniques. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Kefeng Guo, Xingwang Li 0001, Mamoun Alazab, Rutvij H. Jhaveri, Kang An 0001 Integrated Satellite Multiple Two-Way Relay Networks: Secrecy Performance Under Multiple Eves and Vehicles With Non-Ideal Hardware. Search on Bibsonomy IEEE Trans. Intell. Veh. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29Ge Shi 0004, Yong Li 0036, Wei Cheng, Xiang Gao, Wenjie Zhang 0002 An Artificial-Noise-Based Approach for the Secrecy Rate Maximization of MISO VLC Wiretap Channel With Multi-Eves. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Mingwu Zhang, Yudi Zhang 0001, Yan Jiang 0002, Jian Shen 0001 Obfuscating EVES Algorithm and Its Application in Fair Electronic Transactions in Public Clouds. Search on Bibsonomy IEEE Syst. J. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Van-Dinh Nguyen, Trung Quang Duong, Octavia A. Dobre, Oh-Soon Shin Secrecy rate maximization in a cognitive radio network with artificial noise aided for MISO multi-eves. Search on Bibsonomy ICC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Adam Coffman 0001 Weighted Projective Spaces and a Generalization of Eves' Theorem. Search on Bibsonomy J. Math. Imaging Vis. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Qiang Li 0017, Wing-Kin Ma Spatially Selective Artificial-Noise Aided Transmit Optimization for MISO Multi-Eves Secrecy Rate Maximization Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
29Qiang Li 0017, Wing-Kin Ma Spatially Selective Artificial-Noise Aided Transmit Optimization for MISO Multi-Eves Secrecy Rate Maximization. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Leo Freitas, Jim Woodcock 0001, Yichi Zhang Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Leo Freitas, Jim Woodcock 0001, Zheng Fu POSIX file store in Z/Eves: An experiment in the verified software repository. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Mark Saaltink The Z/EVES System. Search on Bibsonomy ZUM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels The EVES System. Search on Bibsonomy Functional Programming, Concurrency, Simulation and Automated Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink Eves System Description. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Mark Saaltink Z and Eves. Search on Bibsonomy Z User Workshop The full citation details ... 1991 DBLP  BibTeX  RDF
29Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink m-EVES: A Tool for Verifying Software. Search on Bibsonomy ICSE The full citation details ... 1988 DBLP  BibTeX  RDF
29Dan Craigen, Mark Saaltink An EVES update. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
29Dan Craigen Ottawa Euclid and EVES: A Status Report. Search on Bibsonomy S&P The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
27Sophie Dupuy, Lydie du Bousquet A Multi-formalism Approach for the Validation of UML Models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
18Khaled Alghathbar, Hanan A. Mahmoud Noisy password scheme: A new one time password system. Search on Bibsonomy CCECE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Monia Loulou, Mohamed Tounsi 0001, Ahmed Hadj Kacem, Mohamed Jmaiel A Formal Approach to prevent Attacks on Mobile Agent Systems. Search on Bibsonomy SECURWARE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng Formal verification of security specifications with common criteria. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ISO/IEC 15408, theorem-proving, Z notation
18Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. Search on Bibsonomy ECSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture
18Tassos A. Mikropoulos Presence: a unique characteristic in educational virtual environments. Search on Bibsonomy Virtual Real. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Educational virtual environments, Personal presence, Social presence, Involvement, Learning outcomes
18Zhicheng Wen, Huaikou Miao, Hongwei Zeng Generating Proof Obligation to Verify Object-Z Specification. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal specification, Object-Z, proof obligation
18Mamadou K. Traoré Analyzing static and temporal properties of simulation models. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira Graphical simulation of the dynamic evolution of the software architectures specified in Z. Search on Bibsonomy IWPSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel A formal model for mobile agent systems using Z. Search on Bibsonomy AICCSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Stefan Dziembowski, Ueli M. Maurer On Generating the Initial Key in the Bounded-Storage Model. Search on Bibsonomy EUROCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel Specification and Verification of Multi-Agent Applications using Temporal Z. Search on Bibsonomy IAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. Search on Bibsonomy ICPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF component-based applications, software architecture, formal specification, architectural style, graph rewriting, dynamic architecture
18Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Jörn Guy Süß, Andreas Leicher, Fadi Chabarek Software Model Engineering and Reuse with the Evolution and Validation Environment. Search on Bibsonomy FIDJI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
18Jin Song Dong, Jing Sun 0002, Hai H. Wang Z Approach to Semantic Web. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Semantic Web, Z
18Jonathan Ford, Natarajan Shankar Formal Verification of a Combination Decision Procedure. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Dan Craigen Formal Methods Adoption: What's Working, What's Not! Search on Bibsonomy SPIN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #60 of 60 (100 per page; Change: )
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