Articles matching “Jul”

  1. James Pontes Miranda, Ansgar Radermacher, Fabien Baligand, Julie Bonnail, Kunal Suri, Pascal Bannerot, Marcos Didonet Del Fabro, LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling, pp. 3:379-392, PDF, DOI. Volume 25, no. 3 ( 2026)
  2. Clément Aubert, Volker Stolz, ECOOP Workshop Post-Proceedings, pp. 1-2, PDF, DOI. Volume 25, no. 1 ( 2026)
  3. Crystal Chang Din, FTfJP 2025 – Formal Techniques for Judicious Programming: Preface, pp. 1-2, PDF, DOI. Volume 25, no. 1 ( 2026)
  4. Burcu Kulahcioglu Ozkan, Tom Lauwaerts, DEBT 2025 – Third Workshop on Future Debugging Techniques: Preface, pp. 1-1, PDF, DOI. Volume 25, no. 1 ( 2026)
  5. Andrea Rosà, Paulo Ferreira, ICOOOLPS 2025 – Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems: Preface, pp. 1-2, PDF, DOI. Volume 25, no. 1 ( 2026)
  6. Eric Jul, Implementing Object Tracking in the Emerald Object-Oriented Language, pp. 1:1-1, PDF, DOI. Volume 25, no. 1 ( 2026)
  7. 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)
  8. Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  9. 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)
  10. 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)
  11. 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)
  12. Davide Di Ruscio, Dimitris Kolovos, International Workshop on Model Comparison, HTML, DOI. Volume 11, no. 3 (October 2012)
  13. Steffen Zschaler, European Research Project Symposium at ECOOP 2011, HTML, DOI. Volume 11, no. 1 (April 2012)
  14. Laurence Tratt, Martin Gogolla, ICMT 2010 Special Section, HTML, DOI. Volume 10, (2011)
  15. 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)
  16. Horatiu Jula, Alternative Implementation of the C# Iterator Blocks, pp. 33-41, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  17. 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)
  18. Juliana Küster Filipe, A logic-based Formalization for Component Specification, pp. 231-248, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)