Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
certification
Papers
FERPModels: a Certification Framework for Expansion-Based QBF Solving
Vedad Hadžić
,
Roderick Bloem
,
Ankit Shukla
and
Martina Seidl
EasyChair Preprint no. 9624
Survey of Automation Practices in Model-Driven Development and Operations
Christophe Ponsard
and
Valery Ramon
EasyChair Preprint no. 7760
Incremental Common Criteria Certification Processes using DevSecOps Practices
Sébastien Dupont
,
Guillaume Ginis
,
Mirko Malacario
,
Claudio Porretti
,
Nicolò Maunero
,
Christophe Ponsard
and
Philippe Massonet
EasyChair Preprint no. 6415
Cybersecurity Program Designed for Future
Claudio Brito
,
Melany Ciampi
and
Henrique Santos
EasyChair Preprint no. 1323
Beyond DRAT: Challenges in Certifying UNSAT
Bertram Felgenhauer
In
:
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
Bernhard Beckert
,
Daniel Bruns
and
Sarah Grebing
In
:
VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2023 easychair.org. All rights reserved.