2024
A NAND Use Case for Cybersecurity Experiments.
Proceedings of the IEEE Secure Development Conference, 2024
2022
Syntheto: A Surface Language for APT and ACL2.
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022
Assurance Provenance: The Next Challenge in Software Documentation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022
Guarding Against Universal Adversarial Perturbations in Data-driven Cloud/Edge Services.
Proceedings of the IEEE International Conference on Cloud Engineering, 2022
Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge.
Proceedings of the Dynamic Data Driven Applications Systems - 4th International Conference, 2022
2021
Differential-FORMULA: towards a semantic backplane for incremental modeling.
Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021
Towards Model-Based Intent-Driven Adaptive Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
2020
Leveraging EM Side-Channel Information to Detect Rowhammer Attacks.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
2019
Dynamic symbolic execution for the analysis of web server applications in Java.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Towards Operational Use of Unit Manufacturing Process Models.
Proceedings of the IEEE International Conference on Industrial Technology, 2019
2018
A Cloud-Based Execution Framework for Program Analysis.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Triggering Rowhammer Hardware Faults on ARM: A Revisit.
Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware Security, 2018
2016
Achieving resilience in distributed software systems via self-reconfiguration.
J. Syst. Softw., 2016
2015
Automatically reasoning about metamodeling.
Softw. Syst. Model., 2015
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program., 2015
2014
A semi-formal description of migrating domain-specific models with evolving domains.
Softw. Syst. Model., 2014
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Softw., 2014
A Rapid Testing Framework for a Mobile Cloud.
Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014
Taming Multi-Paradigm Integration in a Software Architecture Description Language.
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014
2013
Deliberative, search-based mitigation strategies for model-based software health management.
Innov. Syst. Softw. Eng., 2013
Polyglot: Systematic Analysis for Multiple Statechart Formalisms.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
2012
Integrating Statechart Components in Polyglot.
Proceedings of the NASA Formal Methods, 2012
Evolution in a context of an model-integrated tool environment.
Proceedings of the 6th International Workshop on Models and Evolution, 2012
Statechart Analysis with Symbolic PathFinder.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Behavioral Semantics of Modeling Languages: A Pragmatic Approach.
PhD thesis, 2011
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.
Proceedings of the Software Composition - 10th International Conference, 2011
Rapid property specification and checking for model-based formalisms.
Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Polyglot: modeling and analysis for multiple Statechart formalisms.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
2010
Reusing Model Transformations While Preserving Properties.
Proceedings of the Fundamental Approaches to Software Engineering, 2010
A transformation instance-based approach to traceability.
Proceedings of the 6th ECMFA Traceability Workshop, 2010
2009
A Novel Approach to Semi-automated Evolution of DSML Model Transformation.
Proceedings of the Software Language Engineering, Second International Conference, 2009
Automatic Domain Model Migration to Manage Metamodel Evolution.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Lost in Translation: Forgetful Semantic Anchoring.
Proceedings of the ASE 2009, 2009
2007
Common coupling and pointer variables, with application to a Linux case study.
Softw. Qual. J., 2007
Fine-grain analysis of common coupling and its application to a Linux case study.
J. Syst. Softw., 2007
A Subgraph Operator for Graph Transformation Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Applying a Grouping Operator in Model Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
The Graph Rewriting and Transformation Language: GReAT.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Model Transformations in the Model-Based Development of Real-time Systems.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006
2005
Improving the Usability of a Graph Transformation Language.
Proceedings of the International Workshop on Graph and Model Transformation, 2005