Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jakobs, Christine
163  Ergebnisse:
Personensuche X
?
1

Formal analysis of timeliness in the RaSTA protocol:

, In: 2022 17th Conference on Computer Science and Intelligence Systems (FedCSIS),
Naumann, Billy ; Jakobs, Christine ; Werner, Matthias - p. 505-514 , 2022
Link: https://doi.org/10.15439..
 
?
2

Heuristic Risk Treatment for ISO/SAE 21434 Development Proj..:

, In: 2022 17th Conference on Computer Science and Intelligence Systems (FedCSIS),
Jakobs, Christine ; Werner, Matthias ; Schmidt, Karsten. - p. 653-662 , 2022
Link: https://doi.org/10.15439..
 
?
3

Streamlining Security Relevance Analysis According to ISO 2..:

, In: 2022 5th International Conference on Networking, Information Systems and Security: Envisage Intelligent Systems in 5g//6G-based Interconnected Digital Worlds (NISS),
Jakobs, Christine ; Naumann, Billy ; Werner, Matthias... - p. 1-6 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Following the White Rabbit: Integrity Verification Based on..:

, In: Proceedings of the 5th ACM Computer Science in Cars Symposium,
Jakobs, Christine ; Werner, Matthias ; Schmidt, Karsten. - p. 1-9 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Verification of Integrity in Vehicle Architectures:

, In: Proceedings of the 3rd International Conference on Networking, Information Systems & Security,
Jakobs, Christine ; Naumann, Billy ; Werner, Matthias. - p. 1-7 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Dynamic vehicle software with AUTOCONT:

, In: Proceedings of the 55th Annual Design Automation Conference,
Jakobs, Christine ; Tröger, Peter ; Werner, Matthias.. - p. 1-6 , 2018
Link: https://dl.acm.org/doi/1..
 
?
7

Parallel program analysis on path ranges:

Haltermann, Jan ; Jakobs, Marie-Christine ; Richter, Cedric.
Science of Computer Programming.  238 (2024)  - p. 103154 , 2024
Link: https://doi.org/10.1016/..
 
?
8

Summary of the Eighth International Workshop on CPAchecker(..:

Jakobs, Marie-Christine ; Lee, Nian-Ze
ACM SIGSOFT Software Engineering Notes.  49 (2024)  2 - p. 25-26 , 2024
Link: https://doi.org/10.1145/..
 
?
9

Ultimate TestGen: Test-Case Generation with Automata-based ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Barth, Max ; Dietsch, Daniel ; Heizmann, Matthias. - p. 326-330 , 2024
Link: https://doi.org/10.1007/..
 
?
10

Preface for the special issue on "Fundamental Approaches to..:

Jakobs, Marie-Christine ; Johnsen, Einar Broch ; Kamburjan, Eduard.
Science of Computer Programming.  232 (2024)  - p. 103055 , 2024
Link: https://doi.org/10.1016/..
 
?
11

Ranged Program Analysis via Instrumentation:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Haltermann, Jan ; Jakobs, Marie-Christine ; Richter, Cedric. - p. 145-164 , 2023
Link: https://doi.org/10.1007/..
 
?
12

diffDP: Using Data Dependencies and Properties in Differenc..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Jakobs, Marie-Christine ; Pollandt, Tim - p. 40-61 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Parallel Program Analysis via Range Splitting:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Haltermann, Jan ; Jakobs, Marie-Christine ; Richter, Cedric. - p. 195-219 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Automatic Test-Case Generation with CoVeriTest (Extended Ab..:

, In: Tests and Proofs; Lecture Notes in Computer Science,
Jakobs, Marie-Christine - p. 3-8 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Reusing Predicate Precision in Value Analysis:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Jakobs, Marie-Christine - p. 63-85 , 2022
Link: https://doi.org/10.1007/..
 
1-15