|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 154-159, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AB ![In: Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings, pp. 125-138, 2008, Springer, 978-3-540-85100-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 163-171, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal |
Strengthening Property Preservation in Concurrent Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia, pp. 106-109, 2006, IEEE Computer Society, 0-7695-2676-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings, pp. 153-170, 2009, Springer, 978-3-642-02619-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 366-381, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(4), pp. 791-801, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Henrik Ejersbo Jensen, Nancy A. Lynch |
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 409-423, 1998, Springer, 3-540-64356-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Hejiao Huang, Hélène Kirchner |
Component-Based Security Policy Design with Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 21-42, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 53-62, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 101-108, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CAA J. Autom. Sinica ![In: IEEE CAA J. Autom. Sinica 8(4), pp. 905-915, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 41(3), pp. C161-C193, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ben Hamlin, Fang Song 0001 |
Quantum security of hash functions and property-preservation of iterated hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.08709, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Rik Eshuis, Richard Hull 0001, Mengfei Yi |
Reasoning About Property Preservation in Adaptive Case Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 19(1), pp. 12:1-12:21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ben Hamlin, Fang Song 0001 |
Quantum Security of Hash Functions and Property-Preservation of Iterated Hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PQCrypto ![In: Post-Quantum Cryptography - 10th International Conference, PQCrypto 2019, Chongqing, China, May 8-10, 2019 Revised Selected Papers, pp. 329-349, 2019, Springer, 978-3-030-25509-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pp. 256-271, 2019, IEEE, 978-1-7281-1407-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Cláudio Goncalves Gomes 0001 |
Property preservation in co-simulation ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
18 | V. T. Manu, Babu M. Mehtre |
Copy-move tampering detection using affine transformation property preservation on clustered keypoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 12(3), pp. 549-556, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.04603, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Chuanliang Xia |
Property preservation of refinement for Petri net based representation for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 19(3), pp. 1373-1384, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Christian Prehofer |
Property Preservation for Extension Patterns of State Transition Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 260-274, 2016, Springer, 978-3-319-33692-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Rik Eshuis, Richard Hull 0001, Mengfei Yi |
Property Preservation in Adaptive Case Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings, pp. 285-302, 2015, Springer, 978-3-662-48615-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Ruohan Gao, Pili Hu, Wing Cheong Lau |
Graph Property Preservation under Community-Based Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2015 IEEE Global Communications Conference, GLOBECOM 2015, San Diego, CA, USA, December 6-10, 2015, pp. 1-7, 2015, IEEE, 978-1-4799-5952-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 95, pp. 209-216, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Anton Wijs, Luc Engelen |
Efficient Property Preservation Checking of Model Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 565-579, 2013, Springer, 978-3-642-36741-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Christian Prehofer |
Feature-based Development of State Transition Diagrams with Property Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013., pp. 21-30, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
18 | John Derrick, Graeme Smith 0001 |
Temporal-logic property preservation under Z refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 24(3), pp. 393-416, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 5(3), pp. 263-288, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Hai-Zhong Tan |
Attribute value reduction for rule property preservation in variable precision rough set model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2011 IEEE International Conference on Granular Computing, GrC-2011, Kaohsiung, Taiwan, November 8-10, 2011, pp. 636-640, 2011, IEEE Computer Society, 978-1-4577-0372-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Azman Bin Bujang Masli |
Temporal property preservation under the refinement of CSP-OZ specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iNetSec ![In: Open Research Problems in Network Security - IFIP WG 11.4 International Workshop, iNetSec 2010, Sofia, Bulgaria, March 5-6, 2010, Revised Selected Papers, pp. 134-139, 2010, Springer, 978-3-642-19227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2009, pp. 170, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Tullio Vardanega |
Property Preservation and Composition with Guarantees: From ASSERT to CHESS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009, pp. 125-132, 2009, IEEE Computer Society, 978-0-7695-3573-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Chuanliang Xia |
Property Preservation of Petri Refinement Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (5) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 749-754, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Chuanliang Xia |
Property Preservation by Petri-Net-Based Refinements in System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 240-246, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jewgenij Botaschanjan |
Techniques for property preservation in the development of real-time systems. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
18 | Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal |
Branching-Time Property Preservation Between Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 260-275, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ken Yoong Yoong, Timo Rolf Bretschneider |
POLSAR speckle filtering with structural feature and scattering property preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2005, July 25-29, 2005, Seoul, Korea, Proceedings, pp. 4, 2005, IEEE, 0-7803-9050-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Nabil Hameurlain |
Behavioural Subtyping and Property Preservation for Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands, pp. 95-110, 2002, Kluwer, 0-7923-7683-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
18 | Heike Wehrheim |
Behavioural Subtyping and Property Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, pp. 213-231, 2000, Kluwer, 0-7923-7923-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Ching-Tsun Chou |
Simple Proof Techniques for Property Preservation via Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 60(3), pp. 129-134, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Jinfeng Huang, Jeroen Voeten, Henk Corporaal |
Predictable real-time software synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 36(3), pp. 159-198, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, pp. 153-162, 2007, Springer, 978-3-540-75253-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ildikó Pelczer, Fernando Gamboa Rodríguez |
Design of a System for Automated Generation of Problem Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 763-765, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 139-150, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ferucio Laurentiu Tiplea, Constantin Enea |
Abstractions of data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 42(8-9), pp. 639-671, 2006. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, pp. 273-288, 2005, Springer, 3-540-30946-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Iman Narasamdya, Michaël Périn |
Certification of Smart-Card Applications in Common Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 309-324, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ákos Horváth 0001 |
Towards a Two Layered Verification Approach for Compiled Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 499-501, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Cécile Braunstein, Emmanuelle Encrenaz |
CTL-property Transformations along an Incremental Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(1), pp. 77-88, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 204-218, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck |
Parameterized Interfaces for Open System Verification of Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 258-267, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #53 of 53 (100 per page; Change: )
|
|