Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Giles Reger |
A Report of RV-CuBES 2017. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov |
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir |
A Generic Instrumentation Tool for Erlang. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury |
A Few Things We Heard About RV Tools (Position Paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Christian Colombo 0001, Gordon J. Pace |
Runtime Verification using LARVA. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | David A. Basin, Srdjan Krstic, Dmitriy Traytel |
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Kristin Yvonne Rozier |
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Christian Drabek, Gereon Weiss |
DANA - Description and Analysis of Networked Applications. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Nikolaos Kaklanis, Pradipta Biswas, Yehya Mohamad, Mari Feli González, Matthias Peissner, Patrick Langdon, Dimitrios Tzovaras, Christoph Jung |
Towards standardisation of user models for simulation and adaptation purposes. |
Univers. Access Inf. Soc. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Chun Liu 0005, Krishna Jayakar |
Globalisation, indigenous innovation and national strategy: comparing China and India's wireless standardisation. |
Technol. Anal. Strateg. Manag. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Zivadin Micic, Marija D. Blagojevic |
Knowledge acquisition in information technology and software engineering towards excellence of information systems based on the standardisation platform. |
Comput. Stand. Interfaces |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Alex Zwanenburg, Stefan Leger, Martin Vallières, Steffen Löck |
Image biomarker standardisation initiative - feature definitions. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Wolfgang Glänzel, Hans Willems |
Preface - Towards standardisation, harmonisation and integration of data from heterogeneous sources for funding and evaluation purposes. |
Scientometrics |
2016 |
DBLP DOI BibTeX RDF |
|
19 | |
Towards standardisation, harmonisation and integration of data from heterogeneous sources for funding and evaluation purposes. |
Scientometrics |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Tetsuhei Nakashima-Paniagua, John Doucette 0001, Walied A. Moussa |
Process specification language for management of MEMS device development - a step towards standardisation. |
Int. J. Manuf. Technol. Manag. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | William Knowles, Alistair Baron, Tim McGarr |
The simulated security assessment ecosystem: Does penetration testing need standardisation? |
Comput. Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Oke Gerke, Mie Holm Vilstrup, Eivind Antonsen Segtnan, Ulrich Halekoh, Poul Flemming Høilund-Carlsen |
How to assess intra- and inter-observer agreement with quantitative PET using variance component analysis: a proposal for standardisation. |
BMC Medical Imaging |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Line Silsand, Gunnar Ellingsen |
The Implication for Organisation and Governance Through User-Drivern Standardisation of Semantic Interoperable Electronic Patient Record Systems. |
MCIS |
2016 |
DBLP BibTeX RDF |
|
19 | Teun Mantje, Tom Smit, David Sterk, Joris Mens |
Standardisation of Supporting Processes in Healthcare A case study of the APQC Healthcare Process Classification Framework. |
Bled eConference |
2016 |
DBLP BibTeX RDF |
|
19 | Lidong Chen, David A. McGrew, Chris J. Mitchell (eds.) |
Security Standardisation Research - Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016, Proceedings |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jenny S. Darzentas |
Educating Students About Standardisation Relating to Universal Design. |
UD |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hervé Bonneville, Loïc Brunel, David Mottier |
Standardisation Roadmap for Next Train Radio Telecommunication Systems. |
Nets4Cars/Nets4Trains/Nets4Aircraft |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Tetsuya Sakai |
Simple and Effective Approach to Score Standardisation. |
ICTIR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Tetsuya Sakai |
The Effect of Score Standardisation on Topic Set Size Design. |
AIRS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Kai Jakobs |
Standardisation of E-Merging IoT Applications: Past, Present, and a Glimpse into the Future. |
FiCloud Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida |
Analyzing and Fixing the QACCE Security of QUIC. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed Sabt, Jacques Traoré |
Cryptanalysis of GlobalPlatform Secure Channel Protocols. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Maryam Mehrnezhad, Mohammed Aamir Ali, Feng Hao 0001, Aad P. A. van Moorsel |
NFC Payment Spy: A Privacy Attack on Contactless Payments. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Alberto De la Rosa Algarin, Steven A. Demurjian |
Extending the UML Standards to Model Tree-Structured Data and Their Access Control Requirements. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan Katz |
Analysis of a Proposed Hash-Based Signature Standard. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | David A. McGrew, Panos Kampanakis, Scott R. Fluhrer, Stefan-Lukas Gazdag, Denis Butin, Johannes Buchmann 0001 |
State Management for Hash-Based Signatures. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Yoshikazu Hanatani, Naoki Ogura, Yoshihiro Ohba, Lidong Chen, Subir Das |
Secure Multicast Group Management and Key Distribution in IEEE 802.21. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Kelsey Cairns, Harry Halpin, Graham Steel |
Security Analysis of the W3C Web Cryptography API. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe |
Cross-Tool Semantics for Protocol Security Goals. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Liqun Chen 0002, Rainer Urian |
Algorithm Agility - Discussion on TPM 2.0 ECC Functionalities. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Frank Morgner, Paul Bastian, Marc Fischlin |
Attribute-Based Access Control Architectures with the eIDAS Protocols. |
SSR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Mooweon Rhee, Jin Suk Park, Taeyoung Yoo |
The contradictory roles of ambiguity for innovation in an industry: how beneficial are standardisation and classification? |
Technol. Anal. Strateg. Manag. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Robert L. Wears |
Standardisation and its discontents. |
Cogn. Technol. Work. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Martin Hooper |
BIM standardisation efforts - the case of Sweden. |
J. Inf. Technol. Constr. |
2015 |
DBLP BibTeX RDF |
|
19 | Shaohui Sun, Qiubin Gao, Wenhong Chen, Rui Zhao, Ying Peng |
Recent progress of long-term evolution device-to-device in third-generation partnership project standardisation. |
IET Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Nanna Floor Clausen |
The Danish Demographic Database - Principles and Methods for Cleaning and Standardisation of Data. |
Population Reconstruction |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Stuart Elder, Alex Vakaloudis |
Towards uniformity for smart glasses devices: An assessment of function as the driver for standardisation. |
ISTAS |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jae-Yun Ho, Eoin O'Sullivan |
The evolving role of standardisation in technological innovation: the case of photovoltaics. |
SIIT |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Nur Zareen Zulkarnain, Gillian Crofts, Farid Meziane |
An Architecture to Support Ultrasound Report Generation and Standardisation . |
HEALTHINF |
2015 |
DBLP BibTeX RDF |
|
19 | David Chen 0001, Joseph R. Youssef, Gregory Zacharewicz |
Towards an Enterprise Operating System - Requirements for Standardisation. |
IWEI Workshops |
2015 |
DBLP BibTeX RDF |
|
19 | Mike Freitag, Martin Zelm |
Standardisation Connecting the Intitiative 'Industry 4.0' and Service Life Cycle Management. |
IWEI Workshops |
2015 |
DBLP BibTeX RDF |
|
19 | Joris Mens, Sander Luiten, Yannick Driel, Kobus Smit, Pascal Ravesteyn |
Standardisation of risk screening processes in healthcare through business rules management. |
Bled eConference |
2015 |
DBLP BibTeX RDF |
|
19 | Liqun Chen, Shin'ichiro Matsuo (eds.) |
Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Drazen Lucic, Antun Caric, Ignac Lovrek |
Standardisation and regulatory context of machine-to-machine communication. |
ConTEL |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Irene Kamara, Thordis Sveinsdottir, Simone Wurster |
Raising trust in security products and systems through standardisation and certification: The crisp approach. |
Kaleidoscope |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Cristina Pauner, Irene Kamara, Jorge Viguri |
Drones. Current challenges and standardisation solutions in the field of privacy and data protection. |
Kaleidoscope |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jesús Barros Castro, Alejandro Lamelo Alfonsín, Javier Prieto Cebreiro, Dolores Rimada Mora, Lino Carrajo García, Guillermo Vázquez González |
Development of ISO 13606 archetypes for the standardisation of data registration in the Primary Care environment. |
MIE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed Juma Al Darmaki |
A reflective study of how security conceptualises the international standardisation of security. |
|
2015 |
RDF |
|
19 | Gautham Sekar |
Side Channel Cryptanalysis of Streebog. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Zhenfeng Zhang, Kang Yang 0002, Jiang Zhang 0001, Cheng Chen |
Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jung Yeon Hwang, Seung-Hyun Kim, Daeseon Choi, Seung-Hun Jin, Boyeon Song |
Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Masatoshi Hokino, Yuri Fujiki, Sakura Onda, Takeaki Kaneko, Natsuhiko Sakimura, Hiroyuki Sato |
A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mwawi Nyirenda Kayuni, Mohammed Shafiul Alam Khan, Wanpeng Li, Chris J. Mitchell, Po-Wah Yau |
Generating Unlinkable IPv6 Addresses. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Maryam Mehrnezhad, Feng Hao 0001, Siamak Fayyaz Shahandashti |
Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mohammed Shafiul Alam Khan, Chris J. Mitchell |
Improving Air Interface User Privacy in Mobile Telephony. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Antonio González-Burgueño, Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Analysis of the PKCS#11 API Using the Maude-NPA Tool. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Daniel J. Bernstein, Tung Chou, Chitchanok Chuengsatiansup, Andreas Hülsing, Eran Lambooij, Tanja Lange 0001, Ruben Niederhagen, Christine van Vredendaal |
How to Manipulate Curve Standards: A White Paper for the Black Hat http: //bada55.cr.yp.to. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe |
Formal Support for Standardizing Protocols with State. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Patrick McCorry, Siamak Fayyaz Shahandashti, Dylan Clarke, Feng Hao 0001 |
Authenticated Key Exchange over Bitcoin. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Kristof Teichel, Dieter Sibold, Stefan Milius |
First Results of a Formal Analysis of the Network Time Security Specification. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Karl Christoph Ruland, Jochen Sassmannshausen |
Non-repudiation Services for the MMS Protocol of IEC 61850. |
SSR |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Zivadin Micic, Marija D. Blagojevic, Milos Micic |
Innovation and knowledge trends through standardisation of IT applications. |
Comput. Stand. Interfaces |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Bente Christensen, Gunnar Ellingsen |
User-Controlled Standardisation of Health Care Practices. |
ECIS |
2014 |
DBLP BibTeX RDF |
|
19 | Valerio Frascolla, Michael Faerber 0003, Laurent Dussopt, Emilio Calvanese Strinati, Ronan Sauleau, Vincent Kotzsch, Giovanni Romano 0001, Karri Ranta-aho, Jyri Putkonen, Javier Valino |
Challenges and opportunities for millimeter-wave mobile access standardisation. |
GLOBECOM Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Damien Prunel, Etienne Lees-Perasso, Axel Roy, Catherine Moulin |
Environmental labelling of mobile phones : LCA standardisation process. |
ICT4S |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Liqun Chen 0002, Chris J. Mitchell (eds.) |
Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed El-Moghazi, Jason Whalley, James Irvine 0001 |
IMT standardisation and spectrum identification: Regulatory and technology implications. |
Kaleidoscope |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Tore Hoel |
Standards as enablers for innovation in education - the breakdown of European pre-standardisation. |
Kaleidoscope |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Pareja-Lora, Guillermo Cárcamo-Escorza, Alicia Ballesteros-Calvo |
Standardisation and Interoperation of Morphosyntactic and Syntactic Annotation Tools for Spanish and their Annotations. |
LREC |
2014 |
DBLP BibTeX RDF |
|
19 | Marika Immonen, Richard Pitwon, Jinhua Wu, Long Xiu Zhu, Hui Juan Yan, Kai Wang |
Advances in standardisation of optical circuit board fabrication and measurement processes. |
ECOC |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Phillip H. Griffin |
Standardization Transparency - An Out of Body Experience. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Christopher W. Brown 0001, Michael Jenkins |
Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Feng Hao 0001, Siamak Fayyaz Shahandashti |
The SPEKE Protocol Revisited. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Jean Paul Degabriele, Victoria Fehr, Marc Fischlin, Tommaso Gagliardoni, Felix Günther 0001, Giorgia Azzurra Marson, Arno Mittelbach, Kenneth G. Paterson |
Unpicking PLAID - A Cryptographic Analysis of an ISO-Standards-Track Authentication Protocol. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe |
Security Goals and Evolving Standards. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Nils Fleischhacker, Mark Manulis, Amir Azodi |
A Modular Framework for Multi-Factor Authentication and Key Exchange. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Duncan Garrett, Michael Ward |
Blinded Diffie-Hellman - Preventing Eavesdroppers from Tracking Payments. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Alan Anwer Abdulla, Harin Sellahewa, Sabah A. Jassim |
Stego Quality Enhancement by Message Size Reduction and Fibonacci Bit-Plane Mapping. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Jinwoo Lee, Pil Joong Lee |
Size-Efficient Digital Signatures with Appendix by Truncating Unnecessarily Long Hashcode. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Antonio González-Burgueño, Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Analysis of the IBM CCA Security API Protocols in Maude-NPA. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Mark Manulis, Douglas Stebila, Nick Denham |
Secure Modular Password Authentication for the Web Using Channel Bindings. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Cas Cremers, Marko Horvat 0002 |
Improving the ISO/IEC 11770 Standard for Key Management Techniques. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Efstathios Stathakidis, Steve A. Schneider, James Heather |
Robustness Modelling and Verification of a Mix Net Protocol. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Britta Hale, Colin Boyd |
Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. |
SSR |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Ramjee Prasad |
Global ICT Standardisation Forum for India (GISFI) and 5G Standardization. |
J. ICT Stand. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Tipu Arvind Ramrekha, Emmanouil A. Panaousis, Christos Politis |
Standardisation advancements in the area of routing for mobile ad-hoc networks. |
J. Supercomput. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Karen Higginbottom |
Advancing standardisation for every day life. |
Datenschutz und Datensicherheit |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Indrek Ibrus |
Evolutionary dynamics of media convergence: Early mobile web and its standardisation at W3C. |
Telematics Informatics |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Zivadin Micic, Milos Micic, Marija D. Blagojevic |
ICT innovations at the platform of standardisation for knowledge quality in PDCA. |
Comput. Stand. Interfaces |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Ramjee Prasad, Marina Ruggieri |
Special Issue on "Wireless Robotics: Research and Standardisation" - (Selected Topics from the Strategic Workshop, May 6-8, 2012, Aalborg, Denmark). |
Wirel. Pers. Commun. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Roksana Moore |
Standardisation: A tool for addressing market failure within the software industry. |
Comput. Law Secur. Rev. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Elisabetta Rotondo |
The application of the proposed European Standardisation Regulation in practice. |
Comput. Law Secur. Rev. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Fernando L. Podio |
Advances in biometric standardisation - addressing global requirements for interoperable biometrics. |
Int. J. Biom. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Adelaide Greco, Monica Ragucci, Raffaele Liuzzi, Sara Gargiulo, Matteo Gramanzini, Anna Rita Daniela Coda, Sandra Albanese, Marcello Mancini, Marco Salvatore, Arturo Brunetti |
Repeatability, Reproducibility and Standardisation of a Laser Doppler Imaging Technique for the Evaluation of Normal Mouse Hindlimb Perfusion. |
Sensors |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Richard Glenn Fulford |
A case study of strategic enterprise resource planning management in a global corporation: Standardisation is the basis of competitive advantage. |
J. Syst. Inf. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|