selected scholarly activity
-
chapters
-
conferences
- Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. 2024 IEEE Intelligent Vehicles Symposium (IV). 1000-1007. 2024
- Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1949-1960. 2023
- Bridging the Gap Between System Architecture and Software Design using Model Transformation. 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW). 51-56. 2023
- An Automotive Architecture Product Line for E/E Powertrain Architectures. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 715-719. 2023
- Assurance Cases for Timing Properties of Automotive TSN Networks. Lecture Notes in Computer Science. 26-31. 2023
- Integrating Software Issue Tracking and Traceability Models. 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME). 429-433. 2022
- Aspects of Migrating from Decentralized to Centralized E/E Architectures. SAE Technical Papers. 2022
- Repository Mining for Changes in Simulink Models. 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). 46-57. 2021
- A Safety Architecture for Centralized E/E Architectures. International Conference on Dependable Systems and Networks workshops : [proceedings]. International Conference on Dependable Systems and Networks. 67-70. 2021
- A Domain-Centralized Automotive Powertrain E/E Architecture. SAE Technical Papers. 2021
- Change impact analysis in Simulink designs of embedded systems. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1274-1284. 2020
- Applying Modular Decomposition in Simulink. 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 31-36. 2020
- A Comparison of Componentization Constructs for Supporting Modularity in Simulink. SAE Technical Papers. 2020
- SL2SF: Refactoring Simulink to Stateflow. Lecture Notes in Computer Science. 264-281. 2019
- Something is Rotten in the State of Documenting Simulink Models. Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. 505-512. 2019
- Something is Rotten in the State of Documenting Simulink Models. Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. 503-510. 2019
- Automatic Calibrations Generation for Powertrain Controllers Using MapleSim. SAE Technical Papers. 2018
- Documenting Simulink Designs of Embedded Systems. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 47-51. 2018
- Using STPA in an ISO 26262 Compliant Process. Lecture Notes in Computer Science. 117-129. 2016
- A Methodology for the Simplification of Tabular Designs in Model-Based Development. 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering. 47-53. 2015
- A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. 50-61. 2015
- A Framework for Supervisory Control of Probabilistic Discrete Event Systems. IFAC-PapersOnLine. 477-484. 2014
- Signature Required - Making Simulink Data Flow and Interfaces Explicit. Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. 119-131. 2014
- Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems. IFAC-PapersOnLine. 217-222. 2010
- Use of a metric in supervisory control of probabilistic discrete event systems. IFAC Proceedings Volumes (IFAC-PapersOnline). 217-222. 2010
- Towards Optimal Supervisory Control of Probabilistic Discrete Event Systems. IFAC-PapersOnLine. 75-80. 2009
- Towards integrated verification of timed transition models. Fundamenta Informaticae. 75-110. 2006
- Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.. Software Engineering Research and Practice. 629-635. 2006
-
journal articles
- Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. IEEE Transactions on Software Engineering. 50:239-257. 2024
- Repository mining for changes in Simulink and Stateflow models. Software and Systems Modeling (SoSyM). 22:1713-1732. 2023
- Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. Lecture Notes in Computer Science. 14182:5-14. 2023
- Making the Case for Centralized Automotive E/E Architectures. IEEE Transactions on Vehicular Technology. 70:1230-1245. 2021
- Software engineering practices and Simulink: bridging the gap. International Journal on Software Tools for Technology Transfer. 20:95-117. 2018
- Signature required: Making Simulink data flow and interfaces explicit. Science of Computer Programming. 113:29-50. 2015
- Making the Case for Electrified Transportation. IEEE Transactions on Transportation Electrification. 1:4-17. 2015
- A pseudometric in supervisory control of probabilistic discrete event systems. Discrete Event Dynamic Systems: Theory and Applications. 22:479-510. 2012
- Optimal Supervisory Control of Probabilistic Discrete Event Systems. IEEE Transactions on Automatic Control. 57:1110-1124. 2012
- Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. IEEE Transactions on Automatic Control. 54:2013-2018. 2009
-
preprints
- Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles 2024
- Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 2023
- Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 2022
- Supporting Modularity in Simulink Models 2020