Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
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
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
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
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
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
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
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
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
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
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
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
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
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