Vera Pantelic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
7
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Chaining Unsafe Control Actions in STPA. | Nicholas Petrunti, Spencer Deevy, Vera Pantelic, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | MODELS | Engineering Automotive Digital Twins on Standardized Architectures: A Case Study. | Stefan Ramdhan, Winnie Trandinh, Istvan David, Vera Pantelic, Mark Lawford |
| 2024 | ISSRE | Using Boundary Objects for Continuous Compliance in Automotive Development. | Anthony Shenouda, Tiziano Santilli, Faezeh Siavashi, Thomas Chiang, Nicholas Annable, Horacio Hoyos Rodriguez, Richard F. Paige, Patrizio Pelliccione, Mark Lawford, Alan Wassyng, Vera Pantelic |
| 2024 | MODELS | Towards Model Product Lines: Composition of EMF Models. | Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige |
| 2023 | ISSRE | Bridging the Gap Between System Architecture and Software Design using Model Transformation. | Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde |
| 2023 | MODELS | An Automotive Architecture Product Line for E/E Powertrain Architectures. | Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige |
| 2023 | SAFECOMP | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. | Victor Bandur, Mark Lawford, Sbastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng |
| 2023 | SAFECOMP | Assurance Cases for Timing Properties of Automotive TSN Networks. | Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford |
| 2021 | DSN | A Safety Architecture for Centralized E/E Architectures. | Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford |
| 2021 | MODELS | Repository Mining for Changes in Simulink Models. | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige |
| 2020 | ISSRE | Applying Modular Decomposition in Simulink. | Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford |
| 2019 | FASE | SL2SF: Refactoring Simulink to Stateflow. | Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
| 2019 | MODELSWARD | Something is Rotten in the State of Documenting Simulink Models. | Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford |
| 2018 | MODELS | Documenting Simulink designs of embedded systems. | Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas |
| 2016 | SAFECOMP | Using STPA in an ISO 26262 Compliant Process. | Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng |
| 2015 | ICSE | A Methodology for the Simplification of Tabular Designs in Model-Based Development. | Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng |
| 2015 | MODELSWARD | A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. | Vera Pantelic, Steven M. Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender |
| 2014 | MODELSWARD | Signature Required - Making Simulink Data Flow and Interfaces Explicit. | Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic |