Vera Pantelic

According to our database, Vera Pantelic authored at least 31 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.

Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi

IEEE Trans. Software Eng., February, 2024

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng

CoRR, 2024

2023

Repository mining for changes in Simulink and Stateflow models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford

Softw. Syst. Model., October, 2023

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.

Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Assurance Cases for Timing Properties of Automotive TSN Networks.

Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.

Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

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

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

Integrating Software Issue Tracking and Traceability Models.

Naveen Ganesh Muralidharan, Vera Pantelic, Victor Bandur, Richard F. Paige

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

Making the Case for Centralized Automotive E/E Architectures.

Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford

IEEE Trans. Veh. Technol., 2021

Repository Mining for Changes in Simulink Models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

A Safety Architecture for Centralized E/E Architectures.

Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

Supporting Modularity in Simulink Models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford

CoRR, 2020

Change impact analysis in Simulink designs of embedded systems.

Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Applying Modular Decomposition in Simulink.

Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Something is Rotten in the State of Documenting Simulink Models.

Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

SL2SF: Refactoring Simulink to Stateflow.

Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Software engineering practices and Simulink: bridging the gap.

Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng

Int. J. Softw. Tools Technol. Transf., 2018

Documenting Simulink designs of embedded systems.

Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2016

Using STPA in an ISO 26262 Compliant Process.

Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Signature required: Making Simulink data flow and interfaces explicit.

Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven M. Postma

Sci. Comput. Program., 2015

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

Proceedings of the MODELSWARD 2015, 2015

A Methodology for the Simplification of Tabular Designs in Model-Based Development.

Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2014

A Framework for Supervisory Control of Probabilistic Discrete Event Systems.

Vera Pantelic, Mark Lawford, Steven M. Postma

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Signature Required - Making Simulink Data Flow and Interfaces Explicit.

Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012

Optimal Supervisory Control of Probabilistic Discrete Event Systems.

Vera Pantelic, Mark Lawford

IEEE Trans. Autom. Control., 2012

A pseudometric in supervisory control of probabilistic discrete event systems.

Vera Pantelic, Mark Lawford

Discret. Event Dyn. Syst., 2012

2010

Use of a metric in supervisory control of probabilistic discrete event systems.

Vera Pantelic, Mark Lawford

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems.

Vera Pantelic, Steven M. Postma, Mark Lawford

IEEE Trans. Autom. Control., 2009

2006

Towards Integrated Verification of Timed Transition Models.

Mark Lawford, Vera Pantelic, Hong Zhang

Fundam. Informaticae, 2006

Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.

Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006