Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
Tran, Hoang-Dung, Musau, Patrick, Manzanas Lopez, Diego, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
Rigorous Design and Deployment of IoT Applications
Krishna, Ajay, Le Pallec, Michel, Mateescu, Radu, Noirie, Ludovic, Salaun, Gwen
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
A Proof-Producing Translator for Verilog Development in HOL
Loow, Andreas, Myreen, Magnus O.
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
Message from ICSE 2019 General Chair
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)
(01.05.2019)
Get full text
Conference Proceeding
Message from the Chairs of FormaliSE 2019
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)
(01.05.2019)
Get full text
Conference Proceeding
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
Belo Lourenco, Claudio, Frade, Maria Joao, Sousa Pinto, Jorge
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP
Pedersen, Jan Bakgaard, Chalmers, Kevin
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
Static Analysis for Worst-Case Battery Utilization
Ivanov, Dmitry, Schupp, Sibylle
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding