1 – 10 of 81
- show: 10
- |
- 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
- 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
- 2020
-
Mark
Relational reference attribute grammars: Improving continuous model validation
(
- Contribution to journal › Article
- 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
- 2018
-
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