Articles matching “Jul”

  1. Clément Aubert, Volker Stolz, ECOOP Workshop Post-Proceedings, pp. 1-2, DOI. Volume 25, no. 1 ( 2026)
  2. Crystal Chang Din, FTfJP 2025 – Formal Techniques for Judicious Programming: Preface, pp. 1-2, DOI. Volume 25, no. 1 ( 2026)
  3. Burcu Kulahcioglu Ozkan, Tom Lauwaerts, DEBT 2025 – Third Workshop on Future Debugging Techniques: Preface, pp. 1-1, DOI. Volume 25, no. 1 ( 2026)
  4. Andrea Rosà, Paulo Ferreira, ICOOOLPS 2025 – Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems: Preface, pp. 1-2, DOI. Volume 25, no. 1 ( 2026)
  5. Eric Jul, Implementing Object Tracking in the Emerald Object-Oriented Language, pp. 1:1-1, DOI. Volume 25, no. 1 ( 2026)
  6. Sanjeev Sun Shakya, Qusai Ramadan, Julian Flake, Alexander Peikert, Support for Model-Based Data Sovereignty Analysis, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
  7. Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  8. Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio, Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report, pp. 1:1-22, PDF, DOI. Volume 18, no. 2 (July 2019)
  9. Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles, Formal reasoning over class models using TOMM, pp. 12:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
  10. Amin Oueslati, Philippe Cuenot, Julien Deantoni, Christophe Moreno, System Based Interference Analysis in Capella, pp. 14:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  11. Davide Di Ruscio, Dimitris Kolovos, International Workshop on Model Comparison, HTML, DOI. Volume 11, no. 3 (October 2012)
  12. Steffen Zschaler, European Research Project Symposium at ECOOP 2011, HTML, DOI. Volume 11, no. 1 (April 2012)
  13. Laurence Tratt, Martin Gogolla, ICMT 2010 Special Section, HTML, DOI. Volume 10, (2011)
  14. Farida Mostefaoui, Julie Vachon, Design-Level Detection of Interactions in Aspect-UML Models Using Alloy, pp. 137-165, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
  15. Horatiu Jula, Alternative Implementation of the C# Iterator Blocks, pp. 33-41, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  16. Richard Wiener, Branch and Bound Implementations of the Traveling Salesperson Problem - Part 4: Distributed processing solution using RMI, pp. 51-65, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  17. Juliana Küster Filipe, A logic-based Formalization for Component Specification, pp. 231-248, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)