Displaying results 1 - 10 / 1161
results / page
What publicationinformation is included in the service?
Publication name
Authors
Publication channel
Year

Formal Verification and Standardization of Security Protocols

Open access
Peltonen, Aleksi
Aalto University2023

Formal Verification of Safety Automation Logic Designs

Peer-reviewed
Open access
Valkonen, Janne; Koskimies, Matti; Björkman, Kim; Heljanko, Keijo; Niemelä, Ilkka; Hämäläinen, Jari
Suomen automaatioseura. Julkaisusarja2009

Formal Verification of Safety Automation Logic Designs

Peer-reviewed
Valkonen, Janne; Koskimies, Matti; Björkman, Kim; Heljanko, Keijo; Niemelä, Ilkka; Hämäläinen, Jari ...
-2009

Diagrammatic Languages and Formal Verification: A Tool-Based Approach

Open access
Masoumeh Parsa
-2022

Formal Verification of IEC 61499 Enhanced with Timed Events

Peer-reviewed
DOI
10.1007/978-3-030-45124-0_16
Shatrov, Viktor; Vyatkin, Valeriy
IFIP Advances in Information and Communication Technology2020

Formal verification of protection functions for power distribution networks

Peer-reviewed
DOI
10.1109/IECON.2018.8592802
Drozdov, Dmitrii; Patil, Sandeep; Yang, Chen-Wei; Zhabelova, Gulnara; Vyatkin, Valeriy
Proceedings of the Annual Conference of the IEEE Industrial Electronics Society2018

A Comparison of Formal Verification Approaches for IEC 61499

Peer-reviewed
DOI
10.1109/ETFA.2016.7733636
Blech, Jan Olaf; Lindgren, Per; Pereira, David; Vyatkin, Valeriy; Zoitl, Alois
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA2016

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Peer-reviewed
Open access
DOI
10.1007/978-3-030-58768-0_3
Fatima Shokri-Manninen; Jüri Vain; Marina Walden
Software Engineering and Formal Methods2020

Towards formal verification of smart grid distributed intelligence FREEDM case

Peer-reviewed
DOI
10.1109/IECON.2015.7392719
Patil, Sandeep; Zhabelova, Gulnara; Vyatkin, Valeriy; McMillin, Bruce
Proceedings of the Annual Conference of the IEEE Industrial Electronics Society2016

Formal Analysis and Verification of Peer-to-Peer Node Behaviour

Peer-reviewed
Sandvik, Petter; Sere, Kaisa
The Third International Conference on Advances in P2P Systems (AP2PS 2011)2011

Formal Verification and Standardization of Security Protocols

Open access
2023

Formal Verification of Safety Automation Logic Designs

Peer-reviewed
Open access
2009

Formal Verification of Safety Automation Logic Designs

Peer-reviewed
2009

Diagrammatic Languages and Formal Verification: A Tool-Based Approach

Open access
2022

Formal Verification of IEC 61499 Enhanced with Timed Events

Peer-reviewed
DOI
10.1007/978-3-030-45124-0_16
2020

Formal verification of protection functions for power distribution networks

Peer-reviewed
DOI
10.1109/IECON.2018.8592802
2018

A Comparison of Formal Verification Approaches for IEC 61499

Peer-reviewed
DOI
10.1109/ETFA.2016.7733636
2016

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

Peer-reviewed
Open access
DOI
10.1007/978-3-030-58768-0_3
2020

Towards formal verification of smart grid distributed intelligence FREEDM case

Peer-reviewed
DOI
10.1109/IECON.2015.7392719
2016

Formal Analysis and Verification of Peer-to-Peer Node Behaviour

Peer-reviewed
2011