Abbasi, Rosa, and Eva Darulova. 2023. “Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.” In *Static Analysis
Abbasi, Rosa, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, and Wolfgang Ahrendt. 2021. “Deductive Verification of Floating-Point Java Programs in Key.” In Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, edited by Jan Friso Groote and Kim Guldstrand Larsen, 12652:242–61. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-72013-1\_13.
———. 2023. “Combining Rule- and Smt-Based Reasoning for Verifying Floating-Point Java Programs in Key.” Int. J. Softw. Tools Technol. Transf. 25 (2): 185–204. https://doi.org/10.1007/S10009-022-00691-X.
Ahmad, Awais, Shweta Premanandan, Åsa Cajander, Ulrica Langegård, and Ylva Tiblom Ehrsson. 2024. “A Qualitative Study with Informal Caregivers and Healthcare Professionals for Individuals with Head and Neck Cancer on the Usage of AI Chatbots.” In Digital Health and Informatics Innovations for Sustainable Health Care Systems - Proceedings of MIE 2024, Athens, Greece, 25-29 August 2024, edited by John Mantas, Arie Hasman, George Demiris, Kaija Saranto, Michael Marschollek, Theodoros N. Arvanitis, Ivana Ognjanovic, et al., 316:751–55. Studies in Health Technology and Informatics. IOS Press. https://doi.org/10.3233/SHTI240522.
Ahmed, Eslam, Rim Fares, Ali Ibrahim, and Sofia Ouhbi. 2022. “An Analysis of Gamified Mobile Applications to Educate Children About Astronomy.” In IEEE Global Engineering Education Conference, EDUCON 2022, Tunis, Tunisia, March 28-31, 2022, edited by Ilhem Kallel, Habib M. Kammoun, and Lobna Hsairi, 532–36. IEEE. https://doi.org/10.1109/EDUCON52537.2022.9766712.
Åkerblom, Beatrice, and Elias Castegren. 2024a. “Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM.” Art Sci. Eng. Program. 8 (3). https://doi.org/10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/14.
———. 2024b. “Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM.” CoRR abs/2403.02416. https://doi.org/10.48550/ARXIV.2403.02416.
Åkerblom, Beatrice, Elias Castegren, and Tobias Wrigstad. 2018. “Parallel Programming with Arrays in Kappa.” In Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Array@PLDI 2018, Philadelphia, Pa, Usa, June 19, 2018, edited by Sven-Bodo Scholz and Olin Shivers, 24–33. ACM. https://doi.org/10.1145/3219753.3219757.
———. 2019a. “Progress Report: Exploring API Design for Capabilities for Programming with Arrays.” In ICOOOLPS ’19: Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, London, Uk, 19 July 2019, 3:1–3:8. ACM. https://doi.org/10.1145/3340670.3342427.
———. 2019b. “Reference Capabilities for Safe Parallel Array Programming.” CoRR abs/1905.13716. http://arxiv.org/abs/1905.13716.
———. 2020. “Reference Capabilities for Safe Parallel Array Programming.” Art Sci. Eng. Program. 4 (1): 1. https://doi.org/10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/1.
Åkerblom, Beatrice, Jonathan Stendahl, Mattias Tumlin, and Tobias Wrigstad. 2014. “Tracing Dynamic Features in Python Programs.” In 11th Working Conference on Mining Software Repositories, MSR 2014, Proceedings, May 31 - June 1, 2014, Hyderabad, India, edited by Premkumar T. Devanbu, Sung Kim, and Martin Pinzger, 292–95. ACM. https://doi.org/10.1145/2597073.2597103.
Åkerblom, Beatrice, and Tobias Wrigstad. 2015. “Measuring Polymorphism in Python Programs.” In Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, Part of SPLASH 2015, Pittsburgh, Pa, Usa, October 25-30, 2015, edited by Manuel Serrano, 114–28. ACM. https://doi.org/10.1145/2816707.2816717.
Alaghi, Armin, Eva Darulova, Andreas Gerstlauer, and Phillip Stanley-Marbell. 2022. “Introduction to the Special Issue on Approximate Systems.” ACM Trans. Design Autom. Electr. Syst. 27 (2): 10:1–10:2. https://doi.org/10.1145/3488726.
Albert, Elvira, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, and Tobias Wrigstad.
Alnaqbi, Fatema, Sarah Alzahmi, Ayesha Alharmoozi, Fatema Alshehhi, Muhammad Talha Zia, Sofia Ouhbi, and Abdelkader Nasreddine Belkacem.
Al-Nuaimi, Fatima Ali, Rauda Jasem Al-Nuaimi, Sara Saaed Al-Dhaheri, Sofia Ouhbi, and Abdelkader Nasreddine Belkacem. 2020. “Mind Drone Chasing Using Eeg-Based Brain Computer Interface.” In 16th International Conference on Intelligent Environments, IE 2020, Madrid, Spain, July 20-23, 2020, 74–79. IEEE. https://doi.org/10.1109/IE49459.2020.9154926.
Armstrong, Alasdair, Georg Struth, and Tjark Weber. 2013a. “Kleene Algebra.” Arch. Formal Proofs 2013. https://www.isa-afp.org/entries/Kleene\_Algebra.shtml.
———. 2013b. “Program Analysis and Verification Based on Kleene Algebra in Isabelle/Hol.” In Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, edited by Sandrine Blazy, Christine Paulin-Mohring, and David Pichardie, 7998:197–212. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-39634-2\_16.
———. 2014. “Programming and Automating Mathematics in the Tarski-Kleene Hierarchy.” J. Log. Algebraic Methods Program. 83 (2): 87–102. https://doi.org/10.1016/J.JLAP.2014.02.001.
Aronsson, Martin, and Lars-Henrik Eriksson. 1991. “The GCLA II Programming Language.” In Processing Declarative Knowledge, International Workshop Pdk’91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, edited by Harold Boley and Michael M. Richter, 567:399–401. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/BFB0013546.
Aronsson, Martin, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, and Peter Olin. 1989. “GCLA: Generalized Horn Clauses as a Programming Language.” In Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings of the 2nd Scai, Tampere, Finland, June 12-15, 1989, edited by Hannu Jaakkola and Seppo Linnainmaa, 4:873–87. Frontiers in Artificial Intelligence and Applications. IOS Press.
———. 1990. “The Programming Language GCLA - A Definitional Approach to Logic Programming.” New Gener. Comput. 7 (4): 381–404. https://doi.org/10.1007/BF03037453.
Aronsson, Martin, Lars-Henrik Eriksson, Lars Hallnäs, and Per Kreuger.
Arvidsson, Ellen, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad. 2023a. “Reference Capabilities for Flexible Memory Management.” Proc. ACM Program. Lang. 7 (OOPSLA2): 1363–93. https://doi.org/10.1145/3622846.
———. 2023b. “Reference Capabilities for Flexible Memory Management: Extended Version.” CoRR abs/2309.02983. https://doi.org/10.48550/ARXIV.2309.02983.
Augusto, Juan Carlos, and Sofia Ouhbi. 2019. “9th International Workshop on Intelligent Environments Supporting Healthcare and Well-Being (Wishwell’19).” In Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments, Rabat, Morocco, 24-27 June 2019, edited by Andrés Muñoz, Sofia Ouhbi, Wolfgang Minker, Loubna Echabbi, and Miguel Navarro-Cı́a, 26:293–94. Ambient Intelligence and Smart Environments. IOS Press. https://doi.org/10.3233/AISE190055.
Baltopoulos, Ioannis G., Johannes Borgström, and Andrew D. Gordon. 2011. “Maintaining Database Integrity with Refinement Types.” In ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings, edited by Mira Mezini, 6813:484–509. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-22655-7\_23.
Bard, Joachim, Heiko Becker, and Eva Darulova. 2019. “Formally Verified Roundoff Errors Using Smt-Based Certificates and Subdivisions.” In Formal Methods - the Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek, Annabelle McIver, and José N. Oliveira, 11800:38–44. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-30942-8\_4.
Bartocci, Ezio, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, et al. 2019. “TOOLympics 2019: An Overview of Competitions in Formal Methods.” In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: Toolympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:3–24. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-17502-3\_1.
Batty, Mark, Scott Owens, Susmit Sarkar, Peter Sewell, and Tjark Weber.
Becker, Heiko, Nathaniel Bos, Ivan Gavran, Eva Darulova, and Rupak Majumdar. 2021a. “Lassie: HOL4 Tactics by Example.” In CPP ’21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021, edited by Catalin Hritcu and Andrei Popescu, 212–23. ACM. https://doi.org/10.1145/3437992.3439925.
———. 2021b. “Lassie: HOL4 Tactics by Example.” CoRR abs/2101.00930. https://arxiv.org/abs/2101.00930.
Becker, Heiko, Eva Darulova, and Magnus O. Myreen. 2017. “A Verified Certificate Checker for Floating-Point Error Bounds.” CoRR abs/1707.02115. http://arxiv.org/abs/1707.02115.
Becker, Heiko, Eva Darulova, Magnus O. Myreen, and Zachary Tatlock.
Becker, Heiko, Pavel Panchekha, Eva Darulova, and Zachary Tatlock. 2018a. “Combining Tools for Optimization and Analysis of Floating-Point Computations.” In Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-17, 2018, Proceedings, edited by Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik P. de Vink, 10951:355–63. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-95582-7\_21.
———. 2018b. “Combining Tools for Optimization and Analysis of Floating-Point Computations.” CoRR abs/1805.02436. http://arxiv.org/abs/1805.02436.
Becker, Heiko, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, and Anthony C. J. Fox. 2022a. “Verified Compilation and Optimization of Floating-Point Programs in Cakeml.” In 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany, edited by Karim Ali and Jan Vitek, 222:1:1–1:28. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ECOOP.2022.1.
———. 2022b. “Verified Compilation and Optimization of Floating-Point Programs in Cakeml (Artifact).” Dagstuhl Artifacts Ser. 8 (2): 10:1–10:2. https://doi.org/10.4230/DARTS.8.2.10.
Becker, Heiko, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, and Jean-Baptiste Jeannin. 2022a. “Dandelion: Certified Approximations of Elementary Functions.” In 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel, edited by June Andronick and Leonardo de Moura, 237:6:1–6:19. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITP.2022.6.
———. 2022b. “Dandelion: Certified Approximations of Elementary Functions.” CoRR abs/2202.05472. https://arxiv.org/abs/2202.05472.
Becker, Heiko, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, and Anthony C. J. Fox. 2018. “A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.” In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, Tx, Usa, October 30 - November 2, 2018, edited by Nikolaj S. Bjørner and Arie Gurfinkel, 1–10. IEEE. https://doi.org/10.23919/FMCAD.2018.8603019.
Belkacem, Abdelkader Nasreddine, Sofia Ouhbi, Abderrahmane Lakas, Elhadj Benkhelifa, and Chao Chen. 2020. “End-to-End Ai-Based Point-of-Care Diagnosis System for Classifying Respiratory Illnesses and Early Detection of COVID-19.” CoRR abs/2006.15469. https://arxiv.org/abs/2006.15469.
Bengtson, Jesper, Joachim Parrow, and Tjark Weber. 2016. “Psi-Calculi in Isabelle.” J. Autom. Reason. 56 (1): 1–47. https://doi.org/10.1007/S10817-015-9336-2.
Bergenti, Federico, Elias Castegren, Joeri De Koster, and Juliana Franco, eds. 2019. Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Agere!@SPLASH 2019, Athens, Greece, October 22, 2019. ACM. https://doi.org/10.1145/3358499.
Bergström, Axel, and Tjark Weber. 2024. “Verified QBF Solving.” Arch. Formal Proofs 2024. https://www.isa-afp.org/entries/QBF\_Solver\_Verification.html.
Bhat, Sooraj, Johannes Borgström, Andrew D. Gordon, and Claudio V. Russo. 2013. “Deriving Probability Density Functions from Probabilistic Functional Programs.” In Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, edited by Nir Piterman and Scott A. Smolka, 7795:508–22. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-36742-7\_35.
———. 2017a. “Deriving Probability Density Functions from Probabilistic Functional Programs.” Log. Methods Comput. Sci. 13 (2). https://doi.org/10.23638/LMCS-13(2:16)2017.
———. 2017b. “Deriving Probability Density Functions from Probabilistic Functional Programs.” CoRR abs/1704.00917. http://arxiv.org/abs/1704.00917.
Blanchette, Jasmin Christian, Tjark Weber, Mark Batty, Scott Owens, and Susmit Sarkar. 2011. “Nitpicking C++ Concurrency.” In Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, edited by Peter Schneider-Kamp and Michael Hanus, 113–24. ACM. https://doi.org/10.1145/2003476.2003493.
Blessing, Sebastian, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad. 2019. “Run, Actor, Run: Towards Cross-Actor Language Benchmarking.” In Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Agere!@SPLASH 2019, Athens, Greece, October 22, 2019, edited by Federico Bergenti, Elias Castegren, Joeri De Koster, and Juliana Franco, 41–50. ACM. https://doi.org/10.1145/3358499.3361224.
Bloom, Bard, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, and Tobias Wrigstad. 2009a. “Thorn: Robust, Concurrent, Extensible Scripting on the JVM.” In Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, edited by Shail Arora and Gary T. Leavens, 117–36. ACM. https://doi.org/10.1145/1640089.1640098.
———. 2009b. “Thorn: Robust Concurrent Scripting on the JVM.” In Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, edited by Shail Arora and Gary T. Leavens, 789–90. ACM. https://doi.org/10.1145/1639950.1640016.
Bobot, François, and Tjark Weber, eds. 2021. Proceedings of the 18th International Workshop on Satisfiability Modulo Theories Co-Located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (Initially Located in Paris, France), July 5-6, 2020. Vol. 2854. CEUR Workshop Proceedings. CEUR-WS.org. https://ceur-ws.org/Vol-2854.
Boer, Frank S. de, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, and Tobias Wrigstad. 2014. “Scaling Future Software: The Manycore Challenge.” ERCIM News 2014 (99). http://ercim-news.ercim.eu/en99/challenges-for-icst/scaling-future-software-the-manycore-challenge.
Böhme, Sascha, Anthony C. J. Fox, Thomas Sewell, and Tjark Weber. 2011. “Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/Hol.” In Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, edited by Jean-Pierre Jouannaud and Zhong Shao, 7086:183–98. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-25379-9\_15.
Böhme, Sascha, and Tjark Weber. 2010. “Fast Lcf-Style Proof Reconstruction for Z3.” In Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, Uk, July 11-14, 2010. Proceedings, edited by Matt Kaufmann and Lawrence C. Paulson, 6172:179–94. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-14052-5\_14.
———. 2011. “Designing Proof Formats: A User’s Perspective.” In PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011, edited by Pascal Fontaine and Aaron Stump, 27–32. https://pxtp2011.loria.fr/PxTP2011.pdf\#page=31.
Boix, Elisa Gonzalez, and Tobias Wrigstad, eds. 2022. Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022. ACM. https://doi.org/10.1145/3546918.
Boldt, Brendon, Ivan Gavran, Eva Darulova, and Rupak Majumdar. 2018. “Precise but Natural Specification for Robot Tasks.” CoRR abs/1803.02238. http://arxiv.org/abs/1803.02238.
Borgström, Johannes. 2005. “Static Equivalence Is Harder Than Knowledge.” In Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, ca, Usa, August 27, 2005, edited by Jos C. M. Baeten and Iain C. C. Phillips, 154:45–57. Electronic Notes in Theoretical Computer Science 3. Elsevier. https://doi.org/10.1016/J.ENTCS.2006.05.006.
———. 2008. “A Complete Symbolic Bisimilarity for an Extended Spi Calculus.” In Proceedings of the 6th Workshop on Security Issues in Concurrency, Secco@CONCUR 2008, Toronto, on, Canada, August 23, 2008, edited by Steve Kremer and Prakash Panangaden, 242:3–20. Electronic Notes in Theoretical Computer Science 3. Elsevier. https://doi.org/10.1016/J.ENTCS.2009.07.078.
Borgström, Johannes, Karthikeyan Bhargavan, and Andrew D. Gordon. 2009. “A Compositional Theory for STM Haskell.” In Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, Uk, 3 September 2009, edited by Stephanie Weirich, 69–80. ACM. https://doi.org/10.1145/1596638.1596648.
Borgström, Johannes, Sébastien Briais, and Uwe Nestmann. 2004. “Symbolic Bisimulation in the Spi Calculus.” In CONCUR 2004 - Concurrency Theory, 15th International Conference, London, Uk, August 31 - September 3, 2004, Proceedings, edited by Philippa Gardner and Nobuko Yoshida, 3170:161–76. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-28644-8\_11.
Borgström, Johannes, Juan Chen, and Nikhil Swamy. 2011. “Verifying Stateful Programs with Substructural State and Hoare Types.” In Proceedings of the 5th ACM Workshop Programming Languages Meets Program Verification, PLPV 2011, Austin, Tx, Usa, January 29, 2011, edited by Ranjit Jhala and Wouter Swierstra, 15–26. ACM. https://doi.org/10.1145/1929529.1929532.
Borgström, Johannes, and Silvia Crafa, eds. 2014. Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. Vol. 160. EPTCS. https://doi.org/10.4204/EPTCS.160.
Borgström, Johannes, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen Van Gael. 2011. “Measure Transformer Semantics for Bayesian Machine Learning.” In Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, edited by Gilles Barthe, 6602:77–96. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-19718-5\_5.
———. 2013. “Measure Transformer Semantics for Bayesian Machine Learning.” Log. Methods Comput. Sci. 9 (3). https://doi.org/10.2168/LMCS-9(3:11)2013.
Borgström, Johannes, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Ścibior, and Marcin Szymczak. 2016. “Fabular: Regression Formulas as Probabilistic Programming.” In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, Fl, Usa, January 20 - 22, 2016, edited by Rastislav Bodı́k and Rupak Majumdar, 271–83. ACM. https://doi.org/10.1145/2837614.2837653.
Borgström, Johannes, Andrew D. Gordon, and Andrew Phillips. 2007. “A Chart Semantics for the Pi-Calculus.” In Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007, edited by Roberto M. Amadio and Thomas T. Hildebrandt, 194:3–29. Electronic Notes in Theoretical Computer Science 2. Elsevier. https://doi.org/10.1016/J.ENTCS.2007.11.002.
Borgström, Johannes, Andrew D. Gordon, and Riccardo Pucella. 2010. “Roles, Stacks, Histories: A Triple for Hoare.” In Reflections on the Work of c. A. R. Hoare, edited by A. W. Roscoe, Clifford B. Jones, and Kenneth R. Wood, 71–99. Springer. https://doi.org/10.1007/978-1-84882-912-1\_4.
———. 2011. “Roles, Stacks, Histories: A Triple for Hoare.” J. Funct. Program. 21 (2): 159–207. https://doi.org/10.1017/S0956796810000134.
Borgström, Johannes, Olga Grinchtein, and Simon Kramer. 2006. “Timed Calculus of Cryptographic Communication.” In Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, edited by Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, and Steve A. Schneider, 4691:16–30. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-75227-1\_2.
Borgström, Johannes, Ramunas Gutkovas, Joachim Parrow, Björn Victor, and Johannes Åman Pohjola. 2013. “A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract).” In Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, edited by Martı́n Abadi and Alberto Lluch-Lafuente, 8358:103–18. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-05119-2\_7.
———. 2016. “A Sorted Semantic Framework for Applied Process Calculi.” Log. Methods Comput. Sci. 12 (1). https://doi.org/10.2168/LMCS-12(1:8)2016.
Borgström, Johannes, Ramunas Gutkovas, Ioana Rodhe, and Björn Victor.
———. 2015. “The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi.” ACM Trans. Embed. Comput. Syst. 14 (1): 9:1–9:25. https://doi.org/10.1145/2682570.
Borgström, Johannes, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. 2011. “Broadcast Psi-Calculi with an Application to Wireless Protocols.” In Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, edited by Gilles Barthe, Alberto Pardo, and Gerardo Schneider, 7041:74–89. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-24690-6\_7.
———. 2015. “Broadcast Psi-Calculi with an Application to Wireless Protocols.” Softw. Syst. Model. 14 (1): 201–16. https://doi.org/10.1007/S10270-013-0375-Z.
Borgström, Johannes, Ugo Dal Lago, Andrew D. Gordon, and Marcin Szymczak. 2015. “A Lambda-Calculus Foundation for Universal Probabilistic Programming.” CoRR abs/1512.08990. http://arxiv.org/abs/1512.08990.
———. 2016. “A Lambda-Calculus Foundation for Universal Probabilistic Programming.” In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, edited by Jacques Garrigue, Gabriele Keller, and Eijiro Sumii, 33–46. ACM. https://doi.org/10.1145/2951913.2951942.
Borgström, Johannes, and Bas Luttik, eds. 2013. Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. Vol. 120. EPTCS. https://doi.org/10.4204/EPTCS.120.
Borgström, Johannes, and Uwe Nestmann. 2002. “On Bisimulations for the Spi Calculus.” In Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-Les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, edited by Hélène Kirchner and Christophe Ringeissen, 2422:287–303. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/3-540-45719-4\_20.
———. 2005. “On Bisimulations for the Spi Calculus.” Math. Struct. Comput. Sci. 15 (3): 487–552. https://doi.org/10.1017/S0960129505004706.
Borgström, Johannes, Uwe Nestmann, Luc Onana Alima, and Dilian Gurov.
Boroujeni, Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, and Wolfgang Ahrendt. 2021. “Deductive Verification of Floating-Point Java Programs in Key.” CoRR abs/2101.08733. https://arxiv.org/abs/2101.08733.
Brandauer, Stephan, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, and Albert Mingkun Yang. 2015. “Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.” In Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, edited by Marco Bernardo and Einar Broch Johnsen, 9104:1–56. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-18941-3\_1.
Brandauer, Stephan, Elias Castegren, and Tobias Wrigstad. 2018. “C9837: A New Modular Approach to Implementing Efficient and Tunable Collections.” In Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, Ma, Usa, November 7-8, 2018, edited by Elisa Gonzalez Boix and Richard P. Gabriel, 57–71. ACM. https://doi.org/10.1145/3276954.3276956.
Brandauer, Stephan, Dave Clarke, and Tobias Wrigstad. 2015. “Disjointness Domains for Fine-Grained Aliasing.” In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, Part of SPLASH 2015, Pittsburgh, Pa, Usa, October 25-30, 2015, edited by Jonathan Aldrich and Patrick Eugster, 898–916. ACM. https://doi.org/10.1145/2814270.2814280.
Brandauer, Stephan, and Tobias Wrigstad. 2017a. “Spencer: Interactive Heap Analysis for the Masses.” In Proceedings of the 14th International Conference on Mining Software Repositories, MSR 2017, Buenos Aires, Argentina, May 20-28, 2017, edited by Jesús M. González-Barahona, Abram Hindle, and Lin Tan, 113–23. IEEE Computer Society. https://doi.org/10.1109/MSR.2017.35.
———. 2017b. “Spencer: Interactive Heap Analysis for the Masses.” CoRR abs/1703.05615. http://arxiv.org/abs/1703.05615.
Cajander, Sofia Ouhbi, Shweta Premanandan, and Awais Ahmad. 2024. “Design Methods in Connected Health.” In Adjunct Proceedings of the 2024 Nordic Conference on Human-Computer Interaction, Nordichi 2024, Uppsala, Sweden, October 13-16, 2024, 43:1–43:2. ACM. https://doi.org/10.1145/3677045.3685458.
Cameron, Nicholas, James Noble, and Tobias Wrigstad. 2010. “Tribal Ownership.” In Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, edited by William R. Cook, Siobhán Clarke, and Martin C. Rinard, 618–33. ACM. https://doi.org/10.1145/1869459.1869510.
Cangondo, Geraldo, Nuno Pombo, Leonice Souza-Pereira, Sofia Ouhbi, and Bruno M. C. Silva. 2022. “Computer Science Education in Angola: The Key Challenges.” In IEEE Global Engineering Education Conference, EDUCON 2022, Tunis, Tunisia, March 28-31, 2022, edited by Ilhem Kallel, Habib M. Kammoun, and Lobna Hsairi, 139–47. IEEE. https://doi.org/10.1109/EDUCON52537.2022.9766392.
Castegren, Elias. 2018. “Capability-Based Type Systems for Concurrency Control.” PhD thesis, Uppsala University, Sweden. https://nbn-resolving.org/urn:nbn:se:uu:diva-336021.
Castegren, Elias, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, and Albert Mingkun Yang. 2018. “Attached and Detached Closures in Actors.” In Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Agere!@SPLASH 2018, Boston, Ma, Usa, November 5, 2018, edited by Joeri De Koster, Federico Bergenti, and Juliana Franco, 54–61. ACM. https://doi.org/10.1145/3281366.3281371.
Castegren, Elias, and Kiko Fernandez-Reyes. 2019. “Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report.” In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019, edited by Oscar Nierstrasz, Jeff Gray, and Bruno C. d. S. Oliveira, 184–96. ACM. https://doi.org/10.1145/3357766.3359545.
Castegren, Elias, Joeri De Koster, and Simon Fowler, eds. 2021. AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event / Chicago, Il, Usa, 17 October 2021. ACM. https://doi.org/10.1145/3486601.
Castegren, Elias, Joeri De Koster, and Thomas C. Schmidt, eds. 2020. AGERE 2020: Proceedings of the 10th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event, Usa, November 17, 2020. ACM. https://doi.org/10.1145/3427760.
Castegren, Elias, Johan Östlund, and Tobias Wrigstad. 2015. “Refined Ownership: - Fine-Grained Controlled Internal Sharing.” In Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, edited by Marco Bernardo and Einar Broch Johnsen, 9104:179–210. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-18941-3\_5.
Castegren, Elias, Joel Wallin, and Tobias Wrigstad. 2018a. “Bestow and Atomic: Concurrent Programming Using Isolation, Delegation and Grouping.” J. Log. Algebraic Methods Program. 100: 130–51. https://doi.org/10.1016/J.JLAMP.2018.06.007.
———. 2018b. “Bestow and Atomic: Concurrent Programming Using Isolation, Delegation and Grouping.” CoRR abs/1807.10130. http://arxiv.org/abs/1807.10130.
Castegren, Elias, and Tobias Wrigstad. 2016. “Reference Capabilities for Concurrency Control.” In 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, edited by Shriram Krishnamurthi and Benjamin S. Lerner, 56:5:1–5:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ECOOP.2016.5.
———. 2017a. “Actors Without Borders: Amnesty for Imprisoned State.” In Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Places@ETAPS 2017, Uppsala, Sweden, 29th April 2017, edited by Vasco T. Vasconcelos and Philipp Haller, 246:10–20. EPTCS. https://doi.org/10.4204/EPTCS.246.4.
———. 2017b. “Relaxed Linear References for Lock-Free Data Structures.” In 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, edited by Peter Müller, 74:6:1–6:32. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ECOOP.2017.6.
———. 2018. “OOlong: An Extensible Concurrent Object Calculus.” In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, edited by Hisham M. Haddad, Roger L. Wainwright, and Richard Chbeir, 1022–9. ACM. https://doi.org/10.1145/3167132.3167243.
———. 2024. “Encore: Coda.” In Active Object Languages: Current Research Trends, edited by Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, and Eduard Kamburjan, 14360:59–91. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-51060-1\_3.
Cheeseman, Luke, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar.
https://doi.org/10.1145/3622852.
Claret, Guillaume, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström. 2013. “Bayesian Inference Using Data Flow Analysis.” In Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Esec/Fse’13, Saint Petersburg, Russian Federation, August 18-26, 2013, edited by Bertrand Meyer, Luciano Baresi, and Mira Mezini, 92–102. ACM. https://doi.org/10.1145/2491411.2491423.
Clarke, Dave, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, and Tobias Wrigstad.
https://doi.org/10.1145/2713609.2713612.
Clarke, Dave, Sophia Drossopoulou, Peter Müller, James Noble, and Tobias Wrigstad. 2008. “Aliasing, Confinement, and Ownership in Object-Oriented Programming.” In Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports, edited by Patrick Eugster, 5475:30–41. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-02047-6\_4.
Clarke, Dave, Sophia Drossopoulou, James Noble, and Tobias Wrigstad. 2007a. “Aliasing, Confinement, and Ownership in Object-Oriented Programming.” In Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports, edited by Michael Cebulla, 4906:40–49. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-78195-0\_5.
———. 2007b. “Tribe: A Simple Virtual Class Calculus.” In Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, edited by Brian M. Barry and Oege de Moor, 208:121–34. ACM International Conference Proceeding Series. ACM. https://doi.org/10.1145/1218563.1218578.
Clarke, Dave, James Noble, and Tobias Wrigstad, eds. 2013a. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Vol.
https://doi.org/10.1007/978-3-642-36946-9.
———. 2013b. “Beyond the Geneva Convention on the Treatment of Object Aliasing.” In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, edited by Dave Clarke, James Noble, and Tobias Wrigstad, 7850:1–6. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-36946-9\_1.
Clarke, Dave, Johan Östlund, Ilya Sergey, and Tobias Wrigstad. 2013. “Ownership Types: A Survey.” In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, edited by Dave Clarke, James Noble, and Tobias Wrigstad, 7850:15–58. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-36946-9\_3.
Clarke, Dave, and Tobias Wrigstad. 2003. “External Uniqueness Is Unique Enough.” In ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings, edited by Luca Cardelli, 2743:176–200. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-45070-2\_9.
———. 2016. “Vats: A Safe, Reactive Storage Abstraction.” In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, edited by Erika Ábrahám, Marcello M. Bonsangue, and Einar Broch Johnsen, 9660:140–54. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-30734-3\_11.
Clarke, Dave, Tobias Wrigstad, Johan Östlund, and Einar Broch Johnsen.
Clarke, David G., Tobias Wrigstad, Johan Östlund, and Einar Broch Johnsen. 2009. “Minimal Ownership for Active Objects.” In Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, edited by Peter W. O’Hearn, Arnd Poetzsch-Heffter, and Mooly Sagiv. Vol. 9301. Dagstuhl Seminar Proceedings. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. http://drops.dagstuhl.de/opus/volltexte/2010/2437/.
Clebsch, Sylvan, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek. 2017. “Orca: GC and Type System Co-Design for Actor Languages.” Proc. ACM Program. Lang. 1 (OOPSLA): 72:1–72:28. https://doi.org/10.1145/3133896.
Cok, David R., David Déharbe, and Tjark Weber. 2014. “The 2014 SMT Competition.” J. Satisf. Boolean Model. Comput. 9 (1): 207–42. https://doi.org/10.3233/SAT190109.
Cok, David R., Aaron Stump, and Tjark Weber. 2015. “The 2013 Evaluation of SMT-COMP and SMT-LIB.” J. Autom. Reason. 55 (1): 61–90. https://doi.org/10.1007/S10817-015-9328-2.
Darulova, Eva. 2014. “Programming with Numerical Uncertainties.” PhD thesis, EPFL, Switzerland. https://doi.org/10.5075/EPFL-THESIS-6343.
———. 2020. “Towards a Sound Approximating Compiler for Numerical Kernels (Keynote).” In SPLASH ’20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, Usa, November, 2020, edited by Guido Salvaneschi and Nada Amin, 1. ACM. https://doi.org/10.1145/3426426.3434065.
Darulova, Eva, Alastair F. Donaldson, Zvonimir Rakamaric, and Cindy Rubio-González. 2017. “Analysis and Synthesis of Floating-Point Programs (Dagstuhl Seminar 17352).” Dagstuhl Reports 7 (8): 74–101. https://doi.org/10.4230/DAGREP.7.8.74.
Darulova, Eva, Babak Falsafi, Andreas Gerstlauer, and Phillip Stanley-Marbell. 2021. “Approximate Systems (Dagstuhl Seminar 21302).” Dagstuhl Reports 11 (6): 147–63. https://doi.org/10.4230/DAGREP.11.6.147.
Darulova, Eva, Einar Horn, and Saksham Sharma. 2017. “Sound Mixed-Precision Optimization with Rewriting.” CoRR abs/1707.02118. http://arxiv.org/abs/1707.02118.
———. 2018. “Sound Mixed-Precision Optimization with Rewriting.” In Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018, edited by Chris Gill, Bruno Sinopoli, Xue Liu, and Paulo Tabuada, 208–19. IEEE Computer Society / ACM. https://doi.org/10.1109/ICCPS.2018.00028.
Darulova, Eva, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, and Robert Bastian. 2018. “Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).” In Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, edited by Dirk Beyer and Marieke Huisman, 10805:270–87. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-89960-2\_15.
Darulova, Eva, and Viktor Kuncak. 2011. “Trustworthy Numerical Computation in Scala.” In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, Part of SPLASH 2011, Portland, or, Usa, October 22 - 27, 2011, edited by Cristina Videira Lopes and Kathleen Fisher, 325–44. ACM. https://doi.org/10.1145/2048066.2048094.
———. 2012. “Certifying Solutions for Numerical Constraints.” In Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, edited by Shaz Qadeer and Serdar Tasiran, 7687:277–91. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-35632-2\_27.
———. 2013. “On Sound Compilation of Reals.” CoRR abs/1309.2511. http://arxiv.org/abs/1309.2511.
———. 2014a. “On Numerical Error Propagation with Sensitivity.” CoRR abs/1410.0198. http://arxiv.org/abs/1410.0198.
———. 2014b. “Sound Compilation of Reals.” In The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’14, San Diego, ca, Usa, January 20-21, 2014, edited by Suresh Jagannathan and Peter Sewell, 235–48. ACM. https://doi.org/10.1145/2535838.2535874.
———. 2017. “Towards a Compiler for Reals.” ACM Trans. Program. Lang. Syst. 39 (2): 8:1–8:28. https://doi.org/10.1145/3014426.
Darulova, Eva, Viktor Kuncak, Rupak Majumdar, and Indranil Saha. 2013. “Synthesis of Fixed-Point Programs.” In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, Qc, Canada, September 29 - Oct. 4, 2013, edited by Rolf Ernst and Oleg Sokolsky, 22:1–22:10. IEEE. https://doi.org/10.1109/EMSOFT.2013.6658600.
Darulova, Eva, and Anastasia Volkova. 2018. “Sound Approximation of Programs with Elementary Functions.” CoRR abs/1811.10274. http://arxiv.org/abs/1811.10274.
———. 2019. “Sound Approximation of Programs with Elementary Functions.” In Computer Aided Verification - 31st International Conference, CAV 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II, edited by Isil Dillig and Serdar Tasiran, 11562:174–83. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-25543-5\_11.
Drissi, Nidal, and Sofia Ouhbi. 2021. “On the Involvement of Mental Healthcare Professionals in the Co-Design of Highly-Rated Anxiety Apps.” In Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, Volume 5: HEALTHINF, Online Streaming, February 11-13, 2021, edited by Catia Pesquita, Ana Fred, and Hugo Gamboa, 281–87. SCITEPRESS. https://doi.org/10.5220/0010183102810287.
Drissi, Nidal, Sofia Ouhbi, José A. Garcı́a-Berná, Mohammed Abdou Janati Idrissi, and Mounir Ghogho. 2020. “Sensor-Based Solutions for Mental Healthcare: A Systematic Literature Review.” In Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020) - Volume 5: HEALTHINF, Valletta, Malta, February 24-26, 2020, edited by Federico Cabitza, Ana Fred, and Hugo Gamboa, 593–600. SCITEPRESS. https://doi.org/10.5220/0009100805930600.
Drissi, Nidal, Sofia Ouhbi, Mohammed Abdou Janati Idrissi, and Mounir Ghogho. 2019a. “Gamification-Based Apps for PTSD: An Analysis of Functionality and Characteristics.” In 16th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2019, Abu Dhabi, Uae, November 3-7, 2019, 1–6. IEEE Computer Society. https://doi.org/10.1109/AICCSA47632.2019.9035325.
———. 2019b. “Mobile Apps for Post Traumatic Stress Disorder.” In 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019, Berlin, Germany, July 23-27, 2019, 4279–82. IEEE. https://doi.org/10.1109/EMBC.2019.8857197.
———. 2020. “An Analysis on Self-Management and Treatment-Related Functionality and Characteristics of Highly Rated Anxiety Apps.” Int. J. Medical Informatics 141: 104243. https://doi.org/10.1016/J.IJMEDINF.2020.104243.
Drissi, Nidal, Sofia Ouhbi, Mohammed Abdou Janati Idrissi, Mohammed El Koutbi, and Mounir Ghogho. 2019. “On the Use of Sensors in Mental Healthcare.” In Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments, Rabat, Morocco, 24-27 June 2019, edited by Andrés Muñoz, Sofia Ouhbi, Wolfgang Minker, Loubna Echabbi, and Miguel Navarro-Cı́a, 26:307–16. Ambient Intelligence and Smart Environments. IOS Press. https://doi.org/10.3233/AISE190058.
Dyckhoff, Roy, Lars-Henrik Eriksson, Alberto Momigliano, and Mario Ornaghi, eds. 1994. ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994.
Eriksson, Lars-Henrik. 1984. “Synthesis of a Unification Algorithm in a Logic Programming Calculus.” J. Log. Program. 1 (1): 3–18. https://doi.org/10.1016/0743-1066(84)90020-7.
———. 1991. “A Finitary Version of the Calculus of Partial Inductive Defintions.” In Extensions of Logic Programming, Second International Workshop, Elp’91, Stockholm, Sweden, January 27-29, 1991, Proceedings, edited by Lars-Henrik Eriksson, Lars Hallnäs, and Peter Schroeder-Heister, 596:89–134. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/BFB0013605.
———. 1993. “Finitary Partial Inductive Definitions as a General Logic.” In Extensions of Logic Programming, 4th International Workshop, Elp’93, St. Andrews, Uk, March 29 - April 1, 1993, Proceedings, edited by Roy Dyckhoff, 798:94–119. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/3-540-58025-5\_52.
———. 1994. “Pi: An Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.” In *Automated Deduction - Cade-12, 12th International Conference on Automated Deduction, Nancy, France, June 26
———. 1996. “Specifying Railway Interlocking Requirements for Practical Use.” In 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, edited by Erwin Schoitsch, 243–49. Springer. https://doi.org/10.1007/978-1-4471-0937-2\_21.
———. 2004. “Using Formal Methods in a Retrospective Safety Case.” In Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, edited by Maritta Heisel, Peter Liggesmeyer, and Stefan Wittmann, 3219:31–44. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-30138-7\_4.
———. 2006. “The GTO Toolset and Method.” In Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, Avocs 2006, Nancy, France, September 18-19, 2006, edited by Stephan Merz and Tobias Nipkow, 185:77–91. Electronic Notes in Theoretical Computer Science. Elsevier. https://doi.org/10.1016/J.ENTCS.2007.05.030.
Eriksson, Lars-Henrik, Lars Hallnäs, and Peter Schroeder-Heister, eds.
https://doi.org/10.1007/BFB0013601.
Eriksson, Lars-Henrik, and Peter A. Lindsay, eds. 2002. FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Vol. 2391. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/3-540-45614-7.
Fernández-Alemán, José Luis, Carlos Luis Seva-Llor, Sofia Ouhbi, Ambrosio Toval, and Inmaculada Carrión Señor. 2012. “An Analysis of Free Web-Based Phrs Functionalities and I18n.” In Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, ca, Usa, August 28 - September 1, 2012, 1282–5. IEEE. https://doi.org/10.1109/EMBC.2012.6346172.
Fernández-Alemán, José Luis, Carlos Luis Seva-Llor, Ambrosio Toval, Sofia Ouhbi, and Luis Fernández-Luque. 2013. “Free Web-Based Personal Health Records: An Analysis of Functionality.” J. Medical Syst. 37 (6): 9990. https://doi.org/10.1007/S10916-013-9990-Z.
Fernandez-Reyes, Kiko, Dave Clarke, Elias Castegren, and Huu-Phuc Vo.
Fernandez-Reyes, Kiko, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad. 2019a. “Godot: All the Benefits of Implicit and Explicit Futures.” In 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom, edited by Alastair F. Donaldson, 134:2:1–2:28. LIPIcs. Schloss Dagstuhl
https://doi.org/10.4230/LIPICS.ECOOP.2019.2.
———. 2019b. “Godot: All the Benefits of Implicit and Explicit Futures (Artifact).” Dagstuhl Artifacts Ser. 5 (2): 01:1–01:2. https://doi.org/10.4230/DARTS.5.2.1.
Fernandez-Reyes, Kiko, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, and Tobias Wrigstad. 2021a. “Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom.” In Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Virtual Event / Chicago, Il, Usa, October 20-22, 2021, edited by Wolfgang De Meuter and Elisa L. A. Baniassad, 1–17. ACM. https://doi.org/10.1145/3486607.3486747.
———. 2021b. “Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom.” CoRR abs/2109.07541. https://arxiv.org/abs/2109.07541.
Fernandez-Reyes, Kiko, Isaac Oscar Gariano, James Noble, and Tobias Wrigstad. 2019. “Towards Gradual Checking of Reference Capabilities.” CoRR abs/1909.01465. http://arxiv.org/abs/1909.01465.
Fjällström, Eva, Christoffer Forsberg, Felix Trulsson, Steffi Knorn, Kjell Staffas, Damiano Varagnolo, and Tobias Wrigstad. 2019. “Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes.” In 17th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019, 3076–83. IEEE. https://doi.org/10.23919/ECC.2019.8795910.
Foster, Simon, Georg Struth, and Tjark Weber. 2011. “Automated Engineering of Relational and Algebraic Methods in Isabelle/Hol - (Invited Tutorial).” In Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 - June 3, 2011. Proceedings, edited by Harrie C. M. de Swart, 6663:52–67. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-21070-9\_5.
Franco, Juliana, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad. 2018. “Correctness of a Concurrent Object Collector for Actor Languages.” In Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, edited by Amal Ahmed, 10801:885–911. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-89884-1\_31.
Franco, Juliana, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach. 2017. “You Can Have It All: Abstraction and Good Cache Performance.” In Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, Bc, Canada, October 23 - 27, 2017, edited by Emina Torlak, Tijs van der Storm, and Robert Biddle, 148–67. ACM. https://doi.org/10.1145/3133850.3133861.
Franco, Juliana, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach. 2019. “Safely Abstracting Memory Layouts.” CoRR abs/1901.08006. http://arxiv.org/abs/1901.08006.
Garcı́a-Berná, José Alberto, Sofia Ouhbi, José Luis Fernández-Alemán, Juan Manuel Carrillo de Gea, and Joaquı́n Nicolás. 2020. “Energy Efficiency and Usability of Web-Based Personal Health Records.” In Trends and Innovations in Information Systems and Technologies - Volume 3, Worldcist 2020, Budva, Montenegro, 7-10 April 2020, edited by Álvaro Rocha, Hojjat Adeli, Luı́s Paulo Reis, Sandra Costanzo, Irena Orovic, and Fernando Moreira, 1161:25–35. Advances in Intelligent Systems and Computing. Springer. https://doi.org/10.1007/978-3-030-45697-9\_3.
Garcı́a-Berná, José A., Sofia Ouhbi, and José Luis Fernández-Alemán.
Garcı́a-Berná, José A., Sofia Ouhbi, José Luis Fernández-Alemán, and Ana Belén Sánchez Garcı́a. 2024. “An Empirical Analysis of Undergraduate Information Systems Security Behaviors.” In Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2024, Volume 2, Rome, Italy, February 21-23, 2024, edited by Hannes Schlieter, Ana Fred, and Hugo Gamboa, 620–27. SCITEPRESS. https://doi.org/10.5220/0012430700003657.
Garcı́a-Berná, José A., Sofia Ouhbi, José Luis Fernández-Alemán, Juan Manuel Carrillo de Gea, and Joaquı́n Nicolás. 2021. “Investigating the Impact of Usability on Energy Efficiency of Web-Based Personal Health Records.” J. Medical Syst. 45 (6): 65. https://doi.org/10.1007/S10916-021-01725-8.
Garcı́a-Berná, José A., Sofia Ouhbi, Juan Manuel Carrillo de Gea, Joaquı́n Nicolás, and José Luis Fernández-Alemán. 2024. “Sustainability and Usability Evaluation of E-Commerce Portals.” In Good Practices and New Perspectives in Information Systems and Technologies - Worldcist 2024, Volume 1, Lodz, Poland, 26-28 March 2024, edited by Álvaro Rocha, Hojjat Adeli, Gintautas Dzemyda, Fernando Moreira, and Aneta Poniszewska-Maranda, 985:204–13. Lecture Notes in Networks and Systems. Springer. https://doi.org/10.1007/978-3-031-60215-3\_20.
Gavran, Ivan, Eva Darulova, and Rupak Majumdar. 2020. “Interactive Synthesis of Temporal Specifications from Examples and Natural Language.” Proc. ACM Program. Lang. 4 (OOPSLA): 201:1–201:26. https://doi.org/10.1145/3428269.
Gea, Juan Manuel Carrillo de, Joaquı́n Nicolás, José Luis Fernández-Alemán, Ambrosio Toval, Sofia Ouhbi, and Ali Idri. 2016. “Co-Located and Distributed Natural-Language Requirements Specification: Traditional Versus Reuse-Based Techniques.” J. Softw. Evol. Process. 28 (3): 205–27. https://doi.org/10.1002/SMR.1772.
Gengelbach, Arve, Johannes Åman Pohjola, and Tjark Weber. 2020. “Mechanisation of Model-Theoretic Conservative Extension for HOL with Ad-Hoc Overloading.” In Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020, edited by Claudio Sacerdoti Coen and Alwen Tiu, 332:1–17. EPTCS. https://doi.org/10.4204/EPTCS.332.1.
Gengelbach, Arve, and Tjark Weber. 2017. “Model-Theoretic Conservative Extension for Definitional Theories.” In 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brası́lia, Brazil, September 23-24, 2017, edited by Sandra Alves and Renata Wasserman, 338:133–45. Electronic Notes in Theoretical Computer Science. Elsevier. https://doi.org/10.1016/J.ENTCS.2018.10.009.
———. 2020. “Proof-Theoretic Conservative Extension of HOL with Ad-Hoc Overloading.” In Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, edited by Violet Ka I Pun, Volker Stolz, and Adenilso Simão, 12545:23–42. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-64276-1\_2.
Gomes, Victor B. F., Walter Guttmann, Peter Höfner, Georg Struth, and Tjark Weber. 2016. “Kleene Algebras with Domain.” Arch. Formal Proofs
Gordon, Andrew D., Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, and Claudio V. Russo. 2013. “A Model-Learner Pattern for Bayesian Reasoning.” In The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’13, Rome, Italy - January 23 - 25, 2013, edited by Roberto Giacobazzi and Radhia Cousot, 403–16. ACM. https://doi.org/10.1145/2429069.2429119.
Gordon, Andrew D., Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, and John Guiver. 2014. “Tabular: A Schema-Driven Probabilistic Programming Language.” In The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’14, San Diego, ca, Usa, January 20-21, 2014, edited by Suresh Jagannathan and Peter Sewell, 321–34. ACM. https://doi.org/10.1145/2535838.2535850.
Gordon, Andrew D., Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, and Daniel Tarlow. 2015. “Probabilistic Programs as Spreadsheet Queries.” In Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, Uk, April 11-18, 2015. Proceedings, edited by Jan Vitek, 9032:1–25. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-662-46669-8\_1.
Grannan, Zachary, Niki Vazou, Eva Darulova, and Alexander J. Summers. 2022a. “REST: Integrating Term Rewriting with Program Verification.” In 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany, edited by Karim Ali and Jan Vitek, 222:13:1–13:29. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ECOOP.2022.13.
———. 2022b. “REST: Integrating Term Rewriting with Program Verification (Artifact).” Dagstuhl Artifacts Ser. 8 (2): 12:1–12:2. https://doi.org/10.4230/DARTS.8.2.12.
———. 2022c. “REST: Integrating Term Rewriting with Program Verification (Extended Version).” CoRR abs/2202.05872. https://arxiv.org/abs/2202.05872.
Gross, Jennifer, and Sofia Ouhbi. 2024a. “A Systematic Mapping Study on Quality-in-Use and Sustainability in Software.” In 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024, Paris, France, August 28-30, 2024, 333–40. IEEE. https://doi.org/10.1109/SEAA64295.2024.00058.
———. 2024b. “Clearing the Path for Software Sustainability.” CoRR abs/2405.15637. https://doi.org/10.48550/ARXIV.2405.15637.
———. 2024c. “Sustainability as a Starting Point in Software Development.” In 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024, Paris, France, August 28-30, 2024, 252–55. IEEE. https://doi.org/10.1109/SEAA64295.2024.00046.
Guttmann, Walter, Georg Struth, and Tjark Weber. 2011a. “A Repository for Tarski-Kleene Algebras.” In Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011, edited by Peter Höfner, Annabelle McIver, and Georg Struth, 760:30–39. CEUR Workshop Proceedings. CEUR-WS.org. https://ceur-ws.org/Vol-760/paper5.pdf.
———. 2011b. “Automating Algebraic Methods in Isabelle.” In Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, Uk, October 26-28, 2011. Proceedings, edited by Shengchao Qin and Zongyan Qiu, 6991:617–32. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-24559-6\_41.
Henz, Martin, and Tobias Wrigstad. 2020. “SICP JS: Ketchup on Caviar?” In Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020, edited by Baptiste Saleil and Michael D. Adams, CSE-TR-001-21:1. CSE Technical Reports. University of Michigan.
Huang, Isabell, John Högberg, Kiko Fernandez-Reyes, and Tobias Wrigstad.
Idri, Ali, Sofia Ouhbi, José Luis Fernández-Alemán, and Ambrosio Toval.
https://doi.org/10.1109/EDUCON.2012.6201142.
Isychev, Anastasia, and Eva Darulova. 2023. “Scaling up Roundoff Analysis of Functional Data Structure Programs.” In Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, edited by Manuel V. Hermenegildo and José F. Morales, 14284:371–402. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-44245-2\_17.
Izycheva, Anastasiia, and Eva Darulova. 2017a. “On Sound Relative Error Bounds for Floating-Point Arithmetic.” In 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, edited by Daryl Stewart and Georg Weissenbacher, 15–22. IEEE. https://doi.org/10.23919/FMCAD.2017.8102236.
———. 2017b. “On Sound Relative Error Bounds for Floating-Point Arithmetic.” CoRR abs/1707.02121. http://arxiv.org/abs/1707.02121.
Izycheva, Anastasiia, Eva Darulova, and Helmut Seidl. 2019. “Synthesizing Efficient Low-Precision Kernels.” In Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, edited by Yu-Fang Chen, Chih-Hong Cheng, and Javier Esparza, 11781:294–313. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-31784-3\_17.
———. 2020. “Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.” In Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings, edited by David Pichardie and Mihaela Sighireanu, 12389:156–77. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-65474-0\_8.
Jamil, Nuraini, Abdelkader Nasreddine Belkacem, Sofia Ouhbi, and Christoph Guger. 2021. “Cognitive and Affective Brain-Computer Interfaces for Improving Learning Strategies and Enhancing Student Capabilities: A Systematic Literature Review.” IEEE Access 9: 134122–47. https://doi.org/10.1109/ACCESS.2021.3115263.
Jamil, Nuraini, Abdelkader Nasreddine Belkacem, Sofia Ouhbi, and Abderrahmane Lakas. 2021. “Noninvasive Electroencephalography Equipment for Assistive, Adaptive, and Rehabilitative Brain-Computer Interfaces: A Systematic Literature Review.” Sensors 21 (14): 4754. https://doi.org/10.3390/S21144754.
Jamil, Nuraini, Abderrahmane Lakas, Sofia Ouhbi, and Abdelkader Nasreddine Belkacem. 2020. “On Digital Multimedia and Human Emotions Using Eeg-Based Brain Computer Interface.” In Intelligent Environments 2020 - Workshop Proceedings of the 16th International Conference on Intelligent Environment, Madrid, Spain, 20-23 July 2020, edited by Carlos Angel Iglesias, Jose Ignacio Moreno Novella, Alessandro Ricci, Diego Rivera Pinto, and Dumitru Roman, 28:19–28. Ambient Intelligence and Smart Environments. IOS Press. https://doi.org/10.3233/AISE200019.
Jeangoudoux, Clothilde, Eva Darulova, and Christoph Quirin Lauter. 2021. “Interval Constraint-Based Mutation Testing of Numerical Specifications.” In ISSTA ’21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021, edited by Cristian Cadar and Xiangyu Zhang, 388–99. ACM. https://doi.org/10.1145/3460319.3464808.
Jürjens, Jan, and Tjark Weber. 2009. “Finite Models in Fol-Based Crypto-Protocol Verification.” In Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, Uk, March 28-29, 2009, Revised Selected Papers, edited by Pierpaolo Degano and Luca Viganò, 5511:155–72. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-03459-6\_11.
Kadi, Ilham, Ali Idri, and Sofia Ouhbi. 2016. “Quality Evaluation of Cardiac Decision Support Systems Using ISO 25010 Standard.” In 13th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2016, Agadir, Morocco, November 29 - December 2, 2016, 1–8. IEEE Computer Society. https://doi.org/10.1109/AICCSA.2016.7945657.
Källén, Malin, Ulf Sigvardsson, and Tobias Wrigstad. 2020. “Jupyter Notebooks on Github: Characteristics and Code Clones.” CoRR abs/2007.10146. https://arxiv.org/abs/2007.10146.
Källén, Malin, and Tobias Wrigstad. 2019. “Performance of an OO Compute Kernel on the JVM: Revisiting Java as a Language for Scientific Computing Applications.” In Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019, edited by Antony L. Hosking and Irene Finocchi, 144–56. ACM. https://doi.org/10.1145/3357390.3361026.
———. 2021. “Jupyter Notebooks on Github: Characteristics and Code Clones.” Art Sci. Eng. Program. 5 (3): 15. https://doi.org/10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/15.
Karampela, Maria, Sofia Ouhbi, and Minna Isomursu. 2018. “Personal Health Data: A Systematic Mapping Study.” Int. J. Medical Informatics 118: 86–98. https://doi.org/10.1016/J.IJMEDINF.2018.08.006.
———. 2019a. “Accessing and Sharing Electronic Personal Health Data.” In Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 5: HEALTHINF, Prague, Czech Republic, February 22-24, 2019, edited by Roman Moucek, Ana L. N. Fred, and Hugo Gamboa, 182–89. SciTePress. https://doi.org/10.5220/0007247301820189.
———. 2019b. “Exploring Users’ Willingness to Share Their Health and Personal Data Under the Prism of the New GDPR: Implications in Healthcare.” In 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019, Berlin, Germany, July 23-27, 2019, 6509–12. IEEE. https://doi.org/10.1109/EMBC.2019.8856550.
Kassabi, Hadeel T. El, Mohamed Adel Serhani, Alramzana Nujum Navaz, and Sofia Ouhbi. 2021. “Federated Patient Similarity Network for Data-Driven Diagnosis of COVID-19 Patients.” In 18th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2021, Tangier, Morocco, November 30 - Dec. 3, 2021, 1–6. IEEE. https://doi.org/10.1109/AICCSA53542.2021.9686875.
Krämer, Jonas, Lionel Blatter, Eva Darulova, and Mattias Ulbrich. 2022. “Inferring Interval-Valued Floating-Point Preconditions.” In Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, edited by Dana Fisman and Grigore Rosu, 13243:303–21. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-99524-9\_16.
Kumar, Ramana, and Tjark Weber. 2011. “Validating QBF Validity in HOL4.” In Interactive Theorem Proving - Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011. Proceedings, edited by Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, 6898:168–83. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-22863-6\_14.
Lebresne, Sylvain, Gregor Richards, Johan Östlund, Tobias Wrigstad, and Jan Vitek. 2009. “Understanding the Dynamics of Javascript.” In Proceedings for the 1st Workshop on Script to Program Evolution, STOP ’09, Genova, Italy, July 6, 2009, edited by Tobias Wrigstad, Nate Nystrom, and Jan Vitek, 30–33. ACM. https://doi.org/10.1145/1570506.1570510.
Lohar, Debasmita, Eva Darulova, Sylvie Putot, and Eric Goubault. 2018. “Discrete Choice in the Presence of Numerical Uncertainties.” IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11): 2381–92. https://doi.org/10.1109/TCAD.2018.2857320.
Lohar, Debasmita, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, and Maria Christakis. 2021. “A Two-Phase Approach for Conditional Floating-Point Verification.” In *Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27
Lohar, Debasmita, Clothilde Jeangoudoux, Anastasia Volkova, and Eva Darulova. 2023. “Sound Mixed Fixed-Point Quantization of Neural Networks.” ACM Trans. Embed. Comput. Syst. 22 (5s): 136:1–136:26. https://doi.org/10.1145/3609118.
Lohar, Debasmita, Milos Prokop, and Eva Darulova. 2019. “Sound Probabilistic Numerical Error Analysis.” In Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:322–40. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-34968-4\_18.
Lundén, Daniel, Johannes Borgström, and David Broman. 2020. “Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.” CoRR abs/2003.05191. https://arxiv.org/abs/2003.05191.
———. 2021. “Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.” In Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, edited by Nobuko Yoshida, 12648:404–31. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-72019-3\_15.
Marques, Gonçalo, Nidal Drissi, Isabel de la Torre Dı́ez, Beatriz Sainz de Abajo, and Sofia Ouhbi. 2021. “Impact of COVID-19 on the Psychological Health of University Students in Spain and Their Attitudes Toward Mobile Mental Health Solutions.” Int. J. Medical Informatics 147: 104369. https://doi.org/10.1016/J.IJMEDINF.2020.104369.
McIver, Annabelle, and Tjark Weber. 2005. “Towards Automated Proof Support for Probabilistic Distributed Systems.” In Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, edited by Geoff Sutcliffe and Andrei Voronkov, 3835:534–48. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/11591191\_37.
Meqbaali, Mariam Al, Sofia Ouhbi, Reem K. Jan, Leena Amiri, Fadwa Al Mugaddam, Mohamed Adel Serhani, and Nazar Zaki. 2024. “Mental Health Professionals’ Insights on Digital Health Solutions for Anxiety in the UAE.” In 32nd IEEE International Requirements Engineering Conference, RE 2024 - Workshops, Reykjavik, Iceland, June 24-25, 2024, 362–69. IEEE. https://doi.org/10.1109/REW61692.2024.00057.
Muñoz, Andrés, Sofia Ouhbi, Wolfgang Minker, Loubna Echabbi, and Miguel Navarro-Cı́a, eds. 2019. Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments, Rabat, Morocco, 24-27 June 2019. Vol. 26. Ambient Intelligence and Smart Environments. IOS Press. http://ebooks.iospress.nl/volume/intelligent-environments-2019-workshop-proceedings-of-the-15th-international-conference-on-intelligent-environments-2.
Nandi, Chandrakana, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock. 2019. “Using E-Graphs for CAD Parameter Inference.” CoRR abs/1909.12252. http://arxiv.org/abs/1909.12252.
Nandi, Chandrakana, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock. 2020. “Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations.” In Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, Uk, June 15-20, 2020, edited by Alastair F. Donaldson and Emina Torlak, 31–44. ACM. https://doi.org/10.1145/3385412.3386012.
Noble, James, Julian Mackay, and Tobias Wrigstad. 2022a. “Rusty Links in Local Chains.” CoRR abs/2205.00795. https://doi.org/10.48550/ARXIV.2205.00795.
———. 2022b. “Rusty Links in Local Chains10033.” In Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-Like Programs, Ftfjp 2022, Berlin, Germany, 7 June 2022, edited by Henrique Rebêlo, 1–3. ACM. https://doi.org/10.1145/3611096.3611097.
Noble, James, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, and Michael Homer. 2024. “Dafny Vs. Dala: Experience with Mechanising Language Design.” In Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-Like Programs, Ftfjp 2024, Vienna, Austria, 20 September 2024, edited by Luca Di Stefano, 37–43. ACM. https://doi.org/10.1145/3678721.3686228.
Norlinder, Jonas, Erik Österlund, David Black-Schaffer, and Tobias Wrigstad. 2024. “Mark-Scavenge: Waiting for Trash to Take Itself Out.” Proc. ACM Program. Lang. 8 (OOPSLA2): 2268–95. https://doi.org/10.1145/3689791.
Norlinder, Jonas, Erik Österlund, and Tobias Wrigstad. 2022. “Compressed Forwarding Tables Reconsidered.” In Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022, edited by Elisa Gonzalez Boix and Tobias Wrigstad, 45–63. ACM. https://doi.org/10.1145/3546918.3546928.
Norlinder, Jonas, Albert Mingkun Yang, David Black-Schaffer, and Tobias Wrigstad. 2024. “Mutator-Driven Object Placement Using Load Barriers.” In Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2024, Vienna, Austria, 19 September 2024, edited by M. Anton Ertl and Christoph M. Kirsch, 14–27. ACM. https://doi.org/10.1145/3679007.3685060.
Östlund, Johan, and Tobias Wrigstad. 2010. “Welterweight Java.” In Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings, edited by Jan Vitek, 6141:97–116. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-13953-6\_6.
———. 2012. “Multiple Aggregate Entry Points for Ownership Types.” In ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, edited by James Noble, 7313:156–80. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-31057-7\_8.
Östlund, Johan, Tobias Wrigstad, Dave Clarke, and Beatrice Åkerblom.
Ouhbi, Sofia. 2018. “Software Architecture Evaluation: A Systematic Mapping Study.” In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, edited by Ernesto Damiani, George Spanoudakis, and Leszek A. Maciaszek, 447–54. SciTePress. https://doi.org/10.5220/0006808604470454.
———. 2019. “Evaluating Role Playing Efficiency to Teach Requirements Engineering.” In IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019, edited by Alaa K. Ashmawy and Sebastian Schreiter, 1007–10. IEEE. https://doi.org/10.1109/EDUCON.2019.8725045.
———. 2024. “Bridging the Theory-Practice Gap in a Maintenance Programming Course: An Experience Report.” In Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, Seet@ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 359–67. ACM. https://doi.org/10.1145/3639474.3640062.
Ouhbi, Sofia, and Mamoun Adel M. Awad. 2021. “The Impact of Combining Storytelling with Lecture on Female Students in Software Engineering Education.” In IEEE Global Engineering Education Conference, EDUCON 2021, Vienna, Austria, April 21-23, 2021, edited by Thomas Klinger, Christian Kollmitzer, and Andreas Pester, 443–47. IEEE. https://doi.org/10.1109/EDUCON46332.2021.9453992.
Ouhbi, Sofia, José Luis Fernández-Alemán, Juan Manuel Carrillo de Gea, Ambrosio Toval, and Ali Idri. 2017. “E-Health Internationalization Requirements for Audit Purposes.” Comput. Methods Programs Biomed. 144: 49–60. https://doi.org/10.1016/J.CMPB.2017.03.014.
Ouhbi, Sofia, José Luis Fernández-Alemán, Ali Idri, and José Rivera Pozo. 2015. “Are Mobile Blood Donation Applications Green?” In 10th International Conference on Intelligent Systems: Theories and Applications, SITA 2015, Rabat, Morocco, October 20-21, 2015, 1–6. IEEE. https://doi.org/10.1109/SITA.2015.7358377.
Ouhbi, Sofia, José Luis Fernández-Alemán, Ali Idri, Ambrosio Toval, José Rivera Pozo, and Manal El Bajta. 2017. “A Reusable Requirements Catalog for Internationalized and Sustainable Blood Donation Apps.” In ENASE 2017 - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal, April 28-29, 2017, edited by Ernesto Damiani, George Spanoudakis, and Leszek A. Maciaszek, 285–92. SciTePress. https://doi.org/10.5220/0006360202850292.
Ouhbi, Sofia, José Luis Fernández-Alemán, José Rivera Pozo, Manal El Bajta, Ambrosio Toval, and Ali Idri. 2015. “Compliance of Blood Donation Apps with Mobile OS Usability Guidelines.” J. Medical Syst. 39 (6): 63:1–63:21. https://doi.org/10.1007/S10916-015-0243-1.
Ouhbi, Sofia, José Luis Fernández-Alemán, Ambrosio Toval, Ali Idri, and José Rivera Pozo. 2015. “Free Blood Donation Mobile Applications.” J. Medical Syst. 39 (5): 52. https://doi.org/10.1007/S10916-015-0228-0.
Ouhbi, Sofia, José Luis Fernández-Alemán, Ambrosio Toval, José Rivera Pozo, and Ali Idri. 2018. “Sustainability Requirements for Connected Health Applications.” J. Softw. Evol. Process. 30 (7). https://doi.org/10.1002/SMR.1922.
Ouhbi, Sofia, Ali Idri, José Luis Fernández-Alemán, and Ambrosio Toval.
———. 2014. “Evaluating Software Product Quality: A Systematic Mapping Study.” In 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, Rotterdam, the Netherlands, October 6-8, 2014, 141–51. IEEE Computer Society. https://doi.org/10.1109/IWSM.MENSURA.2014.30.
———. 2015a. “Predicting Software Product Quality: A Systematic Mapping Study.” Computación Y Sistemas 19 (3). https://doi.org/10.13053/CYS-19-3-1960.
———. 2015b. “Requirements Engineering Education: A Systematic Mapping Study.” Requir. Eng. 20 (2): 119–38. https://doi.org/10.1007/S00766-013-0192-5.
Ouhbi, Sofia, Ali Idri, José Luis Fernández-Alemán, Ambrosio Toval, and Halima Benjelloun. 2014. “Electronic Health Records for Cardiovascular Medicine.” In 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, Il, Usa, August 26-30, 2014, 1354–7. IEEE. https://doi.org/10.1109/EMBC.2014.6943850.
———. 2015. “Applying ISO/IEC 25010 on Mobile Personal Health Records.” In HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015, edited by Christine Verdier, Marta Bienkiewicz, Ana L. N. Fred, Hugo Gamboa, and Dirk Elias, 405–12. SciTePress.
Ouhbi, Sofia, Ali Idri, Rachid Hakmi, Halima Benjelloun, José Luis Fernández-Alemán, and Ambrosio Toval. 2016. “Requirements Specification of an E-Health Solution to Improve Cardiovascular Healthcare Services in Morocco.” In 11th International Conference on Intelligent Systems: Theories and Applications, SITA 2016, Mohammedia, Morocco, October 19-20, 2016, 1–6. IEEE. https://doi.org/10.1109/SITA.2016.7772309.
———. 2017. “Requirements for a Mobile Personal Health Record to Improve Cardiovascular Healthcare Services.” In Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, edited by Ahmed Seffah, Birgit Penzenstadler, Carina Alves, and Xin Peng, 557–62. ACM. https://doi.org/10.1145/3019612.3019725.
Ouhbi, Sofia, Maria Karampela, and Minna Isomursu. 2019. “Integrating Users Logic into Requirements Engineering for Connected Healthcare Co-Design.” In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, edited by Ernesto Damiani, George Spanoudakis, and Leszek A. Maciaszek, 480–85. SciTePress. https://doi.org/10.5220/0007754504800485.
Ouhbi, Sofia, and Nuno Pombo. 2020. “Software Engineering Education: Challenges and Perspectives.” In 2020 IEEE Global Engineering Education Conference, EDUCON 2020, Porto, Portugal, April 27-30, 2020, 202–9. IEEE. https://doi.org/10.1109/EDUCON45650.2020.9125353.
Palmkvist, Viktor, Elias Castegren, Philipp Haller, and David Broman.
http://arxiv.org/abs/1911.05672.
———. 2021. “Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs.” In CC ’21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021, edited by Aaron Smith, Delphine Demange, and Rajiv Gupta, 153–64. ACM. https://doi.org/10.1145/3446804.3446846.
———. 2023. “Statically Resolvable Ambiguity.” Proc. ACM Program. Lang. 7 (POPL): 1686–1712. https://doi.org/10.1145/3571251.
Palmkvist, Viktor, Anders Ågren Thuné, Elias Castegren, and David Broman. 2024. “Repr Types: One Abstraction to Rule Them All.” CoRR abs/2409.07950. https://doi.org/10.48550/ARXIV.2409.07950.
Pandiarajan, Ganeshkumar, Sofia Ouhbi, Jennifer Gross, José A. Garcı́a-Berná, and Joaquı́n Nicolás. 2024. “Exploring the Relationship Between Environmental Sustainability and Usability in Popular Sports Websites.” In 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024, Paris, France, August 28-30, 2024, 256–59. IEEE. https://doi.org/10.1109/SEAA64295.2024.00047.
Parkinson, Matthew J., Sylvan Clebsch, and Tobias Wrigstad. 2024. “Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract.” In Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, ISMM 2024, Copenhagen, Denmark, 25 June 2024, edited by Michael D. Bond, Jae W. Lee, and Hannes Payer, 131–41. ACM. https://doi.org/10.1145/3652024.3665507.
Parrow, Joachim, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, and Tjark Weber. 2015. “Modal Logics for Nominal Transition Systems.” In 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, edited by Luca Aceto and David de Frutos-Escrig, 42:198–211. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2015.198.
———. 2019. “Modal Logics for Nominal Transition Systems.” CoRR abs/1904.02564. http://arxiv.org/abs/1904.02564.
———. 2021. “Modal Logics for Nominal Transition Systems.” Log. Methods Comput. Sci. 17 (1). https://lmcs.episciences.org/7137.
Parrow, Joachim, Johannes Borgström, Palle Raabjerg, and Johannes Åman Pohjola. 2014. “Higher-Order Psi-Calculi.” Math. Struct. Comput. Sci. 24 (2). https://doi.org/10.1017/S0960129513000170.
Parrow, Joachim, and Tjark Weber. 2016. “The Largest Respectful Function.” Log. Methods Comput. Sci. 12 (2). https://doi.org/10.2168/LMCS-12(2:11)2016.
Parrow, Joachim, Tjark Weber, Johannes Borgström, and Lars-Henrik Eriksson. 2017. “Weak Nominal Modal Logic.” In Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, Discotec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, edited by Ahmed Bouajjani and Alexandra Silva, 10321:179–93. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-60225-7\_13.
Pichardie, David, and Tjark Weber, eds. 2012. Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, Pxtp 2012, Manchester, Uk, June 30, 2012. Vol. 878. CEUR Workshop Proceedings. CEUR-WS.org. https://ceur-ws.org/Vol-878.
Premanandan, Shweta. 2024. “Care for Caregivers: Designing IT Applications for Informal Caregivers.” PhD thesis, Uppsala University, Sweden. https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-535425.
Premanandan, Shweta, Awais Ahmad, and Åsa Cajander. 2024. “Digital Inertia: A Qualitative Study with a Caregiver Association Network About Informal Caregivers’ Non-Use of IT Applications.” In Digital Health and Informatics Innovations for Sustainable Health Care Systems - Proceedings of MIE 2024, Athens, Greece, 25-29 August 2024, edited by John Mantas, Arie Hasman, George Demiris, Kaija Saranto, Michael Marschollek, Theodoros N. Arvanitis, Ivana Ognjanovic, et al., 316:166–70. Studies in Health Technology and Informatics. IOS Press. https://doi.org/10.3233/SHTI240370.
Premanandan, Shweta, Awais Ahmad, Åsa Cajander, and Pär J. Ågerfalk.
https://doi.org/10.3233/SHTI230310.
Premanandan, Shweta, Awais Ahmad, Åsa Cajander, Sami Pohjolainen, Pär J. Ågerfalk, Mikko Rajanen, and Lisette van Gemert-Pijnen. 2024. “HealthCheck: A Method for Evaluating Persuasive Mobile Health Applications.” Health Informatics J. 30 (4). https://doi.org/10.1177/14604582241290969.
Quinde, Mario, Juan Carlos Augusto, and Sofia Ouhbi. 2020. “10th International Workshop on Intelligent Environments Supporting Healthcare and Well-Being (Wishwell’20).” In Intelligent Environments 2020 - Workshop Proceedings of the 16th International Conference on Intelligent Environment, Madrid, Spain, 20-23 July 2020, edited by Carlos Angel Iglesias, Jose Ignacio Moreno Novella, Alessandro Ricci, Diego Rivera Pinto, and Dumitru Roman, 28:3–4. Ambient Intelligence and Smart Environments. IOS Press. https://doi.org/10.3233/AISE200016.
Raabjerg, Palle, Johannes Åman Pohjola, and Tjark Weber. 2024. “Broadcast Psi-Calculi.” Arch. Formal Proofs 2024. https://www.isa-afp.org/entries/Broadcast\_Psi.html.
Rabe, Robert, Anastasiia Izycheva, and Eva Darulova. 2021. “Regime Inference for Sound Floating-Point Optimizations.” ACM Trans. Embed. Comput. Syst. 20 (5s): 81:1–81:23. https://doi.org/10.1145/3477012.
Richardson, Ita, Bilal Ahmad, Shweta Premanandan, Owen Doody, Sarah Beecham, Sofia Ouhbi, Muneef Alshammari, and Åsa Cajander. 2023. “Generic Requirements for Inclusive Healthcare Software: Supporting Older Adults and People with Intellectual and Developmental Disability.” In *31st IEEE International Requirements Engineering Conference, RE 2023
https://doi.org/10.1109/REW57809.2023.00081.
Salamati, Mahmoud, Rocco Salvia, Eva Darulova, Sadegh Soudjani, and Rupak Majumdar. 2019. “Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.” ACM Trans. Embed. Comput. Syst. 18 (5s): 100:1–100:19. https://doi.org/10.1145/3358223.
Schneider, Sven, Johannes Borgström, and Uwe Nestmann. 2008. “Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms.” In Autonomous Systems - Self-Organization, Management, and Control, Proceedings of the 8th International Workshop Held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008, edited by Bernd Mahr and Huanye Sheng, 97–104. Springer. https://doi.org/10.1007/978-1-4020-8889-6\_11.
Shimchenko, Marina, Erik Österlund, and Tobias Wrigstad. 2024a. “Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors.” Art Sci. Eng. Program. 8 (3). https://doi.org/10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/10.
———. 2024b. “Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors.” CoRR abs/2403.02200. https://doi.org/10.48550/ARXIV.2403.02200.
Shimchenko, Marina, Mihail Popov, and Tobias Wrigstad. 2022. “Analysing and Predicting Energy Consumption of Garbage Collectors in Openjdk.” In Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022, edited by Elisa Gonzalez Boix and Tobias Wrigstad, 3–15. ACM. https://doi.org/10.1145/3546918.3546925.
Skoglund, Mats, and Tobias Wrigstad. 2002. “Alias Control with Read-Only References.” In Proceedings of the 6th Joint Conference on Information Science, March 8-13, 2002, Research Triangle Park, North Carolina, USA, edited by H. John Caulfield, Shu-Heng Chen, Heng-Da Cheng, Richard J. Duro, Vasant G. Honavar, Etienne E. Kerre, Mi Lu, et al., 387–91. JCIS / Association for Intelligent Machinery, Inc.
Souza-Pereira, Leonice, Sofia Ouhbi, and Nuno Pombo. 2021a. “A Process Model for Quality in Use Evaluation of Clinical Decision Support Systems.” J. Biomed. Informatics 123: 103917. https://doi.org/10.1016/J.JBI.2021.103917.
———. 2021b. “Quality-in-Use Characteristics for Clinical Decision Support System Assessment.” Comput. Methods Programs Biomed. 207:
Souza-Pereira, Leonice, Nuno Pombo, and Sofia Ouhbi. 2022. “Software Quality: Application of a Process Model for Quality-in-Use Assessment.” J. King Saud Univ. Comput. Inf. Sci. 34 (7): 4626–34. https://doi.org/10.1016/J.JKSUCI.2022.03.031.
Souza-Pereira, Leonice, Nuno Pombo, Sofia Ouhbi, Virginie Felizardo, and Nuno M. Garcia. 2020. “Clinical Decision Support Systems for Chronic Diseases: A Systematic Literature Review.” Comput. Methods Programs Biomed. 195: 105565. https://doi.org/10.1016/J.CMPB.2020.105565.
Stanley-Marbell, Phillip, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, et al. 2018. “Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms.” CoRR abs/1809.05859. http://arxiv.org/abs/1809.05859.
———. 2021. “Exploiting Errors for Efficiency: A Survey from Circuits to Applications.” ACM Comput. Surv. 53 (3): 51:1–51:39. https://doi.org/10.1145/3394898.
Struth, Georg, and Tjark Weber. 2014. “Relation Algebra.” Arch. Formal Proofs 2014. https://www.isa-afp.org/entries/Relation\_Algebra.shtml.
Tasos, Alexandros, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach. 2020a. “Implementation of SHAPES Case Studies (Artifact).” Dagstuhl Artifacts Ser. 6 (2): 19:1–19:3. https://doi.org/10.4230/DARTS.6.2.19.
———. 2020b. “Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality.” Sci. Comput. Program. 197:
———. 2020c. “Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-First).” In 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, 166:31:1–31:3. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ECOOP.2020.31.
Tasos, Alexandros, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach. 2018. “Extending SHAPES for SIMD Architectures: An Approach to Native Support for Struct of Arrays in Languages.” In Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Icooolps@ECOOP 2018, Amsterdam, Netherlands, July 16-21, 2018, edited by Tim Felgentreff and Olivier Zendra, 23–29. ACM. https://doi.org/10.1145/3242947.3242951.
Tavakoli-Someh, Sanaz, Marina Shimchenko, Erik Österlund, Rodrigo Bruno, Paulo Ferreira, and Tobias Wrigstad. 2023. “Heap Size Adjustment with CPU Control.” In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2023, Cascais, Portugal, 22 October 2023, edited by Rodrigo Bruno and Eliot Moss, 114–28. ACM. https://doi.org/10.1145/3617651.3622988.
Tews, Hendrik, Marcus Völp, and Tjark Weber. 2009. “Formal Memory Models for the Verification of Low-Level Operating-System Code.” J. Autom. Reason. 42 (2-4): 189–227. https://doi.org/10.1007/S10817-009-9122-0.
———. 2012. “On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code.” In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012, edited by Franck Cassez, Ralf Huuck, Gerwin Klein, and Bastian Schlich, 102:73–87. EPTCS. https://doi.org/10.4204/EPTCS.102.8.
Tews, Hendrik, Tjark Weber, and Marcus Völp. 2008. “A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code.” In Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008, edited by Ralf Huuck, Gerwin Klein, and Bastian Schlich, 217:79–96. Electronic Notes in Theoretical Computer Science. Elsevier. https://doi.org/10.1016/J.ENTCS.2008.06.043.
Torstensson, Olle, and Tjark Weber. 2023. “Hammering Floating-Point Arithmetic.” In Frontiers of Combining Systems - 14th International Symposium, Frocos 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings, edited by Uli Sattler and Martin Suda, 14279:217–35. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-43369-6\_12.
Wang, Zhenlin, and Tobias Wrigstad, eds. 2021. ISMM ’21: 2021 ACM SIGPLAN International Symposium on Memory Management, Virtual Event, Canada, 22 June 2021. ACM. https://doi.org/10.1145/3459898.
Weber, Tjark. 2004a. “Bounded Model Generation for Isabelle/Hol.” In Selected Papers from the Workshops on Disproving, d@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, Pdpar@IJCAR 2004, Cork, Ireland, July 2004, edited by Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, and Cesare Tinelli, 125:103–16. Electronic Notes in Theoretical Computer Science 3. Elsevier. https://doi.org/10.1016/J.ENTCS.2004.10.027.
———. 2004b. “Towards Mechanized Program Verification with Separation Logic.” In Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the Eacsl, Karpacz, Poland, September 20-24, 2004, Proceedings, edited by Jerzy Marcinkowski and Andrzej Tarlecki, 3210:250–64. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-30124-0\_21.
———. 2005. “Integrating a SAT Solver with an Lcf-Style Theorem Prover.” In Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, Pdpar@CAV 2005, Edinburgh, Uk, July 12, 2005, edited by Alessandro Armando and Alessandro Cimatti, 144:67–78. Electronic Notes in Theoretical Computer Science 2. Elsevier. https://doi.org/10.1016/J.ENTCS.2005.12.007.
———. 2008. “SAT-Based Finite Model Generation for Higher-Order Logic.” PhD thesis, Technical University Munich, Germany. http://mediatum2.ub.tum.de/doc/676608/document.pdf.
———. 2010. “Validating QBF Invalidity in HOL4.” In Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, Uk, July 11-14, 2010. Proceedings, edited by Matt Kaufmann and Lawrence C. Paulson, 6172:466–80. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-14052-5\_32.
———. 2011. “SMT Solvers: New Oracles for the HOL Theorem Prover.” Int. J. Softw. Tools Technol. Transf. 13 (5): 419–29. https://doi.org/10.1007/S10009-011-0188-8.
———. 2016. “Scrambling and Descrambling SMT-LIB Benchmarks.” In Proceedings of the 14th International Workshop on Satisfiability Modulo Theories Affiliated with the International Joint Conference on Automated Reasoning, Smt@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016, edited by Tim King and Ruzica Piskac, 1617:31–40. CEUR Workshop Proceedings. CEUR-WS.org. https://ceur-ws.org/Vol-1617/paper3.pdf.
Weber, Tjark, and Hasan Amjad. 2009. “Efficiently Checking Propositional Refutations in HOL Theorem Provers.” J. Appl. Log. 7 (1): 26–40. https://doi.org/10.1016/J.JAL.2007.07.003.
Weber, Tjark, and James L. Caldwell. 2003. “Constructively Characterizing Fold and Unfold.” In Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, edited by Maurice Bruynooghe, 3018:110–27. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-540-25938-1\_11.
Weber, Tjark, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, and Giles Reger. 2019. “The SMT Competition 2015-2018.” J. Satisf. Boolean Model. Comput. 11 (1): 221–59. https://doi.org/10.3233/SAT190123.
Weber, Tjark, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, and Ramunas Gutkovas. 2016. “Modal Logics for Nominal Transition Systems.” Arch. Formal Proofs 2016. https://www.isa-afp.org/entries/Modal\_Logics\_for\_NTS.shtml.
Wrigstad, Tobias. 2006. “Ownership-Based Alias Managemant.” PhD thesis, Royal Institute of Technology, Stockholm, Sweden. https://nbn-resolving.org/urn:nbn:se:kth:diva-3956.
———. 2012. “Structured Aliasing.” In *ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16,
———. 2013. “Structured Aliasing.” In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, edited by Dave Clarke, James Noble, and Tobias Wrigstad, 7850:512–13. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-642-36946-9\_22.
Wrigstad, Tobias, and Elias Castegren. 2019. “Mastery Learning-Like Teaching with Achievements.” CoRR abs/1906.03510. http://arxiv.org/abs/1906.03510.
Wrigstad, Tobias, and Dave Clarke. 2007. “Existential Owners for Ownership Types.” J. Object Technol. 6 (4): 141–59. https://doi.org/10.5381/JOT.2007.6.4.A5.
Wrigstad, Tobias, Patrick Eugster, John Field, Nate Nystrom, and Jan Vitek. 2009. “Software Hardening: A Research Agenda.” In Proceedings for the 1st Workshop on Script to Program Evolution, STOP ’09, Genova, Italy, July 6, 2009, edited by Tobias Wrigstad, Nate Nystrom, and Jan Vitek, 58–70. ACM. https://doi.org/10.1145/1570506.1570513.
Wrigstad, Tobias, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, and Jan Vitek. 2010. “Integrating Typed and Untyped Code in a Scripting Language.” In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, edited by Manuel V. Hermenegildo and Jens Palsberg, 377–88. ACM. https://doi.org/10.1145/1706299.1706343.
Wrigstad, Tobias, Nate Nystrom, and Jan Vitek, eds. 2009. Proceedings for the 1st Workshop on Script to Program Evolution, STOP ’09, Genova, Italy, July 6, 2009. ACM. https://doi.org/10.1145/1570506.
Wrigstad, Tobias, Filip Pizlo, Fadi Meawad, Lei Zhao, and Jan Vitek.
Yabaku, Mounika, and Sofia Ouhbi. 2024. “University Students’ Perception and Expectations of Generative AI Tools for Software Engineering.” In 36th International Conference on Software Engineering Education and Training, Csee&T 2024, Würzburg, Germany, July 29 - Aug. 1, 2024, 1–5. IEEE. https://doi.org/10.1109/CSEET62301.2024.10663035.
Yang, Albert Mingkun, Erik Österlund, Jesper Wilhelmsson, Hanna Nyblom, and Tobias Wrigstad. 2020. “ThinGC: Complete Isolation with Marginal Overhead.” In ISMM ’20: 2020 ACM SIGPLAN International Symposium on Memory Management, ISMM 2020, Virtual [London, Uk], June 16, 2020, edited by Chen Ding and Martin Maas, 74–86. ACM. https://doi.org/10.1145/3381898.3397213.
Yang, Albert Mingkun, Erik Österlund, and Tobias Wrigstad. 2020. “Improving Program Locality in the GC Using Hotness.” In Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, Uk, June 15-20, 2020, edited by Alastair F. Donaldson and Emina Torlak, 301–13. ACM. https://doi.org/10.1145/3385412.3385977.
Yang, Albert Mingkun, and Tobias Wrigstad. 2017. “Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures.” In Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017, edited by Christoph M. Kirsch and Ben L. Titzer, 14–24. ACM. https://doi.org/10.1145/3092255.3092274.
———. 2022. “Deep Dive into ZGC: A Modern Garbage Collector in Openjdk.” ACM Trans. Program. Lang. Syst. 44 (4): 22:1–22:34. https://doi.org/10.1145/3538532.