ÐÓ°ÉÔ­´´

Skip to Content

Publications By Type

Table of Contents

1. Journal Articles
2. Conference Proceedings
3. Book Chapters
4. Technical Reports
5. Theses

Journal Articles

  1. David Kohout, Tomas Lieskovan, Petr Mlynek, Radek Fujdiak, and Jason Jaskolka. . IET Generation, Transmission & Distribution, 20(1):e70292, April 2026.
  2. Xinrui Zhang, Pincan Zhao, Rongxing Lu, Jason Jaskolka, and Suprio Ray. . IEEE Internet of Things Journal, 13(7):14390–14403, April 2026.
  3. Anastassia Gharib, Jason Jaskolka, Mohamed Ibnkahla, and Ashraf Matrawy. . ACM Computing Surveys, 58(3):1–39, February 2026.
  4. Xinrui Zhang, Pincan Zhao, Jason Jaskolka, Heng Li, and Rongxing Lu. . Empirical Software Engineering, 31:74, February 2026.
  5. Xinrui Zhang, Pincan Zhao, and Jason Jaskolka. . Journal of Systems and Software, 223:112331, May 2025.
  6. Quentin Rouland, Brahim Hamid, and Jason Jaskolka. . Journal of Systems and Software, 219:112219, January 2025.
  7. Jason Jaskolka, Brahim Hamid, and Sahar Kokaly. . IEEE Software, 39(4):22–26, July/August 2022.
  8. Andrew Le Clair, Jason Jaskolka, Wendy MacCaull, and Ridha Khedri. . Data & Knowledge Engineering, 140:102044, July 2022.
  9. Quentin Rouland, Brahim Hamid, and Jason Jaskolka. . Journal of Systems Architecture, 117:102073, August 2021.
  10. Quentin Rouland, Brahim Hamid, and Jason Jaskolka.  Future Generation Computer Systems, 108:178-197, July 2020.
  11. Maxime Buyse* and Jason Jaskolka.  Archive of Formal Proofs, p. 22, August 2019.
  12. Jason Jaskolka and John Villasenor.  IEEE Transactions on Reliability, 66(2):529-546, June 2017.
  13. Jason Jaskolka and Ridha Khedri. . Theoretical Computer Science, 643:1–37, August 2016.
  14. Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. . Journal of Ambient Intelligence and Humanized Computing, 6(4):425-451, August 2015.
  15. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. . Journal of Ambient Intelligence and Humanized Computing, 5(3):343-356, June 2014.

Conference Proceedings

  1. Alvi Jawad and Jason Jaskolka. . In Proceedings of the 12th International Conference on Dependable Systems and Their Applications, DSA 2025, pages 175–186, Sharjah, UAE, 2025
  2. Stojanche Gjorcheski and Jason Jaskolka. . In Proceedings of the AIAA DATC/IEEE 44th Digital Avionics Systems Conference, DASC 2025, pages 1–10, Montreal, QC, Canada, 2025
  3. Ali Farhat, Mohannad Abu Issa, Abdelrahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka, and Ashraf Matrawy. . In Proceedings of the 22nd International Multi-Conference on Systems, Signals & Devices, IEEE SSD 2025, pages 1–6, Monastir, Tunisia, 2025
  4. John Breton, Jason Jaskolka, and George O.M. Yee. . In Kamel Adi, Simon Bourdeau, Christel Durand, Valérie Viet Triem Tong, Alina Dulipovici, Yvon Kermarrec, and Joaquin Garcia-Alfaro, editors, Proceedings of the 17th International Symposium on Foundations & Practice of Security, FPS 2024, volume 15532 of Lecture Notes in Computer Science, pages 94–110, Montreal, QC, Canada, 2024
  5. Dylan Léveillé and Jason Jaskolka. . In Kamel Adi, Simon Bourdeau, Christel Durand, Valérie Viet Triem Tong, Alina Dulipovici, Yvon Kermarrec, and Joaquin Garcia-Alfaro, editors, Proceedings of the 17th International Symposium on Foundations & Practice of Security, FPS 2024, volume 15532 of Lecture Notes in Computer Science, pages 202–213, Montreal, QC, Canada, 2024
  6. Xinrui Zhang and Jason Jaskolka. . In Proceedings of the 31st Asia-Pacific Software Engineering Conference, APSEC 2024, pages 497–501, Chongqing, China, 2024.
  7. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka. . In Carlos Ordonez and Giancarlo Sperlì, Elio Masciari, and Ladjel Bellatreche, editors, Proceedings of the 13th International Conference on Model and Data Engineering, MEDI 2024, volume 15590 of Lecture Notes in Computer Science, pages 82-90, Naples, Italy, 2024.
  8. Loïc Thierry, Jason Jaskolka, and Brahim Hamid. . In Carlos Ordonez and Giancarlo Sperlì, Elio Masciari, and Ladjel Bellatreche, editors, Proceedings of the 13th International Conference on Model and Data Engineering, MEDI 2024, volume 15590 of Lecture Notes in Computer Science, pages 55-63, Naples, Italy, 2024.
  9. Xinrui Zhang, Pincan Zhao, and Jason Jaskolka. . In 23rd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024, pages 1632–1637, 2024.
  10. Loïc Thierry, Jason Jaskolka, and Brahim Hamid. . In Belgacem Ben Hedia, Mohamed Ghazel and Bruno Monsuez, editors, Proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, volume 15466 of Lecture Notes in Computer Science, pages 143-158, Djerba, Tunisia, 2024.
  11. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka. . In Carlos Ordonez and Giancarlo Sperlì, Elio Masciari, and Ladjel Bellatreche, editors, Proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, volume 15466 of Lecture Notes in Computer Science, pages 97-112, Djerba, Tunisia, 2024.
  12. Alvi Jawad and Jason Jaskolka. . In Proceedings of the 11th International Conference on Dependable Systems and Their Applications, DSA 2024, pages 86-95, Suzhou, China, 2024.
  13. Luke Newton, Jason Jaskolka, Quentin Rouland, and Brahim Hamid. . In Proceedings of the 2024 Resilience Week Symposium, pages 1-10, Austin, TX, USA, 2024.
  14. Alvi Jawad, Hala Assal, and Jason Jaskolka. . In Proceedings of the 2024 European Symposium on Usable Security, EuroUSEC 2024, pages 172-186, Karlstad, Sweden, 2024.
  15. Dylan Léveillé and Jason Jaskolka. . In Antonios Achilleos and Andrian Francalanza, editors, Proceedings of the 15th International Symposium on Games, Automata, Logics and Formal Verification, volume 409 of Electronic Proceedings in Theoretical Computer Science, pages 103–119. Open Publishing Association, Reykjavi, Iceland, 2024.
  16. Robin Theveniaut, Brahim Hamid, and Jason Jaskolka. . In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2024, pages 108-117, Sacramento, CA, USA, 2024.
  17. Alvi Jawad, Zoe Arnott, and Jason Jaskolka. . In Proceedings of the 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024, pages 388-399, Cambridge, UK, 2024. (Winner of the Best Paper Award)
  18. Nilofar Mansourzadeh, Anil Somayaji, and Jason Jaskolka. . In Proceedings of the 19th Annual Symposium on Information Assurance, ASIA 2024 , pages 121–129, Albany, NY, USA, 2024.
  19. John Breton, Jason Jaskolka, and George O.M. Yee. . In Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens and Joaquin Garcia-Alfaro, editors, Proceedings of the 16th International Symposium on Foundations & Practice of Security, FPS 2023, volume 14551 of Lecture Notes in Computer Science, pages 391-407, Bordeaux, France, 2024.
  20. Quentin Rouland, Stojanche Gjorcheski, and Jason Jaskolka.  In Proceedings of the 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C, pages 186–195, Chiang Mai, Thailand, 2023.
  21. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka. . In Proceedings of the 30th Conference on Pattern Languages of Programs, PLoP 2023, pages 1-18, 2023.
  22. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka. . In Proceedings of the 28th European Conference on Pattern Languages of Programs, EuroPLoP 2023, pages 1-12, 2023.
  23. James Baak, Quentin Rouland, and Jason Jaskolka. . In Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, and Faiez Gargouri, editors, Proceedings of the 12th International Conference on Model and Data Engineering, MEDI 2023, volume 14396 of Lecture Notes in Computer Science, pages 15-29, Sousse, Tunisia, 2023.
  24. Loïc Thierry, Jason Jaskolka, Brahim Hamid, and Jean-Paul Bodeveix. . In Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, ICECSS 2023, pages 157–166, Toulouse, France, 2023.
  25. Alvi Jawad and Jason Jaskolka. . In Proceedings of the 10th International Conference on Dependable Systems and Their Applications, DSA 2023, pages 272–281, Tokyo, Japan, 2023.
  26. Quentin Rouland, Stojanche Gjorcheski, and Jason Jaskolka.  In Proceedings of the 2023 IEEE 31st International Requirements Engineering Conference Workshops, REW, pages 224–229, Hannover, Germany, 2023.
  27. Mohannad Abu Issa, Abdelrahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka, and Ashraf Matrawy.  In Proceedings of the 2023 IEEE Sensors Applications Symposium, SAS, pages 1–6, Ottawa, ON, Canada, 2023.
  28. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka. . In Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, and Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, volume 14182 of Lecture Notes in Computer Science, pages 15–25, Toulouse, France, 2023.
  29. Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, and Jason Jaskolka. . In Proceedings of the 2023 IEEE 20th International Conference on Software Architecture Companion, ICSA-C 2023, pages 151–158, L’Aquila, Italy, 2023.
  30. Sanaa Alwidian and Jason Jaskolka. . In Alessio Ferrari and Birgit Penzenstadler, editors, Proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, volume 13975 of Lecture Notes in Computer Science, pages 65-74, Barcelona, Spain, 2023.
  31. Alvi Jawad and Jason Jaskolka. . In Guy-Vincent Jourdan, Laurent Mounier, Carlisle Adams, Florence Sèdes, and Joaquin Garcia-Alfaro, editors, Proceedings of the 15th International Symposium on Foundations & Practice of Security, FPS 2022, volume 13877 of Lecture Notes in Computer Science, pages 198-216, Ottawa, ON, Canada, 2023.
  32. Xinrui Zhang and Jason Jaskolka. . In Proceedings of the 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022, pages 127-138, 2022.
  33. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka. . In Proceedings of the 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2022, pages 1575-1580, 2022.
  34. Jason Jaskolka and Brahim Hamid. . In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, pages 1-8, Rochester, MI, USA, 2022.
  35. Brahim Hamid and Jason Jaskolka. . In Maryam Mehrnezhad and Simon Parkin, editors, Socio-Technical Aspects in Security, STAST 2022, volume 13855 of Lecture Notes in Computer Science, pages 1–13, Copenhagen, Denmark, 2022.
  36. Jediael Mendoza, Jason Mycroft, Lyam Milbury, Nafiseh Kahani, and Jason Jaskolka. . In Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering, PROMISE 2022, pages 72-81, Singapore, 2022.
  37. Xinrui Zhang and Jason Jaskolka. . In Proceedings of the 27th European Conference on Pattern Languages of Programs, EuroPLoP 2022, pages 1-12, 2022.
  38. Sajib Kumar Kuri, Tarim Islam, Jason Jaskolka, and Mohamed Ibnkahla. . In Proceedings of the 2022 IEEE 95th Vehicular Technology Conference, VTC-Spring 2022, pages 1-5, Helsinki, Finland, 2022.
  39. Alvi Jawad, Luke Newton, Ashraf Matrawy, and Jason Jaskolka. . In Proceedings of the 2022 IEEE International Conference on Communications, IEEE ICC 2022, pages 2206-2211, Seoul, South Korea, 2022.
  40. Bohdana Sereda and Jason Jaskolka. . In Elhadi Shakshuki and Muhammad Younas, editors, Proceedings of the 13th International Conference on Ambient Systems, Networks and Technologies, volume 201C of Procedia Computer Science, ANT 2022, pages 281-288, Porto, Portugal, 2022.
  41. Alvi Jawad and Jason Jaskolka. . In Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security, QRS 2021, pages 966-977, Hainan Island, China, 2021.
  42. Joe Samuel, Jason Jaskolka, and George O.M. Yee. . In Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security, QRS 2021, page 8-17, Hainan Island, China, 2021.
  43. Jason Jaskolka, Brahim Hamid, Alvi Jawad, and Joe Samuel. . In Proceedings of the 28th Conference on Pattern Languages of Programs, PLoP 2021, pages 1-12, 2021.
  44. Jason Jaskolka, Brahim Hamid, Alvi Jawad, and Joe Samuel. . In Proceedings of the 26th European Conference on Pattern Languages of Programs, EuroPLoP 2021, pages 1-10, Graz, Austria, 2021.
  45. Luke Newton and Jason Jaskolka. . In Proceedings of the 2021 Resilience Week Symposium, pages 1-8, Salt Lake City, UT, USA, 2021.
  46. Alvi Jawad and Jason Jaskolka. . In Proceedings of the 2021 Annual Modeling and Simulation Conference, ANNSIM 2021, pages 1–12, Fairfax, VA, USA, 2021.
  47. Joe Samuel, Jason Jaskolka, and George O.M. Yee. . In Proceedings of the 2021 Reconciling Data Analytics, Automation, Privacy, and Security: A Big Data Challenge, RDAAPS 2021, pages 1–8, Hamilton, ON, Canada, 2021.
  48. Joe Samuel, Khalil Aalab, and Jason Jaskolka. . In Proceedings of the 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, IEEE TrustCom 2020, pages 442–449, Guangzhou, China, 2020.
  49. Jason Jaskolka. . In Sokratis Katsikas et al., editors, Computer Security. CyberICPS 2020, SECPRE 2020, ADIoT 2020, volume 12501 of Lecture Notes in Computer Science, pages 34–51, Guildford, UK, 2020. Springer, Cham.
  50. Quentin Rouland, Brahim Hamid, and Jason Jaskolka. . In Sihem Ben Sassi, Stéphane Ducasse, and Hafedh Mili, editors, Reuse in Emerging Software Engineering Practices, Proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, volume 12541 of Lecture Notes in Computer Science, pages 52–68, Hammamet, Tunisia, December 2020. Springer International Publishing. (Winner of the Best Paper Award)
  51. Thomas Sattolo and Jason Jaskolka. . In Marko Hölbl, Kai Rannenberg, and Tatjana Welzer, editors, Proceedings of the 35th International Conference on ICT Systems Security and Privacy Protection, IFIP SEC 2020, volume 580 of IFIP Advances in Information and Communication Technology, pages 17–31, Maribor, Slovenia, September 2020. Springer, Cham.
  52. Jason Jaskolka. . In Kohei Arai, Supriya Kapoor, and Rahul Bhatia, editors, Intelligent Computing, SAI 2020, volume 1230 of Advances in Intelligent Systems and Computing, pages 511–531. London, UK, 2020. Springer, Cham.
  53. Brahim Hamid, Quentin Rouland, and Jason Jaskolka. . In Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, pages 217-226, Kyoto, Japan, December 2019.
  54. Quentin Rouland, Brahim Hamid, and Jason Jaskolka. . In El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, and Carlos Ordonez, editors, Proceedings of the 8th International Conference on Model and Data Engineering, MEDI 2018, volume 11163 of Lecture Notes in Computer Science, pages 198-216, Marrakesh, Morocco, October 2018.
  55. Jason Jaskolka. . In Proceedings of the 18th annual IEEE Canada Electrical Power and Energy Conference, EPEC 2018, Toronto, ON, Canada, 2018.
  56. Jason Jaskolka and John Villasenor. . In Proceedings of the 50th Hawaii International Conference on System Sciences, HICSS-50, pages 5988–5997, Hilton Waikoloa Village, HI, U.S.A., January 2017.
  57. Jason Jaskolka, Wendy MacCaull, and Ridha Khedri. . In Proceedings of the 2015 International Conference on Computational Science and Computational Intelligence, CSCI 2015, pages 132–135, Las Vegas, NV, U.S.A., December 2015.
  58. Jason Jaskolka and Ridha Khedri. . In Elhadi Shakshuki, editor, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies, volume 52 of Procedia Computer Science, ANT 2015 and SEIT 2015, pages 318–225, London, UK, June 2015.
  59. Jason Jaskolka and Ridha Khedri. . In Adriano Peron and Carla Piazza, editors, Proceedings of the 5th International Symposium on Games, Automata, Logics and Formal Verification, volume 161 of Electronic Proceedings in Theoretical Computer Science, pages 161-174. Open Publishing Association, Verona, Italy, September 2014.
  60. Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. . In Proceedings of the 9th International Conference on Future Networks and Communications, volume 34 of Procedia Computer Science, FNC 2014 and MobiSPC 2014, pages 276–285, Niagara Falls, ON, Canada, August 2014. (Invited Paper).
  61. Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. . In Proceedings of the 9th International Conference on Future Networks and Communications, volume 34 of Procedia Computer Science, FNC 2014 and MobiSPC 2014, pages 266–275, Niagara Falls, ON, Canada, August 2014. (Invited Paper).
  62. Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. . In Peter Höfner, Peter Jipsen, Wolfram Kahl, and Martin E. Müller, editors, Proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, volume 8428 of Lecture Notes in Computer Science, pages 19-36. Springer International Publishing Switzerland, Marienstatt, Germany, April 2014.
  63. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. . In George Eleftherakis, Mike Hinchey, and Mike Holcombe, editors, Proceedings of the 10th International Conference on Software Engineering and Formal Methods, volume 7504 of Lecture Notes in Computer Science, pages 109–125. Springer Berlin/Heidelberg, Thessaloniki, Greece, October 2012.
  64. Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. . In Elhadi Shakshuki and Muhammad Younas, editors, Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies, volume 10 of Procedia Computer Science, ANT 2012 and MobiWIS 2012, pages 458–465, Niagara Falls, ON, Canada, August 2012.
  65. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. . In Elhadi Shakshuki and Muhammad Younas, editors, Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies, volume 10 of Procedia Computer Science, ANT 2012 and MobiWIS 2012, pages 482–489, Niagara Falls, ON, Canada, August 2012.
  66. Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. . In Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW7, pages 1–4, Oak Ridge, TN, U.S.A., October 2011.
  67. Jason Jaskolka and Ridha Khedri. . In Proceedings of the 44th Hawaii International Conference on System Sciences, HICSS-44, pages 1–10, Koloa, Kauai, HI, U.S.A., January 2011.
  68. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. . In Gilbert Babin, Peter Kropf, and Michael Weiss, editors, Proceedings of the 4th International MCETECH Conference on e-Technologies, volume 26 of Lecture Notes in Business Information Processing, pages 252–266, Ottawa, ON, Canada, May 2009. (Nominated for the Best Paper Award)
  69. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. . In Proceedings of the International Conference on Computer, Electrical, and Systems Science, and Engineering, volume 35 of CESSE 2008, pages 447–454, Venice, Italy, October 2008.

Book Chapters

  1. Monika Bialy, Vera Pantelic, Jason Jaskolka, Alexander Schaap, Lucian Patcas, Mark Lawford, and Alan Wassyng. Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems, Chapter 3: , pages 39-64. Elsevier, First Edition, October 2016.
  2. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. Advanced Technologies, Chapter 13: , pages 224-250. IN-TECH, October 2009.

Technical Reports

  1. Jason Jaskolka. Assurance cases for security and resilience of advanced metering infrastructure. Technical Report Prepared for Natural Resources Canada, March, 2018.
  2. Jason Jaskolka and John Villasenor. . NMIO Technical Bulletin 12:4-6, June 2017.
  3. Monika Bialy, Jacques Carette, Lane Gibson, Jason Jaskolka, Mark Lawford, Bennett Mackenzie, Tom Maibaum, Archana Mallya, Gordon Marks, Vera Pantelic, Alexander Schaap, Syed Asim Shah, and Alan Wassyng. Phase 1 Quarterly Report 8 on APC LEAP – Embedded Software Project. Technical Report, McMaster Centre for Software Certification, Hamilton, ON, Canada, December 2015.
  4. Jason Jaskolka, Wendy MacCaull, and Ridha Khedri. Towards an Architectural Framework for Systematically Designing Ontologies. Technical Report CAS-15-09-RK, McMaster University, Hamilton, ON, Canada, November 2015.
  5. Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. Foundations of Communicating Concurrent Kleene Algebra. Technical Report CAS-13-07-RK, McMaster University, Hamilton, ON, Canada, November 2013.
  6. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification. Technical Report CAS-11-08-RK, McMaster University, Hamilton, ON, Canada, November 2011.
  7. Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. Information Leakage via Protocol-Based Covert Channels: Detection, Automation, and Applications. Technical Report CAS-11-05-RK, McMaster University, Hamilton, ON, Canada, August 2011.
  8. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. Automated Verification of Information Flow in Agent-Based Systems. Technical Report CAS-09-01-RK, McMaster University, Hamilton, ON, Canada, January 2009.

Theses

  1. Jason Jaskolka. . Ph.D. thesis, McMaster University, Hamilton, ON, Canada. March 2015.
  2. Jason Jaskolka. . Master’s thesis, McMaster University, Hamilton, ON, Canada. September 2010.

This site uses cookies to offer you a better browsing experience. Find out more on how we use cookies and how you can change your settings.