ANTLR (ANother Tool for Language Recognition) 2018


Notes:

ANTLR is a language tool that provides a framework for constructing recognizers, interpreters, compilers, and translators.

Resources:

Wikipedia:

References:

See also:

100 Best ANTLR VideosANTLRWorks (ANTLR GUI)LALR Parser


Annotated documents and expanded CIDOC-CRM ontology in the automatic construction of a virtual museum
C Araújo, RG Martini, PR Henriques… – … and Advances in …, 2018 – Springer
… Apache Jena Fuseki. https://jena.apache.org/documentation/fuseki2/index.html (2016). Accessed 01 June 2016. 16. ANTLR. ANTLR. http://www.antlr.org/ (2016). Accessed 14 Sept 2016. 17. Worcman, K.: The museum of the person. In: Virtual Museums, vol. 57, no …

Smartcheck: Static analysis of ethereum smart contracts
S Tikhomirov, E Voskresenskaya… – 2018 IEEE/ACM 1st …, 2018 – ieeexplore.ieee.org
Page 1. SmartCheck: Static Analysis of Ethereum Smart Contracts Sergei Tikhomirov SnT, University of Luxembourg Esch-sur-Alzette, Luxembourg sergey.s.tikhomirov@gmail.com Ekaterina Voskresenskaya SmartDec Moscow, Russia voskresenskaya@smartdec.net …

Towards automatic error recovery in parsing expression grammars
SQ de Medeiros, F Mascarenhas – … of the XXII Brazilian Symposium on …, 2018 – dl.acm.org
Page 1. Towards Automatic Error Recovery in Parsing Expression Grammars Sérgio Queiroz de Medeiros Federal University of Rio Grande do Norte Brazil sergiomedeiros@ect.ufrn.br Fabio Mascarenhas Federal University of Rio de Janeiro Brazil fabiom@dcc.ufrj.br …

Syntax error recovery in parsing expression grammars
S Medeiros, F Mascarenhas – Proceedings of the 33rd Annual ACM …, 2018 – dl.acm.org
Page 1. Syntax Error Recovery in Parsing Expression Grammars Sérgio Medeiros UFRN, Brazil sergiomedeiros@ect.ufrn.br Fabio Mascarenhas UFRJ, Brazil fabiom@dcc.ufrj.br ABSTRACT Parsing Expression Grammars (PEGs …

An Analytics Tool for Exploring Scientific Software and Related Publications
A Hoppe, J Hagen, H Holzmann, G Kniesel… – … Conference on Theory …, 2018 – Springer
Scientific software is one of the key elements for reproducible research. However, classic publications and related scientific software are typically not (sufficiently) linked, and tools are missing…

Software Artefact Traceability Analyser: A Case-Study on POS System
ID Rubasinghe, DA Meedeniya, I Perera – Proceedings of the 6th …, 2018 – dl.acm.org
… 2014. The Stanford CoreNLP Natural Language Processing Toolkit. In Proceedings of 52nd Annual Meeting of the Association for Computational Linguistics: System Demonstrations, Maryland, 55–60. [20] ANTLR: http://www.antlr.org/. Accessed: 2017-07-21 …

Estimating defectiveness of source code: A predictive model using GitHub content
R Kapur, B Sodhi – arXiv preprint arXiv:1803.07764, 2018 – arxiv.org
… A total of about 30400 source files from 20 different 6http://www.antlr.org/ 7http://www.antlr.org/ api/Java/org/antlr/v4/runtime/tree/ParseTreeListener.html 8http://scikit-learn.org/stable/modules/ generated/sklearn.preprocessing.MinMaxScaler.html 9http://scikit-learn.org …

Using Binary File Format Description Languages for Documenting, Parsing, and Verifying Raw Data in TAIGA Experiment
I Bychkov, A Demichev, J Dubenskaya… – arXiv preprint arXiv …, 2018 – arxiv.org
… US Hydrographic Conference. 2015. 12. Parr T. ANTLR. Available at: http://www.antlr.org. 13. GNU Bison. Available at: https://www.gnu.org/software/bison. 14. Back G. DataScript – A Specification and Scripting Language for Binary Data // Proc …

INGRID: Creating Languages in MPS from ANTLR Grammars
P Vysoký, P Parízek, V Pech – 2018 – pdfs.semanticscholar.org
Page 1. Department of Distributed and Dependable Systems Technical report no. D3S-TR-2018-01 May 7, 2018 INGRID: Creating Languages in MPS from ANTLR Grammars Premysl Vysoký, Pavel Parízek, Václav Pech Abstract …

4.4 Multi-Level Model Transformation
DE Darmstadt, M Wimmer – Multi-Level Modelling – drops.dagstuhl.de
Page 25. 42 17492–Multi-Level Modelling 4.4 Multi-Level Model Transformation Dirk Draheim (Talinn University of Technologies, EE), Ta’id Holmes (Deutsche Telekom– Darmstadt, DE), and Manuel Wimmer (TU Wien, AT) License …

Business-oriented customized big data query system and its SQL parser design and implementation
W Ge, G He, X Liu – MATEC Web of Conferences, 2018 – matec-conferences.org
… An ANTLR based SQL transformation model of MongoDB database[J]. Journal of Northwestern Polytechnical University, 2017, 35(01):143-147. 6. ANTLR offical website: http://www.antlr.org/ 7. Sunkle, Sagar. Generating highly customizable SQL parsers …

Improved Performance of Hive Using Index-Based Operation on Big Data
AK Suman, M Gyanchandani – 2018 Second International …, 2018 – ieeexplore.ieee.org
… Available: http://www.antlr.org/ [7] An, M., Wang, W., Wang, Y., “Using Index in the MapReduce Framework, ”, 12th Intl. Asia Pacific Web Conf. (APWEB),Beijing, China, 2010, pp. 52-58 [8] Dean, J., Ghemawat, S. “MapReduce: Simplified DataProcessing on Large Clusters,” Mag …

A Study on Abstract Syntax Tree for Development of a JavaScript Compiler
J Kim, Y Lee – International Journal of Grid and Distributed …, 2018 – article.nadiapub.com
… vol. 155, (2006), pp. 309-329. [14] T. Parr, ANTLR 4, http://www.antlr.org/. [15] T. Parr, The Definitive ANTLR 4 Reference, Pragmatic Bookshelf, (2007). [16] Antlr Project, grammars-v4, https://github.com/antlr/grammars-v4. [17 …

Using Code Generation to Enforce Uniformity in Software Delivery Pipelines
C Jones – … Workshop on Software Engineering Aspects of …, 2018 – Springer
… 2018. https://aws.amazon.com/products/developer-tools/. 6. Dockter, H.: Gradle, June 2012. http://gradle.org/. 7. Parr, T.: ANTLR, July 2018. http://www.antlr.org/. 8. The Apache Group: What is apache freemarker? July 2018. https …

Traceability Management with Impact Analysis in DevOps based Software Development
I Rubasinghe, D Meedeniya… – … Conference on Advances …, 2018 – ieeexplore.ieee.org
Page 1. Traceability Management with Impact Analysis in DevOps based Software Development Iresha Rubasinghe, Dulani Meedeniya, Indika Perera Department of Computer Science and Engineering, University of Moratuwa …

An Application for Visual Representation of Deterministic Finite Automaton Generated by JFlex
IM Markovi? – 2018 26th Telecommunications Forum (TELFOR), 2018 – ieeexplore.ieee.org
… http://jflex.de/ [5] G. Klein, S. Rowe and R. Decamps, JFlex User’s Manual, version 1.6.1, 2015., http://jflex.de/manual.pdf [6] CUP official site http://www2.cs.tum.edu/projects/cup/ [7] BYACC/J official site http://byaccj.sourceforge.net/ [8] ANTLR official site http://www.antlr.org …

Practicing domain-specific languages: from code to models
L Gonnord, S Mosser – Proceedings of the 21st ACM/IEEE International …, 2018 – dl.acm.org
… Based on their extension of the grammar to support the counter application, students are asked to discuss the following points: • Who is the intended user ? What about the tooling associated to the language? 6http://www.antlr.org/ Page 7 …

Definition of modeling vs. programming languages
M Elaasar – International Symposium on Leveraging Applications of …, 2018 – Springer
… ISBN: 1565920007Google Scholar. 9. Parr, T.: “ANTLR”. http://www.antlr.org/. 10. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar. 11 …

A Story of a Domain-Specific Language
R Lämmel – Software Languages, 2018 – Springer
Page 1. Chapter 2 A Story of a Domain-Specific Language MARTIN FOWLER. 1 Abstract In this chapter, several fundamental concepts and engineering techniques for software languages are explained by means of an illustrative domain-specific language …

Ptidej ANTLR4 C# Parser
A Poupa, YG Guéhéneuc – 2018 – ptidej.net
Page 1. Ptidej ANTLR4 C# Parser – A SOEN6971 project – Project Report Adrien Poupa Supervisor Yann-Gaël Guéhéneuc Concordia University Faculty of Engineering and Computer Science Page 2. Faculty of Engineering …

Perses: syntax-guided program reduction
C Sun, Y Li, Q Zhang, T Gu, Z Su – Proceedings of the 40th International …, 2018 – dl.acm.org
Page 1. Perses: Syntax-Guided Program Reduction Chengnian Sun University of California Davis, CA, USA cnsun@ucdavis.edu Yuanbo Li University of California Davis, CA, USA yboli@ucdavis.edu Qirun Zhang University of California Davis, CA, USA qrzhang@ucdavis.edu …

Modeling and cross-domain dependability analysis of cyber-physical systems
MR Blackburn, MA Austin… – 2018 Annual IEEE …, 2018 – ieeexplore.ieee.org
… Hoboken, NJ: Wiley: IEEE Press, 2011. [42] ANTLR (ANother Tool for Language Recognition), http://www.antlr.org/. [43] K. Siegemund, E. J Thomas, Y. Zhao, J. Pan, and U. Assmann. Towards ontology-driven requirements engineering …

JASMINT: Language to User-Friendly AST with Emphasis on Translation
JE Bradbury – 2018 – digitalcommons.calpoly.edu
… MongoDB. “Java BSON Implementation.” MongoDB, 14 Sept. 2015, www.mongodb.github. io/mongo-java-driver/3.0/bson/. Parr, Terrence. “Lexer/Parser for Java Version.” ANTLR, 9 Dec. 2017, www.antlr.org/. Page 10. Bradbury 10 APPENDIX …

Developing an optimizing compiler for the game boy as a software engineering project
S Kögel, M Stegmaier, R Groner… – 2018 IEEE/ACM 40th …, 2018 – ieeexplore.ieee.org
… Ie they did not handle XML comments or did not parse self closing tags correctly. 1http://www.antlr.org/ 2https://wiki.haskell.org/Parsec Another problem was that many students did not implement all features for their optimization that we requested …

An Investigation of Exception Handling Practices in .NET and Java Environments
P Purohit, V Tokekar – International Journal of Applied Engineering …, 2018 – ripublication.com
… ISSN 0001- 0782. [11] T. Parr. ANTLR – Another Tool for Language Recognition. University of San Francisco, 2006. Available online at: http://www.antlr.org/. [12] Javacc – Java Compiler Compiler. Available online at: https://javacc.dev.java.net/. [13] S. Chiba …

Automatic inference of java-to-swift translation rules for porting mobile applications
K An, N Meng, E Tilevich – 2018 IEEE/ACM 5th International …, 2018 – ieeexplore.ieee.org
Page 1. Automatic Inference of Java-to-Swift Translation Rules for Porting Mobile Applications Kijin An, Na Meng, and Eli Tilevich Dept. of Computer Science Virginia Tech {ankijin,nm8247,tilevich}@cs.vt.edu ABSTRACT A native …

A power management framework with simple DSL for automatic power-performance optimization on power-constrained HPC systems
Y Wada, Y He, T Cao, M Kondo – Asian Conference on Supercomputing …, 2018 – Springer
… members for their valuable comments and cooperation. References. 1. ANTLR. http://www.antlr.org/. 2. Bergman, K., et al.: Exascale computing study: Technology challenges in achieving exascale systems (2008)Google Scholar …

Creating C# Programming Corpus using ANTLR4 for Non-Native English-Speaking Students
S Numata – ijern.com
… Writing Better Code. O’Reilly Media, USA. ANTLR4 (2012). Retrieved from http://www.antlr.org antlr/grammars-v4 on GitHub (2012). Retrieved from https://github.com/antlr/grammars-v4 Stroustrup, B. (1994). The Design and Evolution of C++. Addison-Wesley Professional, USA.

The PomPP framework: from simple DSL to sophisticated power management for HPC systems
Y Wada, Y He, C Thang, M Kondo – HPC Asia, 2018 – sighpc.ipsj.or.jp
… We are also grateful to the Research Institute for Information Technology of Kyushu University for providing us the resources and to all project members for their valuable comments. REFERENCES [1] ANTLR. [nd]. http://www.antlr.org/. ([nd]). [2] Keren Bergman et al. 2008 …

Computing Feedback For Citizens’ Proposals In Participative Urban Planning
J Dambruch – ISPRS Annals of Photogrammetry …, 2018 – … -remote-sens-spatial-inf-sci.net
… For example OGC compliant Web Feature Services are supported. 5 https://javaee.github. io/grizzly/ 6 https://jersey.github.io 7 https://github.com/javaee/jaxb-v2 8 http://www.antlr. org, see also Parr (2012) 9 http://www.stringtemplate.org …

Easy to Use Graphical User Interface for Robot Programming
M Appelstål, J Michalak, M Österberg – 2018 – diva-portal.org
Page 1. Sj¨alvst¨andigt arbete i informationsteknologi 6 juli 2018 Easy to Use Graphical User Interface for Robot Programming Michael Appelst?al Jonatan Michalak Melker¨Osterberg Civilingenj¨orsprogrammet i informationsteknologi …

Generation of Code for Reading Data from the Declarative File Format Specifications Written in Language FlexT
AH Hmelnov, A Mikhailov – 2018 Ivannikov Ispras Open …, 2018 – ieeexplore.ieee.org
Page 1. Generation of code for reading data from the declarative file format specifications written in language FlexT Alexei Hmelnov Laboratory of Complex information systems Matrosov Institute for System Dynamics and Control …

A new parser for the K
D Daxnerová – is.muni.cz
Page 1. Masaryk University Faculty of Informatics A new parser for the K# language Master’s Thesis Desana Daxnerová Brno, Spring 2018 Page 2. Page 3. Masaryk University Faculty of Informatics A new parser for the K# language Master’s Thesis Desana Daxnerová …

Error recovery in parsing expression grammars through labeled failures and its implementation based on a parsing machine
SQ de Medeiros, F Mascarenhas – Journal of Visual Languages & …, 2018 – Elsevier
Skip to main content …

A technique for detecting wait-notify deadlocks in Java
C Laneve, A Veschetti, EL Piccolomini, S Unica – amslaurea.unibo.it
Page 1. Alma Mater Studiorum · Università di Bologna SCUOLA DI SCIENZE Corso di Laurea Magistrale in Matematica A technique for detecting wait-notify deadlocks in Java Relatore: Chiar.mo Prof. Cosimo Laneve Presentata da: Adele Veschetti Correlatore …

Verifying arbitrary safety-related rules using Web Ontology Language
VS RAJU – 2018 – nada.kth.se
Page 1. Verifying arbitrary safety-related rules using Web Ontology Language VISHNU SURESH RAJU Master in Computer Science Date: October 24, 2018 Supervisor: Damir Nesic/Mattiyas Nyberg, Stefano Markidis ( KTH …

Activity Analysis (ACTA): Empowering Smart Game Design With A General Purpose Fsm Description Language
E Zidianakis, M Antona… – … International Journal on …, 2018 – search.ebscohost.com
… Praxis, also called as motor planning, refers on how human brain plans for and carries out movements that have not done before. The game can automatically adapt at run time in order to meet the 3 http://www.antlr.org/ 4 https://code.google.com/p/alsing/wiki/SyntaxBox Page 10 …

Challenges on applying genetic improvement in JavaScript using a high-performance computer
F de Almeida Farzat… – Journal of Software …, 2018 – jserd.springeropen.com
Genetic Improvement is an area of Search Based Software Engineering that aims to apply evolutionary computing operators to the software source code to improve it according to one or more quality metrics. This article describes challenges related to experimental studies using …

Autolog Design Book
JR Fisher – 2018 – skolemmachines.org
Page 1. Autolog Design Book John R. Fisher July 13, 2019 Page 2. 2 Forward The Autolog Design Book is a requirements and design document for a new coherent logic inference programming system (and Skolem Machine imple- mentation) called Autolog …

Causal Inference based Fault Localization for Python Numerical Programs
J Ding – 2018 – etd.ohiolink.edu
Page 1. CAUSAL INFERENCE BASED FAULT LOCALIZATION FOR PYTHON NUMERICAL PROGRAMS by JIACHENG DING Submitted in partial fulfillment of the requirements For the degree of Master of Science Thesis Adviser: Dr. Andy Podgurski …

Domain Specific MetaModeling for Deep Semantic Composability
Z Zhu, Y Lei, A Alshareef, H Sarjoughian, Y Zhu – IEEE Access, 2018 – ieeexplore.ieee.org
Page 1. 2169-3536 (c) 2018 IEEE. Translations and content mining are permitted for academic research only. Personal use is also permitted, but republication/ redistribution requires IEEE permission. See http://www.ieee.org …

Automatic Grading of Programming Exams
J Sirhaug – 2018 – ntnuopen.ntnu.no
Page 1. Automatic Grading of Programming Exams Jørgen Sirhaug Master of Science in Informatics Supervisor: Trond Aalberg, IDI Department of Computer Science Submission date: June 2018 Norwegian University of Science and Technology Page 2. Page 3. Abstract …

Implementing the ArgQL Query
D ZOGRAFISTOU, G FLOURIS… – … Models of Argument …, 2018 – books.google.com
Page 259. Implementing the ArgQL Query Language Dimitra ZOGRAFISTOUa, Giorgos FLOURISa, Theodore PATKOSa and Dimitris PLEXOUSAKIS a aInstitute of Computer Science, Foundation for Research and Technology Hellas, Heraklion, Greece Abstract …

Automatic Generation of Software Tools Using a Language Grammar
GA Parker – SoutheastCon 2018, 2018 – ieeexplore.ieee.org
… VI. Future Work Further study on the use of specially-formatted comments is being considered for the inclusion of metadata such as range values and default field values inside the IDL. References [1] “ANTLR portal,” http://www.antlr.org/, accessed: 2018-02-26 …

Grammar-Based Fuzzing
S Sargsyan, S Kurmangaleev… – 2018 Ivannikov …, 2018 – ieeexplore.ieee.org
… Available at: https://gcc.gnu.org/ [20] ANTLR (ANother Tool for Language Recognition) (online publication). Available at: http://www.antlr.org/, 28.05.2018. [21] Terence Parr, “The Definitive ANTLR Reference”, Pragmatic Bookshelf, Dallas Texas, 2013 …

Appendix A: Java Specification Checking: Software Notes
A Dil – open.ac.uk
Page 1. Anton.Dil THE OPEN UNIVERSITY APPENDIX A: JAVA SPECIFICATION CHECKING: SOFTWARE NOTES Page 2. 1 Appendix A: Software Notes and Student Use This appendix contains notes on the CheckM250 and Compilation Helper software …

Defect prediction in android binary executables using deep neural network
F Dong, J Wang, Q Li, G Xu, S Zhang – Wireless Personal Communications, 2018 – Springer
Software defect prediction locates defective code to help developers improve the security of software. However, existing studies on software defect prediction are mostly limited to the source code….

Boosting the performance of NFV services with SmartNIC
F Risso, R Sommese – webthesis.biblio.polito.it
Page 1. POLITECNICO DI TORINO Master degree course in Computer Engineering Master Degree Thesis Boosting the performance of NFV services with SmartNIC Supervisor prof. Fulvio Risso Candidate Raffaele Sommese Academic Year 2017-2018 Page 2 …

Hawkeye: Towards a desired directed grey-box fuzzer
H Chen, Y Xue, Y Li, B Chen, X Xie, X Wu… – Proceedings of the 2018 …, 2018 – dl.acm.org
Page 1. Hawkeye: Towards a Desired Directed Grey-box Fuzzer Hongxu Chen Nanyang Technological University Singapore, Singapore hchen017@e.ntu.edu.sg Yinxing Xue? University of Science and Technology of China, Hefei, China yxxue@ustc.edu.cn …

Developing Tools for Networks of Processors
AO de la Puente, M De la Cruz Echeandía, E Del Rosal… – Triangle, 2018 – revistes.urv.cat
Page 1. Developing Tools for Networks of Processors * Alfonso Ortega de la Puente1, Marina de la Cruz Echeandía1, Emilio del Rosal1, Carmen Navarrete Navarrete1, Antonio Jiménez Martínez1, Juan de Lara1, Eloy Anguiano …

Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu – Science of Computer Programming, 2018 – Elsevier
Skip to main content Skip to article …

Structural Function Based Code Clone Detection Using a New Hybrid Technique
Y Yang, Z Ren, X Chen, H Jiang – 2018 IEEE 42nd Annual …, 2018 – ieeexplore.ieee.org
… Manual inspecting these clone pairs is non-trivial. 1http://www.oracle.com/technetwork/java/javase/ downloads/index.html 2http://ant.apache.org/srcdownload.cgi 3https://tomcat.apache.org/download- 70.cgi 4http://www.antlr.org 5http://www.xbill.org/dnsjava/ 288 Page 4 …

Solitor: runtime verification of smart contracts on the Ethereum network
L Stegeman – 2018 – essay.utwente.nl
Page 1. Solitor: Runtime Verification of Smart Contracts On the Ethereum network Lars Stegeman l.stegeman@student.utwente.nl November 21, 2018 Master Thesis Master of Computer Science Methods and tools for verification specialization …

SKilL language server
J Schäufele – 2018 – elib.uni-stuttgart.de
Page 1. Institute of Software Technology University of Stuttgart Universitätsstraße 38 D–70569 Stuttgart Bachelorarbeit SKilL Language Server Johannes Schäufele Course of Study: Informatik Examiner: Prof. Dr. Erhard Plödereder Supervisor: Dipl.-Inf …

A Real-Time Sensor Network Aggregation Computing System
Y Zhou, P Wang, W Wang – 2018 5th IEEE International …, 2018 – ieeexplore.ieee.org
… 336–347. [2] “Antlr.” [Online]. Available: http://www.antlr.org/ [3] R. Sadri, C. Zaniolo, A. Zarkesh, and J. Adibi, “Optimization of sequence queries in database systems,” in Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems …

Design automation for smart building systems
R Jia, B Jin, M Jin, Y Zhou… – Proceedings of the …, 2018 – ieeexplore.ieee.org
Page 1. Design Automation for Smart Building Systems This paper presents a platform-based design flow for smart buildings. The proposed flow maps high-level specifications of desired building applications to their physical …

Qohelet Euporia: A Domain Specific Language to Annotate Multilingual Variant Readings
L Bambaci, F Boschetti… – 2018 IEEE 5th …, 2018 – ieeexplore.ieee.org
… The Context Free Grammar enables the tokenization of the plain text and the recognition of the semantic value of each apparatus component: the apparatus entry separated by a bracket, that shows the part of the text on which the conjecture 6?http://antlr.org? …

Smart Process Optimization and Adaptive Execution with Semantic Services in Cloud Manufacturing
L Mazzola, P Waibel, P Kaphanke, M Klusch – Information, 2018 – mdpi.com
A new requirement for the manufacturing companies in Industry 4.0 is to be flexible with respect to changes in demands, requiring them to react rapidly and efficiently on the production capacities. Together with the trend to use Service-Oriented Architectures (SOA), this requirement …

Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner
H Ren, M Clark, R Kumar – 2018 IEEE 14th International …, 2018 – ieeexplore.ieee.org
… Compositional verification of architectural models. NFM, 2012. [17] https://github.com/ Z3Prover/z3 [18] http://www.antlr.org/ [19] SAE-AS5506: Architecture Analysis and Design Language. SAE, 2004. [20] TA Henzinger, M. Minea, V. Prabhu …

A methodology to infer and refactor an object?oriented model from C applications
I Cassol, G Arévalo – Software: Practice and Experience, 2018 – Wiley Online Library

Software Testing in Industry
M Eggimann, O Nierstrasz, M Ghafari – 2018 – scg.unibe.ch
Page 1. Software Testing in Industry Assessing Unit Testing in an Industrial Software Project Bachelor Thesis Markus Eggimann from Grossh¨ochstetten, Switzerland Philosophisch- naturwissenschaftliche Fakultät der Universität Bern Summer 2018 Prof. Dr. Oscar Nierstrasz …

Software Languages
R Lämmel – 2018 – Springer
Page 1. Software Languages Ralf Lämmel Syntax, Semantics, and Metaprogramming Page 2. Software Languages Page 3. Ralf Lämmel Software Languages Syntax, Semantics, and Metaprogramming Page 4. Ralf Lämmel Computer …

The Notion of a Software Language
R Lämmel – Software Languages, 2018 – Springer
… 2 Haskell language: https://www.haskell.org/ 3 Java language: https://en.wikipedia.org/wiki/Java_( programming_language) 4 Python language: https://www.python.org/ 5 ANTLR language: http://www.antlr.org/ 6 JSON language: https://en.wikipedia.org/wiki/JSON 7 JSON …

A Simplified Secure Programming Platform for Internet of Things Devices
HB Yesilyurt – 2018 – digitalcommons.fiu.edu
Page 1. Florida International University FIU Digital Commons FIU Electronic Theses and Dissertations University Graduate School 6-29-2018 A Simplified Secure Programming Platform for Internet of Things Devices Halim Burak …

Formalizing and verifying the security protocols from the noise framework
A Suter-Dörig – 2018 – ethz.ch
Page 1. Formalizing and Verifying the Security Protocols from the Noise Framework Bachelor Thesis A. Suter-Dörig November 14, 2018 Advisors: Dr. L. Hirschi, Dr. R. Sasse Professor: Prof. Dr. D. Basin Department of Computer Science, ETH Zürich Page 2. Page 3. Abstract …

An Empirical Study on the Usage of Conventions and Rules for SQL programming in FoSS
? ?????????? – 2018 – olympias.lib.uoi.gr
Page 1. Page 2. An Empirical Study on the Usage of Conventions and Rules for SQL programming in FoSS A Thesis submitted to the designated by the General Assembly of Special Composition of the Department of Computer Science and Engineering Examination Committee …

{AIQL}: Enabling Efficient Attack Investigation from System Monitoring Data
P Gao, X Xiao, Z Li, F Xu, SR Kulkarni… – 2018 {USENIX} Annual …, 2018 – usenix.org
Page 1. This paper is included in the Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC ’18). July 11–13, 2018 • Boston, MA, USA ISBN 978-1-931971-44- 7 Open access to the Proceedings of the 2018 USENIX Annual Technical Conference …

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5 …
T Margaria, B Steffen – 2018 – books.google.com
Page 1. Tiziana Margaria · Bernhard Steffen (Eds.) Leveraging Applications of Formal Methods, Verification and Validation Modeling 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings, Part I 123 Page 2 …

Semantic composition of optimal process service plans in manufacturing with ODERU
L Mazzola, P Kapahnke… – International Journal of …, 2018 – emeraldinsight.com

Institute for Software Research
N Ghorbani, J Garcia, S Malek – 2018 – isr.uci.edu
Page 1. Institute for Software Research University of California, Irvine isr.uci.edu/ publications Negar Ghorbani University of California, Irvine negargh@uci.edu Joshua Garcia University of California, Irvine joshug4@uci.edu Sam …

Synthesis of probabilistic models for quality-of-service software engineering
S Gerasimou, R Calinescu, G Tamburrelli – Automated Software …, 2018 – Springer
An increasingly used method for the engineering of software systems with strict quality-of-service (QoS) requirements involves the synthesis and verification of probabilistic models for many…

Efficient synthesis of robust models for stochastic systems
R Calinescu, M ?eška, S Gerasimou… – Journal of Systems and …, 2018 – Elsevier
Skip to main content Skip to article …

Unit test generation using machine learning
L Saes – research.infosupport.com
Page 1. Unit test generation using machine learning Laurence Saes l.saes@live.nl August 18, 2018, 56 pages Academic supervisors: dr. Ana Oprescu Host organization: Info Support BV www.infosupport.com Host supervisor: Joop Snijder …

Dagstuhl Reports, Vol. 7, Issue 12 ISSN 2192-5283
T Alexandrov, S Böcker, P Dorrestein, E Schymanski… – 2018 – drops.dagstuhl.de
Page 1. Volume 7, Issue 12, December 2017 Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491) Theodore Alexandrov, Sebastian Böcker, Pieter Dorrestein, and Emma Schymanski ….. 1 …

OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions.
D Briola, V Mascardi, M Gioseffi – WOA, 2018 – ceur-ws.org
Page 1. OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions Daniela Briola Department of Computer Sciences, Systems and Communications. University of Milano Bicocca Milan, Italy daniela.briola@unimib.it …

Simos Gerasimou, Radu Calinescu &
G Tamburrelli – core.ac.uk
Page 1. This is a repository copy of Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/130619/ Version: Published Version …

{SAQL}: A Stream-based Query System for Real-Time Abnormal System Behavior Detection
P Gao, X Xiao, D Li, Z Li, K Jee, Z Wu, CH Kim… – 27th {USENIX} Security …, 2018 – usenix.org
Page 1. This paper is included in the Proceedings of the 27th USENIX Security Symposium. August 15–17, 2018 • Baltimore, MD, USA ISBN 978-1-931971-46-1 Open access to the Proceedings of the 27th USENIX Security Symposium is sponsored by USENIX …

IEEE 1687 Compliant Ecosystem for Embedded Instrumentation Access and In-Field Health Monitoring
A Tsertov, A Jutman, K Shibin… – 2018 IEEE …, 2018 – ieeexplore.ieee.org
Page 1. IEEE 1687 Compliant Ecosystem for Embedded Instrumentation Access and In-Field Health Monitoring Anton Tsertov Testonica Lab Tallinn, Estonia artur@testonica.com Artur Jutman Testonica Lab Tallinn, Estonia artur@testonica.com Konstantin Shibin Testonica Lab …

F lux: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing
N Silva, ERB Marques, L Lopes – ACM Transactions on Sensor Networks …, 2018 – dl.acm.org
Page 1. 20 Flux: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing NUNO SILVA, EDUARDO RB MARQUES, and LUÍS MB LOPES, Faculty of Science, University of Porto & CRACS/INESC-TEC Flux is a platform …

Efficient Synthesis of Robust Models for Stochastic Systems
M Kwiatkowska, N Paoletti – 2018 – nicolapaoletti.com
Page 1. Accepted Manuscript Efficient Synthesis of Robust Models for Stochastic Systems Radu Calinescu, Milan ?Ceška, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti PII: S0164-1212(18)30096-7 DOI: 10.1016/j.jss.2018.05.013 Reference: JSS 10161 …

Identifying Feature Clones in a Suite of Systems
M Chochlov, M English, J Buckley… – 2018 IEEE 18th …, 2018 – ieeexplore.ieee.org
… 7http://www.antlr.org/ 8https://lucene.apache.org/core/ 9https://lucene.apache.org/core/4 2 0/core/org/apache/lucene/search/ similarities/TFIDFSimilarity.html 10https://docs.oracle.com/javafx/ 2/overview/jfxpub-overview.htm 11To protect the intellectual property of Wood the name …

Maintaining architecture-implementation conformance to support architecture centrality: from single system to product line development
Y Zheng, C Cu, RN Taylor – ACM Transactions on Software Engineering …, 2018 – dl.acm.org
Page 1. 8 Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development YONGJIE ZHENG and CUONG CU, University of Missouri-Kansas City RICHARD N. TAYLOR, University of California, Irvine …

StreamSight: A Query-Driven Framework for Streaming Analytics in Edge Computing
Z Georgiou, M Symeonides, D Trihinas… – 2018 IEEE/ACM 11th …, 2018 – ieeexplore.ieee.org
Page 1. StreamSight: A Query-Driven Framework for Streaming Analytics in Edge Computing Zacharias Georgiou, Moysis Symeonides, Demetris Trihinas, George Pallis, Marios D. Dikaiakos Department of Computer Science …

A concurrent constraint programming interpretation of access permissions
C Olarte, E Pimentel, C Rueda – Theory and Practice of Logic …, 2018 – cambridge.org
Page 1. TLP 18 (2): 252–295, 2018. C Cambridge University Press 2018 doi:10.1017/S1471068418000017 First published online 10 April 2018 252 A concurrent constraint programming interpretation of access permissions …

To var or not to var: how do C# developers use and misuse implicit and explicit typing?
PA Akiki – Software Quality Journal, 2018 – Springer
Page 1. To var or not to var: how do C# developers use and misuse implicit and explicit typing? Pierre A. Akiki1 © Springer Science+Business Media, LLC, part of Springer Nature 2018 Abstract When implicit typing with the Bvar …

Improving service quality in cloud computing: from definition to deployment
V Scoca – 2018 – e-theses.imtlucca.it
Page 1. IMT School for Advanced Studies, Lucca Lucca, Italy Improving Service Quality in Cloud Computing: from Definition to Deployment PhD Program in Computer Science XXX Cycle By Vincenzo Scoca 2017 Page 2. Page 3. Contents List of Figures v List of Tables vi …

(Visited 185 times, 1 visits today)