|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 28 keywords
|
|
|
Results
Found 53 publication records. Showing 53 according to the selection in the facets
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 |
|
Displaying result #1 - #53 of 53 (100 per page; Change: )
|
|