Search results for "Z-EVES"

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