Browsing by Author Pantelic, Vera
Showing results 1 to 7 of 7
Publication Date | Title | Author(s) |
---|---|---|
2024 | Addressing the shortcomings of commercial-of-the-shelf model-to-model transformations with open-source tools; from SysML to AUTOSAR | Hoyos Rodriguez, Horacio; Siavashi, Faezeh; Jaskolka, Monika; Pantelic, Vera; Lawford, Mark; Paige, Richard |
Dec-2005 | Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | Pantelic, Vera |
2022 | Integrating Software Issue Tracking and Traceability Models | Muralidharan, Naveen Ganesh |
2024 | Migrating to Ethernet-Based Centralized Automotive Architectures | Kapinski, Ryan |
Apr-2011 | Probabilistic Supervisory Control of Probabilistic Discrete Event Systems | Pantelic, Vera |
2024 | A Semi-Automated Approach for Incremental Migration from Monolithic to Microservices Architecture | ZakerZavardehi, Hassan |
19-Sep-2023 | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities | Bandur, Victor; Lawford, Mark; Mosser, Sébastien; Paige, Richard; Pantelic, Vera; Wassyng, Alan |
Showing results 1 to 7 of 7