Publications (B/C Ranked)
Method: Computing Research and Education Association of Australasia, CORE 2018.
2024
-
SPLC
Conference
B
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants -
Proceedings of the 28th ACM International Systems and Software Product Line ConferenceAssociation for Computing Machinery2024.
PDF 10.1145/3646548.3672585 [BibTex]
2023
-
LCTES
Conference
B
Thread-Level Attack-Surface Reduction -
Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]
2022
-
OSPERT
Workshop
B
RTOS-Independent Interaction Analysis in ARA -
Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)2022.
PDF Slides [BibTex]
-
ICSOFT
Conference
B
Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing -
Proceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]
-
ISORC
Conference
C
Outstanding Paper Award
PSIC: Priority-Strict Multi-Core IRQ Processing -
Proceedings of the 25th International Symposium on Real-Time Distributed ComputingIEEE Computer Society2022Outstanding Paper Award.
PDF Slides 10.1109/ISORC52572.2022.9812796 [BibTex]
-
SAFECOMP
Conference
B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]
-
SAFECOMP
Conference
B
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_14 [BibTex]
2019
-
OSPERT
Workshop
B
ARA: Automatic Instance-Level Analysis in Real-Time Systems -
Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]
-
PRDC
Conference
B
Program-Structure–Guided Approximation of Large Fault Spaces -
2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]
-
PLOS
Workshop
B
Wait-Free Code Patching of Multi-Threaded Processes -
Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]
2018
-
OSPERT
Workshop
B
Best Paper Award
Levels of Specialization in Real-Time Operating Systems -
Proceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]
2017
-
OSPERT
Workshop
B
Look Mum, no VM Exits! (Almost) -
Proceedings of the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17)2017.
PDF Slides [BibTex]
2016
-
GPCE
Conference
B
Towards Scalable Configuration Testing in Variable Software -
Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]
2015
-
JSA
Journal
B
Resource Awareness on Heterogeneous MPSoCs for Image Processing -
Journal of Systems Architecture61.10Elsevier2015.
10.1016/j.sysarc.2015.09.002 [BibTex]
-
JSA
Journal
B
Self-Adaptive Corner Detection on MPSoC Through Resource-Aware Programming -
Journal of Systems Architecture61.10Elsevier2015.
10.1016/j.sysarc.2015.07.011 [BibTex]
-
GPCE
Conference
B
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications -
Proceedings of the 14th International Conference on Generative Programming and Component Engineering (GPCE '15)ACM Press2015.
10.1145/2814204.2814220 [BibTex]
-
OSPERT
Workshop
B
Back to the Roots: Implementing the RTOS as a Specialized State Machine -
Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)2015.
PDF [BibTex]
2014
-
GPCE
Conference
B
Automatic Feature Selection in Large-Scale System-Software Product Lines -
Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
PDF 10.1145/2658761.2658767 [BibTex]
-
HASE
Conference
B
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes -
Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]
-
ISORC
Conference
C
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs -
Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)IEEE Computer Society Press2014.
PDF 10.1109/ISORC.2014.26 [BibTex]
2012
-
MobiSys
Conference
B
CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack -
Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12)ACM Press2012.
PDF 10.1145/2307636.2307676 [BibTex]
-
STTT
Journal
B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software -
International Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]
2011
-
CODES+ISSS
Conference
C
Design and Architectures for Dependable Embedded Systems -
Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)ACM Press2011.
10.1145/2039370.2039384 [BibTex]
-
CODES+ISSS
Conference
C
DistRM: Distributed Resource Management for On-chip Many-Core Systems -
Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)ACM Press2011.
10.1145/2039370.2039392 [BibTex]
-
SEAA
B
Fixing Configuration Inconsistencies Across File Type Boundaries -
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA '11)IEEE Computer Society Press2011.
PDF 10.1109/SEAA.2011.26 [BibTex]
-
ISORC
Conference
C
Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems -
Proceedings of the 14th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '11)IEEE Computer Society Press2011.
PDF 10.1109/ISORC.2011.29 [BibTex]
-
PLOS
Workshop
B
Configuration Coverage in the Analysis of Large-Scale System Software -
Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
PDF 10.1145/2039239.2039242 [BibTex]
2010
-
KnoSys
Journal
B
AspectC++: An integrated approach for static and dynamic adaptation of system software -
Knowledge-Based Systems23.72010.
PDF 10.1016/j.knosys.2010.03.002 [BibTex]
-
GPCE
Conference
B
Efficient Extraction and Analysis of Preprocessor-Based Variability -
Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10)ACM Press2010.
PDF 10.1145/1868294.1868300 [BibTex]
-
SoMeT
Conference
B
Multi-Level Product Line Customization -
Proceedings of the 2010 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '10)IOS Press2010.
PDF 10.3233/978-1-60750-629-4-37 [BibTex]
2009
-
SoMeT
Conference
B
Dynamic AspectC++: Generic Advice at Any Time -
Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '09)IOS Press2009.
PDF 10.3233/978-1-60750-049-0-165 [BibTex]
2007
-
PLOS
Workshop
B
Configurable Memory Protection by Aspects -
Proceedings of the 4th Workshop on Programming Languages and Operating Systems (PLOS '07)ACM Press2007.
PDF 10.1145/1376789.1376794 [BibTex]
-
KnoSys
Journal
B
The Design and Implementation of AspectC++ -
Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software20.7Elsevier2007.
PDF 10.1016/j.knosys.2007.05.004 [BibTex]
2006
-
Workshop
B
PURE Embedded Operating Systems – CiAO -
Proceedings of the ECRTS Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT '06)2006.
PDF [BibTex]
2005
-
SoMeT
Conference
B
Advances in AOP with AspectC++ -
New Trends in Software Methodologies, Tools and Techniques (SoMeT '05)IOS Press2005.
PDF [BibTex]
-
WORDS
Workshop
B
Functional and Non-Functional Properties in a Family of Embedded Operating Systems -
Proceedings of the 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS '05)2005.
PDF 10.1109/WORDS.2005.37 [BibTex]
2004
-
GPCE
Conference
B
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ -
Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE '04)Springer-Verlag2004.
PDF 10.1007/978-3-540-30175-2_4 [BibTex]