|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1563 occurrences of 958 keywords
|
|
|
Results
Found 4760 publication records. Showing 4760 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
86 | Changjing Wang, Jinyun Xue |
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings, pp. 27-39, 2009, Springer, 978-3-642-02269-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid |
77 | Stephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung |
A Trustworthy Web Services Framework for Business Processes Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 186-196, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Service Oriented Enterprises, Trustworthy WebServices, Business Process Integration |
68 | Jing Li 0075, Dianfu Ma, Jun Han, Xiang Long |
Toward Trustworthy Semantic Web Service Discovery and Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pp. 209-220, 2009, Springer, 978-3-642-02703-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Services, Service Discovery, Semantic Web Service, Trustworthy |
65 | Jian Pei, Man Ki Mag Lau, Philip S. Yu |
TS-Trees: A Non-Alterable Search Tree Index for Trustworthy Databases on Write-Once-Read-Many (WORM) Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 54-61, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Steffen Becker 0001, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli |
Towards an Engineering Approach to Component Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 193-215, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Hannan Xiao, James A. Malcolm, Bruce Christianson, Ying Zhang 0020 |
Hierarchical Trustworthy Authentication for Pervasive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), August 6-10, 2007, Philadelphia, PA, USA, pp. 1-3, 2007, IEEE Computer Society, 978-1-4244-1024-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Yixiang Chen, Min Zhang 0007, Hong Zhu 0004, Tian-Ming Bu |
Average Transitive Trustworthy Degrees for Trustworthy Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 682-689, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Soumyadeb Mitra, Marianne Winslett, Windsor W. Hsu, Kevin Chen-Chuan Chang |
Trustworthy keyword search for compliance storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(2), pp. 225-242, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Compliance storage, Jump index, Inverted index |
47 | Vasu S. Alagar, Mubarak Mohammad |
Specification and verification of trustworthy component-based real-time reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 89-93, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
components, trustworthiness, real-time reactive systems |
47 | Steffen Becker 0001, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer 0001, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns |
Trustworthy software systems: a discussion of basic concepts and terminology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(6), pp. 1-18, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Teddy Furon, Jingen Liu, Yogesh S. Rawat, Wei Zhang 0031, Qi Zhao 0001 (eds.) |
Trustworthy AI'21: Proceedings of the 1st International Workshop on Trustworthy AI for Multimedia Computing, Virtual Event, China, 24 October 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy AI @ ACM Multimedia ![ACM, 978-1-4503-8674-6 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Hanwei Zhang, Yannis Avrithis, Teddy Furon, Laurent Amsaleg |
Patch Replacement: A Transformation-based Method to Improve Robustness against Adversarial Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy AI @ ACM Multimedia ![In: Trustworthy AI'21: Proceedings of the 1st International Workshop on Trustworthy AI for Multimedia Computing, Virtual Event, China, 24 October 2021, pp. 9-17, 2021, ACM, 978-1-4503-8674-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Mingyan Wu, Shuhan Qi, Jun Rao, Jiajia Zhang 0001, Qing Liao 0001, Xuan Wang 0002, Xinxin Liao |
Hierarchical Semantic Enhanced Directional Graph Network for Visual Commonsense Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy AI @ ACM Multimedia ![In: Trustworthy AI'21: Proceedings of the 1st International Workshop on Trustworthy AI for Multimedia Computing, Virtual Event, China, 24 October 2021, pp. 27-36, 2021, ACM, 978-1-4503-8674-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Jiantao Wu, Shentong Mo, Lin Wang 0004 |
An Empirical Study of Uncertainty Gap for Disentangling Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy AI @ ACM Multimedia ![In: Trustworthy AI'21: Proceedings of the 1st International Workshop on Trustworthy AI for Multimedia Computing, Virtual Event, China, 24 October 2021, pp. 1-8, 2021, ACM, 978-1-4503-8674-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Abhishek Mandal, Susan Leavy, Suzanne Little |
Dataset Diversity: Measuring and Mitigating Geographical Bias in Image Search and Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy AI @ ACM Multimedia ![In: Trustworthy AI'21: Proceedings of the 1st International Workshop on Trustworthy AI for Multimedia Computing, Virtual Event, China, 24 October 2021, pp. 19-25, 2021, ACM, 978-1-4503-8674-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter |
09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Design of Trustworthy Health Information Systems ![In: Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
47 | Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper |
Preface -- Workshop Trustworthy Software 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
47 | Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski |
04511 Abstracts Collection - Architecting Systems with Trustworthy Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, 12.-17. December 2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
47 | Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek |
Trustworthy Instantiation of Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 152-168, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Steffen Becker 0001, Lars Grunske, Raffaela Mirandola, Sven Overhage |
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 169-192, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Iman Poernomo |
A Type Theoretic Framework for Formal Metamodelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 262-298, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Jan Capek, Jitka Komarkova |
Trustworthy regional spatial information through web-services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 543-547, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dangerous failure state, information sources system, safe failure state, trustworthy information, web services |
41 | Qinghua Meng, Yongsheng Ding |
Small-World Network Inspired Trustworthy Web Service Evaluation and Management Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings, pp. 218-228, 2007, Springer, 978-3-540-72359-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
web service federation, trustworthy web service, quality of service, loading-balance, small-world network |
41 | Bhavani Thuraisingham |
Assured information sharing between trustworthy, semi-trustworthy and untrustworthy coalition partners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 2, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Thomas Weigert |
Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC (1) ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2006), 5-7 June 2006, Taichung, Taiwan, pp. 208-217, 2006, IEEE Computer Society, 0-7695-2553-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Jing Sun 0009, Huiqun Zhao, Huibing Xiao, Gongzhu Hu |
Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 295-300, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Ye Yang, Qing Wang 0001, Mingshu Li 0001 |
Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 389-401, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Software Trustworthiness, Process Trustworthiness, Process Trustworthiness Model, Measurement Model, Risk Management |
39 | Mahalingam Ramkumar |
Trustworthy Computing under Resource Constraints with the DOWN Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 5(1), pp. 49-61, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Security, Security, Mobile Computing, integrity and protection |
39 | Yaohang Li, Daniel Chen, Xiaohong Yuan |
Trustworthy remote compiling services for grid-based scientific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 41(2), pp. 119-131, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Security, Grid computing, Trustworthiness, Remote execution |
39 | Zongwei Luo, Jenny S. Li, Edward C. Wong |
SOA-Trust: Towards Developing Trustworthy RFID Enabled Intelligent Service Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China, pp. 751-754, 2007, IEEE Computer Society, 0-7695-3003-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Soumyadeb Mitra, Marianne Winslett, Windsor W. Hsu, Xiaonan Ma |
Trustworthy Migration and Retrieval of Regulatory Compliant Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSST ![In: 24th IEEE Conference on Mass Storage Systems and Technologies (MSST 2007), 24-27 September 2007, San Diego, California, USA, pp. 100-113, 2007, IEEE Computer Society, 0-7695-3025-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Yonghwan Lee, Dugki Min |
An Integration Framework for Trustworthy Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 217-226, 2006, Springer, 3-540-38619-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Kris Bubendorfer, Ian Welch, Blayne Chard |
Trustworthy Auctions for Grid-Style Economies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 386-390, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Xuehai Peng, Chuang Lin 0002 |
Architecture of Trustworthy Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA, pp. 269-276, 2006, IEEE Computer Society, 0-7695-2539-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Tage Stabell-Kulø |
Smartcards: Hot to Put them to Use in a User-Centric System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUC ![In: Handheld and Ubiquitous Computing, Second International Symposium, HUC 2000, Bristol, UK, September 25-27, 2000, Proceedings, pp. 200-210, 2000, Springer, 3-540-41093-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Nizar Msadek, Theo Ungerer |
Trust as Important Factor for Building Robust Self-x Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 153-183, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Sarah Edenhofer, Sven Tomforde, Jan Kantert, Lukas Klejnowski, Yvonne Bernard, Jörg Hähner, Christian Müller-Schloer |
Trust Communities: An Open, Self-Organised Social Infrastructure of Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 127-152, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Natasha Dwyer, Stephen Marsh 0001 |
To Trust or Distrust: Has a Digital Environment Empowered Users to Proceed on Their Own Terms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 231-244, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer |
The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 1-16, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Jeremy Pitt |
From Trust and Forgiveness to Social Capital and Justice: Formal Models of Social Processes in Open Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 185-208, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak, Wolfgang Reif |
Specification and Design of Trust-Based Open Self-Organising Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 17-54, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Stephan Hammer, Michael Wißner, Elisabeth André |
A User Trust Model for Automatic Decision-Making in Ubiquitous and Self-Adaptive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 55-87, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Cristiano Castelfranchi, Rino Falcone |
Trust & Self-Organising Socio-technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 209-229, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Jan Kantert, Sarah Edenhofer, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer |
Normative Control: Controlling Open Distributed Systems with Autonomous Entities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Open Self-Organising Systems ![In: Trustworthy Open Self-Organising Systems, pp. 89-126, 2016, Springer, 978-3-319-29199-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Per Håkon Meland, Erkuden Rios, Vasilis Tountopoulos, Achim D. Brucker |
The Aniketos Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 50-62, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Elda Paja, Fabiano Dalpiaz, Paolo Giorgini |
The Socio-technical Security Requirements Modelling Language for Secure Composite Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 63-78, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Achim D. Brucker, Luca Compagna, Pierre Guilleminot |
Compliance Validation of Secure Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 136-149, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Elke Beck, Sandra Trösterer, Alexander G. Mirnig, Manfred Tscheligi |
Characteristics and Addressed Challenges in Evaluating the Aniketos Project Outcome. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 234-246, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Per Håkon Meland, Muhammad Asim 0001, Dhouha Ayed, Fabiano Dalpiaz, Edith Felix, Paolo Giorgini, Susana Gonzáles, Brett Lempereur, John Ronan |
Security and Trustworthiness Threats to Composite Services: Taxonomy, Countermeasures, and Research Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 10-35, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Achim D. Brucker |
Using SecureBPMN for Modelling Security-Aware Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 110-120, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Per Håkon Meland |
Composite Services with Dynamic Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 1-9, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Hisain Elshaafi, Jimmy McGibney, Dmitri Botvich |
Aggregation and Optimisation of Trustworthiness of Composite Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 150-172, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Konstantinos Giannakakis |
Adopting Existing Communication Platforms for Security Enabling Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 36-49, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Vasilis Tountopoulos, Ira Giannakoudaki, Konstantinos Giannakakis, Lefteris Korres, Leonidas Kallipolitis |
Supporting Security and Trust in Complex e-Government Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 219-233, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Muhammad Asim 0001, Artsiom Yautsiukhin, Achim D. Brucker, Brett Lempereur, Qi Shi 0001 |
Security Policy Monitoring of Composite Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 192-202, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Erkuden Rios, Francesco Malmignati, Eider Iturbe, Michela D'Errico, Mattia Salnitri |
From Consumer Requirements to Policies in Secure Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 79-94, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi 0001, Bo Zhou 0001 |
The Aniketos Service Composition Framework - Analysing and Ranking of Secure Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 121-135, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Stéphane Paul, Alessandra Tedeschi, Erlend Andreas Gjære, Ivonne A. Herrera |
The Aniketos Design-Time Framework Applied - A Case in Air Traffic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 203-218, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Elda Paja, Mauro Poggianella, Fabiano Dalpiaz, Pierluigi Roberti, Paolo Giorgini |
Security Requirements Engineering with STS-Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 95-109, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Brett Lempereur, Dhouha Ayed, Muhammad Asim 0001, Madjid Merabti, Qi Shi 0001 |
Monitoring Threats to Composite Services within the Aniketos Run-Time Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure and Trustworthy Service Composition ![In: Secure and Trustworthy Service Composition - The Aniketos Approach, pp. 173-191, 2014, Springer, 978-3-319-13517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida (eds.) |
Towards Trustworthy Elections, New Directions in Electronic Voting ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![Springer, 978-3-642-12979-7 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Ed Gerck |
The Witness-Voting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 1-36, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Stéphanie Delaune, Steve Kremer, Mark Ryan 0001 |
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 289-309, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Douglas W. Jones |
On Optical Mark-Sense Scanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 175-190, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Hugo Jonker, Wolter Pieters |
Anonymity in Voting Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 216-230, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Stefan Popoveniuc, Benjamin Hosp |
An Introduction to PunchScan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 242-259, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Aggelos Kiayias, Moti Yung |
The Vector-Ballot Approach for Online Voting Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 155-174, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Jeroen van de Graaf |
Anonymous One-Time Broadcast Using Non-interactive Dining Cryptographer Nets with Applications to Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 231-241, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | David Lundin |
Component Based Electronic Voting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 260-273, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Miroslaw Kutylowski, Filip Zagórski |
Scratch, Click & Vote: E2E Voting over the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 343-356, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Martin Hirt |
Receipt-Free K-out-of-L Voting Based on ElGamal Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 64-82, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Aleksander Essex, Jeremy Clark, Carlisle Adams |
Aperio: High Integrity Elections for Developing Countries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 388-401, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Akira Otsuka, Hideki Imai |
Unconditionally Secure Electronic Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 107-123, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Stefan Popoveniuc, Jeremy Clark, Richard Carback, Aleksander Essex, David Chaum |
Securing Optical-Scan Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 357-369, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Jun Furukawa 0001, Kengo Mori, Kazue Sako |
An Implementation of a Mix-Net Based Network Voting Scheme and Its Use in a Private Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 141-154, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Shuki Bruck, David R. Jefferson, Ronald L. Rivest |
A Modular Voting Architecture ("Frog Voting"). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 97-106, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Ari Juels, Dario Catalano, Markus Jakobsson |
Coercion-Resistant Electronic Elections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 37-63, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Roberto Araújo 0001, Sébastien Foulle, Jacques Traoré |
A Practical and Secure Coercion-Resistant Scheme for Internet Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 330-342, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Pedro A. D. Rezende |
Electronic Elections: A Balancing Act. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 124-140, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Roberto Araújo 0001, Ricardo Felipe Custódio, Jeroen van de Graaf |
A Verifiable Voting Protocol Based on Farnel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 274-288, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Jonathan A. Goler, Edwin J. Selker |
A Secure Architecture for Voting Electronically (SAVE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 83-96, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | John Kelsey, Andrew Regenscheid, Tal Moran, David Chaum |
Attacking Paper-Based E2E Voting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 370-387, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Rui Joaquim, Carlos Ribeiro, Paulo Ferreira 0001 |
Improving Remote Voting Security with CodeVoting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 310-329, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Peter Y. A. Ryan, Thea Peacock |
A Threat Analysis of Prêt à Voter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 200-215, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Benoît Chevallier-Mames, Pierre-Alain Fouque, David Pointcheval, Julien Stern, Jacques Traoré |
On Some Incompatible Properties of Voting Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Trustworthy Elections ![In: Towards Trustworthy Elections, New Directions in Electronic Voting, pp. 191-199, 2010, Springer, 978-3-642-12979-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter (eds.) |
Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Design of Trustworthy Health Information Systems ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.) |
Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![Springer, 3-540-35800-5 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.) |
Architecting Systems with Trustworthy Components, 12.-17. December 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (eds.) |
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Jan Reineke 0001 |
Shape Analysis of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Michael Hilker, Christoph Schommer |
SANA - Security Analysis in Internet Traffic through Artificial Immune Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Stephan Neuhaus |
Isolating Intrusions by Automatic Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Björn Wachter |
Explaining Data Type Reduction in the Shape Analysis Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Ina Schaefer, Arnd Poetzsch-Heffter |
Using Abstraction in Modular Verification of Synchronous Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Axel Legay, Luca de Alfaro, Marco Faella |
An Introduction to the Tool Ticc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières |
An Operator-based Approach to Incremental Development of Conform Protocol State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles |
Formal Validation of Pattern Matching code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch |
Relating two standard notions of secrecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Julien Schmaltz, Dominique Borrione |
Formalizing On Chip Communications in a Functional Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trustworthy Software ![In: Workshop `Trustworthy Software` 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Sabine Glesner, Jan Olaf Blech |
Coalgebraic Semantics for Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 245-261, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, semantics, Components, Isabelle/HOL, coinduction, component interaction |
Displaying result #1 - #100 of 4760 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|