Loading…
Loading…
An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing
Keshanchi, Bahman, Souri, Alireza, Navimipour, Nima Jafari
Published in The Journal of systems and software (01.02.2017)
Published in The Journal of systems and software (01.02.2017)
Get full text
Journal Article
Loading…
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
Moy, Yannick, Ledinot, Emmanuel, Delseny, Herve, Wiels, Virginie, Monate, Benjamin
Published in IEEE software (01.05.2013)
Published in IEEE software (01.05.2013)
Get full text
Journal Article
Loading…
Formal Verification of Software Countermeasures against Side-Channel Attacks
Eldib, Hassan, Wang, Chao, Schaumont, Patrick
Published in ACM transactions on software engineering and methodology (01.12.2014)
Published in ACM transactions on software engineering and methodology (01.12.2014)
Get full text
Journal Article
Loading…
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Published in Software and systems modeling (01.04.2024)
Published in Software and systems modeling (01.04.2024)
Get full text
Journal Article
Loading…
Formal Verification of Restoring Dividers made Fast and Simple
Dasari, Jiteshri, Ciesielski, Maciej
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
Loading…
Loading…
A type system for formal verification of cyber-physical systems C/C++ software
Manzhos, Yuriy, Sokolova, Yevheniia
Published in Radìoelektronnì ì komp'ûternì sistemi (Online) (28.02.2024)
Published in Radìoelektronnì ì komp'ûternì sistemi (Online) (28.02.2024)
Get full text
Journal Article
Loading…
A Research Landscape on Formal Verification of Software Architecture Descriptions
Araujo, Camila, Cavalcante, Everton, Batista, Thais, Oliveira, Marcel, Oquendo, Flavio
Published in IEEE access (2019)
Published in IEEE access (2019)
Get full text
Journal Article
Loading…
A feature-based classification of formal verification techniques for software models
Gabmeyer, Sebastian, Kaufmann, Petra, Seidl, Martina, Gogolla, Martin, Kappel, Gerti
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
Loading…
Formal Verification of Annotated Textual Use-Cases
Simko, Viliam, Hauzar, David, Hnetynka, Petr, Bures, Tomas, Plasil, Frantisek
Published in Computer journal (01.07.2015)
Published in Computer journal (01.07.2015)
Get full text
Journal Article
Loading…
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts
Garfatta, Ikram, Klai, Kais, Graiet, Mohamed, Gaaloul, Walid
Published in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.10.2021)
Published in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.10.2021)
Get full text
Conference Proceeding
Loading…
Formal Verification of Protocols Based on Short Authenticated Strings
Delaune, Stephanie, Kremer, Steve, Robin, Ludovic
Published in Proceedings (IEEE Computer Security Foundations Symposium) (01.08.2017)
Published in Proceedings (IEEE Computer Security Foundations Symposium) (01.08.2017)
Get full text
Conference Proceeding
Loading…
Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT
Villafiorita, A., Weldemariam, K., Tiella, R.
Published in IEEE transactions on information forensics and security (01.12.2009)
Published in IEEE transactions on information forensics and security (01.12.2009)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification
Rebai, Sirine, Hadj Kacem, Hatem, Karaa, Mohamed, Pomares, Saul E., Hadj Kacem, Ahmed
Published in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2015)
Published in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2015)
Get full text
Conference Proceeding