2020

1. John Hughes. 2020. How to Specify it! In 20th International Symposium, Trends in Functional Programming 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers (TFP 2019). Eds: William J. Bowman, Ronald Garcia. Springer Lecture Notes in Computer Science, Vol. 12053. DOI: https://doi.org/10.1007/978-3-030-47147-7_4.
2. Ashfaq Farooqui, Fredrik Hagebring, Martin Fabian. 2020. Active Learning of Modular Plant Models. To appear in Proc. 15th Workshop on Discrete Event Systems (WODES 2020), Brazil, November.
3. Fredrik Hagebring, Ashfaq Farooqui, Martin Fabian. 2020. Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning. To appear in Proc. 15th Workshop on Discrete Event Systems (WODES 2020), Brazil, November.
4. Zahra Ramezani, Johan Lidén Eddeland, Koen Claessen, Martin Fabian, Knut Åkesson. 2020. Multiple Objective Functions for Falsification of Cyber-Physical Systems. To appear in Proc. 15th Workshop on Discrete Event Systems (WODES 2020), Brazil, November.
5. Lennartson, B. ; Jia, Q.S. 2020. Reinforcement learning with temporal logic constraints. To appear in Proc. 15th International Workshop on Discrete Event Systems (WODES’20), Brazil, November. 
6. Lennartson, B. ; Liang, X. ; Noori-Hosseini, M. 2020. Efficient temporal logic verification by incremental abstraction. To appear in  Proc. 16th IEEE Conference on Automation Science and Engineering (CASE 2020), Hongkong, August.
   
7. Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson. 2020. Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. https://research.chalmers.se/en/publication/517408 
8. Johan Lidén Eddeland, Sajed Miremadi, and Knut Åkesson. 2020. Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. Accepted for the 7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH). July 2020.
9. Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, and Knut Åkesson. 2020. Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. Accepted for the 7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH). July 2020.

2019

1. Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson. 2019. Evaluating Two Semantics for Falsification using an Autonomous Driving Example. IEEE International Conference on Industrial Informatics, INDIN’19 Industrial Applications of Artificial Intelligence, Helsinki-Espoo, Finland, 2019-07-22 – 2019-12-25 https://research.chalmers.se/publication/514516 
2. Adnan Khan, David Thönnessen, Martin Fabian. 2019. On-the-fly conformance testing of safety PLC code using QuickCheck. 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki-Espoo, Finland, 2019-07-22 – 2019-07-25 https://research.chalmers.se/publication/515479
3. Adnan Khan, Martin Fabian. 2019. On the Safe IOCOS relation for Testing Safety PLC Code. 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, 2019-09-10 – 2019-09-13 https://research.chalmers.se/publication/515482
4. Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson. 2019. Comparative Case Studies of Reactive Synthesis and Supervisory Control. 18th European Control Conference (ECC), Neapel, Italy, https://research.chalmers.se/publication/513462 
5. Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone. 2019. Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. 8th SIGPLAN International Workshop on Functional High-Performance and Numerical Computing (FHPNC), Berlin, Germany. https://dl.acm.org/doi/pdf/10.1145/3331553.3342616
6. David Thönnessen, Nicholas Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski. 2019. Testing Safety PLCs using QuickCheck. IEEE 15th International Conference on Automation Science and Engineering (CASE), Vancouver, Canada. https://research.chalmers.se/publication/512853

2018

1. Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang. 2018. Understanding formal specifications through good examples. In Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang (Erlang 2018). Association for Computing Machinery, New York, NY, USA, 13–24. DOI:https://doi.org/10.1145/3239332.3242763
2. Agustín Mista, Alejandro Russo, and John Hughes. 2018. Branching processes for QuickCheck generators. In Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell (Haskell 2018). Association for Computing Machinery, New York, NY, USA, 1–13. DOI:https://doi.org/10.1145/3242744.3242747
3. Adnan Khan, Martin Dahl, Petter Falkman, Martin Fabian. 2018. Digital Twin for Legacy Systems: Simulation Model Testing and Validation. 14th IEEE International Conference on Automation Science and Engineering, 2018, Munich, Germany, 2018-08-20 – 2018-08-24 https://research.chalmers.se/publication/509423
4. Lennartson, B. ; Noori-Hosseini, M. 2018. Visible bisimulation equivalence – A unified abstraction for temporal logic verification. Proc. 14th International Workshop on Discrete Event Systems (WODES’18), Sorrento Coast, Italy, May. https://research.chalmers.se/publication/504406 
5. Noori-Hosseini, M. ; Lennartson, B. ; Hadjicostis, C. 2018. Compositional visible bisimulation abstraction applied to opacity verification. Proc. 14th International Workshop on Discrete Event Systems (WODES’18), Sorrento Coast, Italy, May. https://research.chalmers.se/publication/504407 
6. Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi. 2018. Applying valued booleans in testing of cyber-physical systems. 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018 Porto, Portugal, 2018-04-10. https://research.chalmers.se/publication/509558
7. Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson. 2018. Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems. 14th IFAC International Workshop on Discrete Event Systems (WODES), Italy, 2018-05-30 – 2018-06-01. https://research.chalmers.se/publication/504400
8. Koen Claessen, Nicholas Smallbone. 2018. Efficient encodings of first-order Horn formulas in equational logic. 9th International Joint Conference on Automated Reasoning (IJCAR), Oxford, UK, 2018-07-14 – 2018-07-17. https://research.chalmers.se/publication/504180
9. Koen Claessen, Nicholas Smallbone, Johan Eddeland, Zahra Ramezani, Knut Åkesson. Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems. 14th IFAC Workshop on Discrete Event Systems (WODES). https://research.chalmers.se/publication/504400
10. Jonas Krook, Anton Zita, Roozbeh Kianfar, Sahar Mohajerani, Martin Fabian. Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle. 14th IFAC Workshop on Discrete Event Systems (WODES). https://research.chalmers.se/publication/504401

2017