Jason Jaskolka

dblp:43/164 · DBLP profile ↗
← Back
5ranked-venue papers in the field
0as first author
4since 2021 · last 2024
0000-0001-6316-3040ORCID · corroborated

Domains — venue-derived; a paper can count in several

Database Systems & Data Management · 5
YearPublicationVenuePosition
2024 Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B
Loïc Thierry, Brahim Hamid, Jason Jaskolka
MEDI3
2024 A Tool Support Methodology for Creating Security Cases Using Argument Patterns
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
MEDI4
2023 A Formal Metamodel for Software Architectures with Composite Components
James Baak, Quentin Rouland, Jason Jaskolka
MEDI3
2022 Architecture for ontology-supported multi-context reasoning systems
Andrew LeClair, Jason Jaskolka, Wendy MacCaull, Ridha Khédri
Data Knowl. Eng.2
2018 Formalizing Reusable Communication Models for Distributed Systems Architecture
Quentin Rouland, Brahim Hamid, Jason Jaskolka
MEDI3