Displaying results 1 - 10 / 11
results / page
What publication information is included in the service?
Publication name
Authors
Publication channel
Year

Unified Search for Multi-requirement Falsification for Cyber-Physical Systems

Peer-reviewed
DOI
10.1109/ICSTW64639.2025.10962525
Jesper Winsten; Ivan Porres
2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW...2025

Building on shaky foundations?:Lack of falsification and knowledge contestation in IS theories, methods, and practices

Peer-reviewed
Open access
DOI
10.1080/0960085X.2019.1685737
Salovaara, Antti; Upreti, Bikesh Raj; Nykänen, Jussi Ilmari; Merikivi, Jani
European journal of information systems2019

ARCH-COMP 2024 Category Report: Falsification

Peer-reviewed
Open access
DOI
10.29007/hgfv
Tanmay Khandait; Federico Formica; Paolo Arcaini; Surdeep Chotaliya; Georgios Fainekos; Abdelrahman ...
Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems ...2024

ARCH-COMP 2023 Category Report: Falsification

Peer-reviewed
Open access
DOI
10.29007/6nqs
Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; S...
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems ...2023

Requirement falsification for cyber-physical systems using generative models

Peer-reviewed
Open access
DOI
10.1007/s10515-025-00503-x
Jarkko Peltomäki; Ivan Porres
Automated Software Engineering2025

Case Study: Finland

Open access
Parppei Kati
NATO STRATCOM COE2020

IS research progress would benefit from increased falsification of existing theories

Peer-reviewed
Salovaara, Antti; Merikivi, Jani
European Conference on Information Systems (ECIS)2015

IS research progress would benefit from increased falsification of existing theories

Peer-reviewed
Salovaara, Antti; Merikivi, Jani
Association for Information Systems2014

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Peer-reviewed
Open access
DOI
10.1109/ICSTW55395.2022.00018
Jarkko Peltomäki; Ivan Porres
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW...2022

Commentary: Reproducibility in Psychological Science: When Do Psychological Phenomena Exist?

Peer-reviewed
Open access
DOI
10.3389/fpsyg.2017.01004
Heino, Matti T. J.; Fried, Eiko I.; LeBel, Etienne P.
Frontiers in psychology2017

Unified Search for Multi-requirement Falsification for Cyber-Physical Systems

Peer-reviewed
DOI
10.1109/ICSTW64639.2025.10962525
2025

Building on shaky foundations?:Lack of falsification and knowledge contestation in IS theories, methods, and practices

Peer-reviewed
Open access
DOI
10.1080/0960085X.2019.1685737
2019

ARCH-COMP 2024 Category Report: Falsification

Peer-reviewed
Open access
DOI
10.29007/hgfv
2024

ARCH-COMP 2023 Category Report: Falsification

Peer-reviewed
Open access
DOI
10.29007/6nqs
2023

Requirement falsification for cyber-physical systems using generative models

Peer-reviewed
Open access
DOI
10.1007/s10515-025-00503-x
2025

Case Study: Finland

Open access
2020

IS research progress would benefit from increased falsification of existing theories

Peer-reviewed
2015

IS research progress would benefit from increased falsification of existing theories

Peer-reviewed
2014

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Peer-reviewed
Open access
DOI
10.1109/ICSTW55395.2022.00018
2022

Commentary: Reproducibility in Psychological Science: When Do Psychological Phenomena Exist?

Peer-reviewed
Open access
DOI
10.3389/fpsyg.2017.01004
2017