Search results for "property-preservation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Chuanliang Xia, Zhendong Liu	Property Preservation of Time Petri Net Reduction.	IITSI	2010	DBLP DOI BibTeX RDF	reduction, time Petri nets, equivalence, system verification, property preservation
40	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall	Property Preservation along Embedding of Biological Regulatory Networks.	AB	2008	DBLP DOI BibTeX RDF	Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation
39	Jinfeng Huang, Jeroen Voeten, Marc Geilen	Real-time Property Preservation in Approximations of Timed Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
37	Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Strengthening Property Preservation in Concurrent Real-Time Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
33	Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu 0001	Analysis of Property-Preservation Capabilities of the ROX and ESh Hash Domain Extenders.	ACISP	2009	DBLP DOI BibTeX RDF	ROX, ESh, Hash Functions, MPP, Domain Extension
32	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
28	Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang	Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
24	Henrik Ejersbo Jensen, Nancy A. Lynch	A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction.	TACAS	1998	DBLP DOI BibTeX RDF
23	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
23	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the preservation of temporal properties upon feature integration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Feature, State-explosion problem, Property preservation
23	Yan Zhao 0001, Feng Luo, S. K. Michael Wong, Yiyu Yao	A General Definition of an Attribute Reduct.	RSKT	2007	DBLP DOI BibTeX RDF	property preservation functions, monotonicity of evaluation function, attribute reducts
18	Chuanliang Xia, Chengdong Li	Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems.	IEEE CAA J. Autom. Sinica	2021	DBLP DOI BibTeX RDF
18	Andrew M. Bradley, Peter A. Bosler, Oksana Guba, Mark A. Taylor, Gregory A. Barnett	Communication-Efficient Property Preservation in Tracer Transport.	SIAM J. Sci. Comput.	2019	DBLP DOI BibTeX RDF
18	Ben Hamlin, Fang Song 0001	Quantum security of hash functions and property-preservation of iterated hashing.	CoRR	2019	DBLP BibTeX RDF
18	Rik Eshuis, Richard Hull 0001, Mengfei Yi	Reasoning About Property Preservation in Adaptive Case Management.	ACM Trans. Internet Techn.	2019	DBLP DOI BibTeX RDF
18	Ben Hamlin, Fang Song 0001	Quantum Security of Hash Functions and Property-Preservation of Iterated Hashing.	PQCrypto	2019	DBLP DOI BibTeX RDF
18	Carmine Abate, Roberto Blanco, Deepak Garg 0001, Catalin Hritcu, Marco Patrignani, Jérémy Thibault	Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.	CSF	2019	DBLP DOI BibTeX RDF
18	Cláudio Goncalves Gomes 0001	Property preservation in co-simulation		2019	RDF
18	V. T. Manu, Babu M. Mehtre	Copy-move tampering detection using affine transformation property preservation on clustered keypoints.	Signal Image Video Process.	2018	DBLP DOI BibTeX RDF
18	Carmine Abate, Roberto Blanco, Deepak Garg 0001, Catalin Hritcu, Marco Patrignani, Jérémy Thibault	Exploring Robust Property Preservation for Secure Compilation.	CoRR	2018	DBLP BibTeX RDF
18	Chuanliang Xia	Property preservation of refinement for Petri net based representation for embedded systems.	Clust. Comput.	2016	DBLP DOI BibTeX RDF
18	Christian Prehofer	Property Preservation for Extension Patterns of State Transition Diagrams.	IFM	2016	DBLP DOI BibTeX RDF
18	Rik Eshuis, Richard Hull 0001, Mengfei Yi	Property Preservation in Adaptive Case Management.	ICSOC	2015	DBLP DOI BibTeX RDF
18	Ruohan Gao, Pili Hu, Wing Cheong Lau	Graph Property Preservation under Community-Based Sampling.	GLOBECOM	2015	DBLP DOI BibTeX RDF
18	Lijian Zhou, Wanquan Liu, Zhe-Ming Lu, Tingyuan Nie	Face recognition based on curvelets and local binary pattern features via using local property preservation.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
18	Anton Wijs, Luc Engelen	Efficient Property Preservation Checking of Model Refinements.	TACAS	2013	DBLP DOI BibTeX RDF
18	Christian Prehofer	Feature-based Development of State Transition Diagrams with Property Preservation.	MoDeVVa@MoDELS	2013	DBLP BibTeX RDF
18	John Derrick, Graeme Smith 0001	Temporal-logic property preservation under Z refinement.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
18	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard	Embedding of Biological Regulatory Networks and Property Preservation.	Math. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Hai-Zhong Tan	Attribute value reduction for rule property preservation in variable precision rough set model.	GrC	2011	DBLP DOI BibTeX RDF
18	Azman Bin Bujang Masli	Temporal property preservation under the refinement of CSP-OZ specifications.		2011	RDF
18	Raphael C.-W. Phan, Ahmad Roshidi Amran, John N. Whitley, David J. Parish	Evidential Notions of Defensibility and Admissibility with Property Preservation.	iNetSec	2010	DBLP DOI BibTeX RDF
18	Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu 0001	Analysis of Property-Preservation Capabilities of the ROX and ESh Hash Domain Extenders.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
18	Tullio Vardanega	Property Preservation and Composition with Guarantees: From ASSERT to CHESS.	ISORC	2009	DBLP DOI BibTeX RDF
18	Chuanliang Xia	Property Preservation of Petri Refinement Net.	CSIE (5)	2009	DBLP DOI BibTeX RDF
18	Chuanliang Xia	Property Preservation by Petri-Net-Based Refinements in System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
18	Jewgenij Botaschanjan	Techniques for property preservation in the development of real-time systems. (PDF / PS)		2008	RDF
18	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal	Branching-Time Property Preservation Between Real-Time Systems.	ATVA	2006	DBLP DOI BibTeX RDF
18	Ken Yoong Yoong, Timo Rolf Bretschneider	POLSAR speckle filtering with structural feature and scattering property preservation.	IGARSS	2005	DBLP DOI BibTeX RDF
18	Nabil Hameurlain	Behavioural Subtyping and Property Preservation for Active Objects.	FMOODS	2002	DBLP BibTeX RDF
18	Heike Wehrheim	Behavioural Subtyping and Property Preservation.	FMOODS	2000	DBLP DOI BibTeX RDF
18	Ching-Tsun Chou	Simple Proof Techniques for Property Preservation via Simulation.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
18	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Predictable real-time software synthesis.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time systems, Formal methods, Program synthesis
16	Nabil Hameurlain	Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.	CEEMAS	2007	DBLP DOI BibTeX RDF
12	Ildikó Pelczer, Fernando Gamboa Rodríguez	Design of a System for Automated Generation of Problem Fields.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	automated problem generation, problem fields, mathematics
12	Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter	Translation Validation of System Abstractions.	RV	2007	DBLP DOI BibTeX RDF
12	Ferucio Laurentiu Tiplea, Constantin Enea	Abstractions of data types.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Data type, Universal algebra
12	Karine Altisen, Stavros Tripakis	Implementation of Timed Automata: An Issue of Semantics or Modeling?	FORMATS	2005	DBLP DOI BibTeX RDF
9	Iman Narasamdya, Michaël Périn	Certification of Smart-Card Applications in Common Criteria.	FASE	2009	DBLP DOI BibTeX RDF
9	Ákos Horváth 0001	Towards a Two Layered Verification Approach for Compiled Graph Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
9	Cécile Braunstein, Emmanuelle Encrenaz	CTL-property Transformations along an Incremental Design Process.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	System design and verification, Computational tree logic, Simulation relation
9	Michael Backes 0001, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	CSFW	2004	DBLP DOI BibTeX RDF
9	Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck	Parameterized Interfaces for Open System Verification of Product Lines.	ASE	2004	DBLP DOI BibTeX RDF