1 – 10 of 93
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
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
-
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
- 2021
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
-
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
-
Mark
Smart bikes: Gradual update of IoT systems
(
- 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
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
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