E-LIB Suche - Ergebnisse für: Pantelic, Vera

1

Simulation-Based Testing of Simulink Models With Test Seque..:

Formica, Federico ; Fan, Tony ; Rajhans, Akshay...
IEEE Transactions on Software Engineering. 50 (2024) 2 - p. 239-257 , 2024

Link: https://doi.org/10.1109/..

2

Repository mining for changes in Simulink and Stateflow mod..:

Jaskolka, Monika ; Pantelic, Vera ; Wassyng, Alan..
Software and Systems Modeling. 22 (2023) 5 - p. 1713-1732 , 2023

Link: https://doi.org/10.1007/..

3

Test Case Generation for Drivability Requirements of an Aut..:

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

Formica, Federico ; Petrunti, Nicholas ; Bruck, Lucas... - p. 1949-1960 , 2023

Link: https://dl.acm.org/doi/1..

4

Using Assurance Cases to Prevent Malicious Behaviour from T..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Bandur, Victor ; Lawford, Mark ; Mosser, Sébastien... - p. 5-14 , 2023

Link: https://doi.org/10.1007/..

5

An Automotive Architecture Product Line for E/E Powertrain ..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Rodriguez, Horacio Hoyos ; Muralidharan, Naveen Ganesh ; Siavashi, Faezeh... - p. 715-719 , 2023

Link: https://doi.org/10.1109/..

6

Bridging the Gap Between System Architecture and Software D..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW),

Siavashi, Faezeh ; Rodriguez, Horacio Hoyos ; Pantelic, Vera... - p. 51-56 , 2023

Link: https://doi.org/10.1109/..

7

Assurance Cases for Timing Properties of Automotive TSN Net..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Kapinski, Ryan ; Pantelic, Vera ; Bandur, Victor.. - p. 26-31 , 2023

Link: https://doi.org/10.1007/..

8

Integrating Software Issue Tracking and Traceability Models:

, In: 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Muralidharan, Naveen Ganesh ; Pantelic, Vera ; Bandur, Victor. - p. 429-433 , 2022

Link: https://doi.org/10.1109/..

9

Change impact analysis in Simulink designs of embedded syst..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Mackenzie, Bennett ; Pantelic, Vera ; Marks, Gordon... - p. 1274-1284 , 2020

Link: https://dl.acm.org/doi/1..

10

Applying Modular Decomposition in Simulink:

, In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Jaskolka, Monika ; Scott, Stephen ; Pantelic, Vera.. - p. 31-36 , 2020

Link: https://doi.org/10.1109/..

11

SL2SF: Refactoring Simulink to Stateflow:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Wynn-Williams, Stephen ; Diskin, Zinovy ; Pantelic, Vera... - p. 264-281 , 2019

Link: https://doi.org/10.1007/..

12

Documenting Simulink designs of embedded systems:

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

Schaap, Alexander ; Marks, Gordon ; Pantelic, Vera... - p. 47-51 , 2018

Link: https://dl.acm.org/doi/1..

13

Software engineering practices and Simulink: bridging the g..:

Pantelic, Vera ; Postma, Steven ; Lawford, Mark...
International Journal on Software Tools for Technology Transfer. 20 (2017) 1 - p. 95-117 , 2017

Link: https://doi.org/10.1007/..

14

Signature required: Making Simulink data flow and interface..:

Bender, Marc ; Laurin, Karen ; Lawford, Mark...
Science of Computer Programming. 113 (2015) - p. 29-50 , 2015

Link: https://doi.org/10.1016/..

15

A methodology for the simplification of tabular designs in ..:

, In: Proceedings of the Third FME Workshop on Formal Methods in Software Engineering,

Bialy, Monika ; Lawford, Mark ; Pantelic, Vera. - p. 47-53 , 2015

Link: https://dl.acm.org/doi/1..