1 – 50 of 96
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Property probes : Live exploration of program analysis results
(
- Contribution to journal › Article
-
Mark
Mutation testing optimisations using the Clang front-end
(
- Contribution to journal › Article
- 2023
-
Mark
ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
2023) 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023 In REBLS 2023 - Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with: SPLASH 2023 p.31-42(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
JFeature : Know Your Corpus
2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
A Precise Framework for Source-Level Control-Flow Analysis
2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
- 2020
-
Mark
Relational reference attribute grammars: Improving continuous model validation
(
- Contribution to journal › Article
-
Mark
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Runtime Modeling and Analysis of IoT Systems
2020) ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) p.1-5(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Feature-Oriented Control Programming
2020) 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) p.1043-1046(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Smart bikes: Gradual update of IoT systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
Mark
ComPOS : Composing Oblivious Services
2019) 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019 p.132-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Live Programming of Internet of Things in PalCom
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A DSL for Composing IoT Systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
PalCom MIST: a Metaprotocol for Internet Systems of Things
2018)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Continuous Model Validation using Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
Concurrent Circular Reference Attribute Grammars (Extended Version)
2017) In Technical report, LU-CS-TR(
- Book/Report › Report
-
Mark
Jatte : A tunable tree editor for integrated DSLs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Concurrent Circular Reference Attribute Grammars
2017) 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) p.151-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Visual instance inlining and specialization - Building domain-specific diagrams from reusable types
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bloqqi: Modular Feature-Based Block Diagram Programming
2016) International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) p.57-73(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Extraction-Based Regression Test Selection
2016) 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, PPJ '16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
DrAST: an inspection tool for attributed syntax trees (tool demo)
2016) 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2016 p.176-180(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2015
-
Mark
A JastAdd implementation of Oberon-0
(
- Contribution to journal › Article
-
Mark
Declarative rewriting through circular nonterminal attributes
(
- Contribution to journal › Article
-
Mark
JavaRAG: A Java Library for Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Multitudes of Objects: First Implementation and Case Study for Java
(
- Contribution to journal › Article
-
Mark
Intercepting Dataflow Connections in Diagrams with Inheritance
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software language engineering (SLE'12)
(
- Contribution to journal › Letter
- 2013
-
Mark
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Extensible intraprocedural flow analysis at the abstract syntax tree level
(
- Contribution to journal › Article
-
Mark
Circular Higher-order Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Implementing Semantic Feedback in a Diagram Editor
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Refactoring Techniques for Visual Editing of Hybrid Languages
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software Language Engineering: 5th International Conference, SLE 2012, Revised Selected Papers
- Book/Report › Conference proceeding (editor)
-
Mark
Extending the JastAdd Extensible Java Compiler to Java 7
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking
2012) In LU-CS-TR:2012-249(
- Book/Report › Report
-
Mark
A comparison of two metacompilation approaches to implementing a complex domain-specific language
2012) 2012 Symposium On Applied Computing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Handling of layout-sensitive semantics in a visual control language
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Instance-aware assemblies of services in pervasive computing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Comparative Study of Incremental Attribute Grammar Solutions to Name Resolution
2012) 5th International Conference on Software Language Engineering(
- Contribution to conference › Paper, not in proceeding
- 2011
-
Mark
A comparison of metacompilation approaches to implementing Modelica
2011)(
- Book/Report › Report
-
Mark
Extending Languages by Leveraging Compilers: from Modelica to Optimica
(
- Contribution to journal › Article
-
Mark
Automated selective caching for reference attribute grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Building semantic editors using JastAdd: tool demonstration
2011) LDTA'11: 11th Workshop on Language Description, Tools and Applications(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An introductory tutorial on JastAdd attribute grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Metacompiling OWL Ontologies
2011) SLE'11: 4th International Conference on Software Language Engineering In Lecture Notes in Computer Science 6940. p.354-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2010
-
Mark
Implementation of a Modelica compiler using JastAdd attribute grammars
(
- Contribution to journal › Article