|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 262 occurrences of 222 keywords
|
|
|
Results
Found 805 publication records. Showing 805 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Petar Radanliev, David Charles De Roure, Jason R. C. Nurse, Pete Burnap, Eirini Anthi, Uchenna Ani, La Treall Maddox, Omar Santos 0002, Rafael Mantilla Montalvo |
Definition of Internet of Things (IoT) Cyber Risk Discussion on a Transformation Roadmap for Standardisation of Regulations Risk Maturity Strategy Design and Impact Assessment. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
19 | Petar Radanliev, David De Roure, Jason R. C. Nurse, Rafael Mantilla Montalvo, Peter Burnap |
Standardisation of cyber risk impact assessment for the Internet of Things (IoT). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
19 | Bingbin Gu, Weili Xiong |
Multi-mode process monitoring based on multi-block information extraction PCA method with local neighbourhood standardisation. |
Int. J. Model. Identif. Control. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuan Gao, Jiawei Pan, Yi Guo 0002, Jinhua Yu, Jun Zhang, Daoying Geng, Yuanyuan Wang 0001 |
Optimised MRI intensity standardisation based on multi-dimensional sub-regional point cloud registration. |
Comput. methods Biomech. Biomed. Eng. Imaging Vis. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Xi Chen, Cheng Fang, Jasmine Chang, Yanjiang Yang, Yuan Hong, Haibing Lu |
Chinese address standardisation via hybrid approach combining statistical and rule-based methods. |
Int. J. Internet Enterp. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Haruo Awano, Koji Tanabe |
The strategy of collaborative monopoly with use of the scheme of standardisation for storage product. |
Int. J. Technol. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Maryam Mehrnezhad, Thyla van der Merwe, Feng Hao 0001 |
SSR'19: The 5th Conference on Security Standardisation Research. |
CCS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | |
22nd Conference of the Oriental COCOSDA International Committee for the Co-ordination and Standardisation of Speech Databases and Assessment Techniques, O-COCOSDA 2019, Cebu, Philippines, October 25-27, 2019 |
O-COCOSDA |
2019 |
DBLP BibTeX RDF |
|
19 | Linda van den Brink, Erwin Folmer, Kai Jakobs |
On Multi-Disciplinary Standardisation - The Case of Spatial Data on the Web. |
Bled eConference |
2019 |
DBLP BibTeX RDF |
|
19 | Maryam Mehrnezhad, Thyla van der Merwe, Feng Hao 0001 (eds.) |
Proceedings of the 5th ACM Workshop on Security Standardisation Research Workshop, London, UK, November 11, 2019. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Peter Schier, Craig Barton, Simo Spassov, Christer Johansson, Daniel Baumgarten, Olga Kazakova, Paul Southern, Quentin Pankhurst, Marco Coisson, Cordula Grüttner, Alex Price, Roman Rüttinger, Frank Wiekhorst, James Wells, Uwe Steinhoff |
European Research on Magnetic Nanoparticles for Biomedical Applications: Standardisation Aspects. |
PCBBE |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sila Chunwijitra, Surasak Boonkla, Vataya Chunwijitra, Nattapong Kurpukdee, Phuttapong Sertsi, Sawit Kasuriya |
Distributing and Sharing Resources for Automatic Speech Recognition Applications. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Chiranjeevi Yarra, Aparna Srinivasan, Chandana Srinivasa, Ritu Aggarwal, Prasanta Kumar Ghosh |
voisTUTOR corpus: A speech corpus of Indian L2 English learners for pronunciation assessment. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Tania Habib, Sarmad Hussain |
O-COCOSDA country report of Pakistan. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Borja L. C. Patrocinio Antonino, Aristidis de Jesus Ornais |
2019 Country Report Timor Leste. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Shintaro Ando, Zhenchao Lin, Tasavat Trisitichoke, Yusuke Inoue 0004, Fuki Yoshizawa, Daisuke Saito, Nobuaki Minematsu |
A Large Collection of Sentences Read Aloud by Vietnamese Learners of Japanese and Native Speaker's Reverse Shadowings. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Tan Lee |
22nd oriental COCOSDA conference region report 2019. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuan Jia, Yuzhu Liang, Tingshao Zhu |
A linguistic representation scheme for depression prediction - with a case study. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuriko Iseki, Keisuke Kadota, Yasuharu Den |
Characteristics of everyday conversation derived from the analysis of dialog act annotation. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Luong Chi Mai |
Vietnam Country Report 2019. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Meiko Fukuda, Ryota Nishimura, Hiromitsu Nishizaki, Yurie Iribe, Norihide Kitaoka |
A New Corpus of Elderly Japanese Speech for Acoustic Modeling, and a Preliminary Investigation of Dialect-Dependent Speech Recognition. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Muhammad Umar Farooq, Farah Adeeba, Sarmad Hussain |
X-vectors based Urdu Speaker Identification for short utterances. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Devin Hoesen, Fanda Yuliana Putri, Dessi Puji Lestari |
Automatic Pronunciation Generator for Indonesian Speech Recognition System Based on Sequence-to-Sequence Model. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sahoko Nakayama, Takatomo Kano, Andros Tjandra, Sakriani Sakti, Satoshi Nakamura 0001 |
Recognition and translation of code-switching speech utterances. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sumonmas Thatphithakkul, Vataya Chunwijitra, Phuttapong Sertsi, Patcharika Chootrakool, Sawit Kasuriya |
LOTUS-BI: A Thai-English Code-mixing Speech Corpus. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Seung Hee Yang, Minhwa Chung |
Comparison between read and spontaneous speech assessment of L2 Korean. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yu-Chih Deng, Yih-Ru Wang, Sin-Horng Chen, Chen-Yu Chiang |
Recent Progress of Mandrain Spontaneous Speech Recognition on Mandrain Conversation Dialogue Corpus. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Agung Santosa, Andi Djalal Latief, Hammam Riza, Asril Jarin, Lyla Ruslana Aini, Gunarso, Gita Citra Puspita, Mohammad Teduh Uliniansyah, Elvira Nurfadhilah, Harnum A. Prafitia, Made Gunawan |
The Architecture of Speech-to-Speech Translator for Mobile Conversation. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuichi Ishimoto, Takehiro Teraoka, Mika Enomoto |
An Investigation of Prosodic Features Related to Next Speaker Selection in Spontaneous Japanese Conversation. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Joyanta Basu, Soma Khan, Rajib Roy, Babita Saxena, Dipankar Ganguly, Sunita Arora, Karunesh Kumar Arora, Shweta Bansal, Shyam Sunder Agrawal |
Indian Languages Corpus for Speech Recognition. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Aijun Li, Dong Wang |
A country report - OCOCOSDA activities in China. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ao Chen, Hintat Cheung, Yuchen Li, Liqun Gao |
Three-year-old children's production of native mandarin Chinese lexical tones. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Chenyang Zhao, Aijun Li, Zhiqiang Li, Ying Tang |
An acoustic study of affricates produced by L2 english learners in Harbin. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Binh P. Nguyen, Vu Bao Hung Nguyen, Hien Nguyen 0008, Pham Ngoc Phuong, The-Loc Nguyen, Quoc Truong Do, Luong Chi Mai |
Fast and Accurate Capitalization and Punctuation for Automatic Speech Recognition Using Transformer and Chunk Merging. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Chiranjeevi Yarra, Ritu Aggarwal, Avni Rajpal, Prasanta Kumar Ghosh |
Indic TIMIT and Indic English lexicon: A speech database of Indian speakers using TIMIT stimuli and a lexicon from their mispronunciations. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Bin Li, Yuan Jia |
Acquisition of english retroflex vowel [3] by EFL learners from Chinese dialectal regions- A case study of Beijing and Changsha. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Nathaniel Oco |
2019 Philippine Country Report. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Takuya Asai, Hideaki Kikuchi, Kikuo Maekawa |
Motion detection of articulatory movement with paralinguistic information using real-time MRI movie. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ethel Ong 0001, Junlyn Bryan Alburo, Christine Rachel De Jesus, Luisa Katherine Gilig, Dionne Tiffany Ong |
Challenges Posed by Voice Interface to Child- Agent Collaborative Storytelling. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ziyu Xiong, Qiguang Lin, Maolin Wang, Zhouyu Chen |
The effect of focus on trisyllabic syllable duration in Mandarin. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Satoshi Nakamura 0001 |
Oriental-COCOSDA 2019 Japan country report. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Siyi Cao, Yizhong Xu, Xiaoli Ji |
The Study of Prosody-Pragmatics Interface with Focus Functioning as Pragmatic Markers: The Case of Question and Statement. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Haruka Amatani, Yayoi Tanaka |
Annotation and preliminary analysis of utterance decontextualization in a multiactivity. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Win Pa Pa |
Language resources for Myanmar NLP and speech processing. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Aye Mya Hlaing, Win Pa Pa |
Sequence-to-Sequence Models for Grapheme to Phoneme Conversion on Large Myanmar Pronunciation Dictionary. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuan Jia, Yuzhu Liang, Tingshao Zhu |
An analysis of voice quality of Chinese patients with depression. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Takayuki Kagomiya |
Statistical studies on Japanese sonority by using loudness calibration scores. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sin-Horng Chen, Hsin-Min Wang |
Oriental COCOSDA - country report 2019 language resources developed in Taiwan. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yong-Ju Lee |
Country report (Korea) - O-COCOSDA 2019. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sittipong Saychum, Anocha Rugchatjaroen, Chai Wutiwiwatchai |
A Great Reduction of WER by Syllable Toneme Prediction for Thai Grapheme to Phoneme Conversion. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Shankar Narayanan, Aravind Illa, Nayan Anand, Ganesh Sinisetty, Karthick Narayanan, Prasanta Kumar Ghosh |
An acoustic-articulatory database of VCV sequences and words in Toda at different speaking rates. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Mayuko Okamato, Sakriani Sakti, Satoshi Nakamura 0001 |
Phoneme-level speaking rate variation on waveform generation using GAN-TTS. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yun Gao, Zhigang Ou, Jianfeng Cheng, Yong Ruan, Xiangdong Wang, Yueliang Qian |
XDF-REPA: A Densely Labeled Dataset toward Refined Pronunciation Assessment for English Learning. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Haizhou Li 0001 |
Country Report - Singapore. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Rohan Sheelvant, Bidisha Sharma, Maulik C. Madhavi, Rohan Kumar Das, S. R. M. Prasanna, Haizhou Li 0001 |
RSL2019: A Realistic Speech Localization Corpus. |
O-COCOSDA |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Justin Whitaker, Sathvik Prasad, Bradley Reaves, William Enck |
Thou Shalt Discuss Security: Quantifying the Impacts of Instructions to RFC Authors. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Saqib A. Kakvi |
On the Security of RSA-PSS in the Wild. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Mohsin Khan, Philip Ginzboorg, Valtteri Niemi |
Privacy Preserving AKMA in 5G. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Kazuki Yoneyama |
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Orr Dunkelman, Léo Perrin |
Adapting Rigidity to Symmetric Cryptography: Towards "Unswerving" Designs. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Wanpeng Li, Chris J. Mitchell, Thomas M. Chen |
OAuthGuard: Protecting User Security and Privacy with OAuth 2.0 and OpenID Connect. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Flor Álvarez, Lars Almon, Ann-Sophie Hahn, Matthias Hollick |
Toxic Friends in Your Network: Breaking the Bluetooth Mesh Friendship Concept. |
SSR |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Chie Hoon Song |
On the relationship between creativity and standardisation: evidence from a qualitative study on the introduction of standardised evaluation framework in recruitment. |
Technol. Anal. Strateg. Manag. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Keungoui Kim, Sungdo Jung, Junseok Hwang, Ahreum Hong |
A dynamic framework for analyzing technology standardisation using network analysis and game theory. |
Technol. Anal. Strateg. Manag. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jens Hinrichs, Christine Andrae, Friedhelm Kruth, Kerstin Hinkelmann, Detlef Weyand |
Von Autowerkstatt bis Zahnarzt - Standardisierung kommunaler POIs mit XErlebenObjectmodel XErleben Offers Standardisation for Points of Interest in Local and Regional Data Services. |
AGIT Journal Angew. Geoinformatik |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Kanika Goel 0002, Wasana Bandara, Guy Gable |
A Typology of Different Forms of Business Process Standardisation (BPS). |
BPM (Forum) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | António Espírito-Santo 0001, Reza Abrishambaf, Vincenzo Paciello, Victor Huang |
The Need for Standardisation in Low Power Smart Sensing. |
IECON |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Cas Cremers, Anja Lehmann (eds.) |
Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jibran Saleem, Mohammad Hammoudeh, Umar Raza, Bamidele Adebisi, Ruth Ande |
IoT standardisation: challenges, perspectives and solution. |
ICFNDS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Victoria Kalogirou, Yannis Charalabidis |
The European Union Landscape on Interoperability Standardisation: Status of European and National Interoperability Frameworks. |
I-ESA |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Udo Kannengiesser, Harald Müller 0001 |
Industry 4.0 Standardisation: Where Does S-BPM Fit? |
S-BPM ONE |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Caitlin A. Owen, Grant Dick, Peter A. Whigham |
Feature Standardisation in Symbolic Regression. |
Australasian Conference on Artificial Intelligence |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Federico Raimondo |
Standardisation and automatisation of the diagnosis of patients with disorders of consciousness: a machine learning approach applied to electrophysiological brain and body signals. |
|
2018 |
RDF |
|
19 | John Kelsey |
The New Randomness Beacon Format Standard: An Exercise in Limiting the Power of a Trusted Third Party. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Haibat Khan, Benjamin Dowling, Keith M. Martin |
Identity Confidentiality in 5G Mobile Telephony Systems. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Kristof Teichel, Gregor Hildermeier |
Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization Protocols. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Marcello Balduccini, Claire Vishik |
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann 0001 |
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Darren Hurley-Smith, Julio C. Hernandez-Castro |
Great Expectations: A Critique of Current Approaches to Random Number Generation Testing & Certification. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Mohsin Khan, Philip Ginzboorg, Kimmo Järvinen 0001, Valtteri Niemi |
Defeating the Downgrade Attack on Identity Privacy in 5G. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Harry Halpin, Ksenia Ermoshina, Francesca Musiani |
Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub |
hacspec: Towards Verifiable Crypto Standards. |
SSR |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Seong Hwan Kim 0002, Min Woo Cheon |
The study on the cell survival for bioartificial liver by using standardisation extracorporeal circulation method. |
Int. J. Adv. Media Commun. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Maria-Lluïsa Marsal-Llacuna, Matthew Wood-Hill |
The Intelligenter method (III) for "smarter" standards development and standardisation instruments. |
Comput. Stand. Interfaces |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Ulla-Riitta Ahlfors, Meiqi Fang |
Language in globalised interactive business: adaptation vs. standardisation. |
Int. J. Electron. Bus. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Irene Kamara |
Co-regulation in EU personal data protection: the case of technical standards and the privacy by design standardisation 'mandate'. |
Eur. J. Law Technol. |
2017 |
DBLP BibTeX RDF |
|
19 | Chen Zheng, Samir Assaf, Benoît Eynard |
Towards Modelling and Standardisation Techniques for Railway Infrastructure. |
PLM |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki |
A Step Towards the Standardisation of HIV Care Practices. |
HEALTHINF |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Giles Reger, Klaus Havelund (eds.) |
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA |
RV-CuBES |
2017 |
DBLP BibTeX RDF |
|
19 | Kai Jakobs |
Emerging Smart Technologies and the European Standardisation System. |
Bled eConference |
2017 |
DBLP BibTeX RDF |
|
19 | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir |
A Suite of Monitoring Tools for Erlang. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Kristin Yvonne Rozier, Johann Schumann |
R2U2: Tool Overview. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Sylvain Hallé, Raphaël Khoury |
Event Stream Processing with BeepBeep 3. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz |
COEMS - open traces from the industry. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Nicolas Rapin |
ARTiMon Monitoring Tool, The Time Domains. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Shaun Azzopardi, Christian Colombo 0001, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace |
Runtime Verification using VALOUR. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Julien Signoles |
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
The MonPoly Monitoring Tool. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Wei Dou 0001, Domenico Bianculli, Lionel C. Briand |
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Domenico Bianculli, Srdjan Krstic |
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 805 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|