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