Our paper “A Compositional Semantics for Reconfigurable Multi-Mode Interaction in R-CHECK” has been accepted for publication in the International Journal of Software Tools for Technology Transfer (STTT). lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2026-02-18-sttt/","date_published":"2026-02-18T10:17:01+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2026-02-18 10:17","date_timestamp":1771409821,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"83211246","content_html":"I have joined the ASQAP 2026 program committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2026-01-30-asqap26/","date_published":"2026-01-30T11:04:50+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2026-01-30 11:04","date_timestamp":1769771090,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"74311374","content_html":"I have joined the VMCAI'26 artifact evaluation committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-09-25-vmcai26-aec/","date_published":"2025-09-25T08:59:35+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-09-25 08:59","date_timestamp":1758790775,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"71297513","content_html":"On September 15, 2025 I will give a talk on “Full LTL Synthesis over Infinite-state Arenas” at the VASSAL Workshop in Graz, Austria. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-08-15-rv25-vassal/","date_published":"2025-08-15T10:18:10+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-08-15 10:18","date_timestamp":1755253090,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"68915092","content_html":"My paper “Execution and monitoring of HOA automata with HOAX” has been accepted to RV 2025 (tool track). lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-07-14-rv25-hoax/","date_published":"2025-07-14T07:53:54+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-07-14 07:53","date_timestamp":1752479634,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"68407120","content_html":"I have joined the EMSOFT'25 Artifact Evaluation Committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-06-11-emsoft25-aec/","date_published":"2025-07-07T14:27:59+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-07-07 14:27","date_timestamp":1751898479,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"66512182","content_html":"I have joined the RV'25 program committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-06-11-rv25-pc/","date_published":"2025-06-11T11:24:51+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-06-11 11:24","date_timestamp":1749641091,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"65514160","content_html":"The final preprint of our CAV'25 paper is now available on ArXiv. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-05-29-cav-preprint/","date_published":"2025-05-29T11:34:32+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-05-29 11:34","date_timestamp":1748518472,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"61363979","content_html":"Our paper “Full LTL Synthesis over Infinite-state Arenas” has been accepted to CAV 2025. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-04-03-cav/","date_published":"2025-04-03T07:55:23+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-04-03 07:55","date_timestamp":1743666923,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"61363978","content_html":"I have joined the FMICS'25 Program Committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2025-01-28-fmics/","date_published":"2025-01-28T14:46:52+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2025-01-28 14:46","date_timestamp":1738075612,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976870","content_html":"On Dec 9, 2024 I will be giving an invited seminar at University of Parma, Italy. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/2024-unipr-seminar/","date_published":"2024-11-07T13:04:18+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-11-07 13:04","date_timestamp":1730984658,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976869","content_html":"I have joined the ASQAP 2025 program committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/asqap-2025/","date_published":"2024-09-26T19:46:19+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-09-26 19:46","date_timestamp":1727379979,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976868","content_html":"Omar Inverso confirmed as keynote speaker at FTfJP'24. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/ftfjp2024-inverso/","date_published":"2024-08-06T07:57:51+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-08-06 07:57","date_timestamp":1722931071,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976866","content_html":"I have joined the NSAD 2024 program committee. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/nsad-2024/","date_published":"2024-07-22T07:46:19+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-07-22 07:46","date_timestamp":1721634379,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976865","content_html":"Papers “Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification” and “Attributed Point-to-point Communication in R-Check” accepted to ISoLA'24. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/isola-2024/","date_published":"2024-07-03T08:30:38+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-07-03 08:30","date_timestamp":1719995438,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976864","content_html":"Deadline extension for FTfJP'24. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/ftfjp-2024-deadline/","date_published":"2024-06-17T08:51:49+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-06-17 08:51","date_timestamp":1718614309,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"36668115","content_html":"Trying to see if micro.blog still works after some shenanigans with GitHub Actions & Pages 👀","summary":"","url":"http://lou1306.github.io/microblog/20240502/update/","date_published":"2024-05-02T12:02:09+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-05-02 12:02","date_timestamp":1714651329,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"51982140","content_html":"Trying to see if micro.blog still works after some shenanigans with GitHub Actions & Pages 👀","summary":"","url":"https://lou1306.github.io/microblog/20240502/update/","date_published":"2024-05-02T12:02:09+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-05-02 12:02","date_timestamp":1714651329,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"51976863","content_html":"I will chair the FTfJP'24 workshop at ECOOP'24. lucadistefano.eu
","summary":"","url":"https://www.lucadistefano.eu/news/ftjp-2024-chair/","date_published":"2024-04-15T08:07:38+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-04-15 08:07","date_timestamp":1713168458,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":true,"is_mention":false,"note":"","syndication":[]}},{"id":"51976862","content_html":"From March 2024 I will join the Cyber Physical Systems research unit at TU Wien, Vienna, Austria.
I am truly thankful to Nir for my stay at GU/Chalmers and wish all my colleagues at CSE enduring success in their research endeavours.
","summary":"","url":"https://www.lucadistefano.eu/news/tuwien/","date_published":"2024-02-16T13:33:40+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-02-16 13:33","date_timestamp":1708090420,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"51976861","content_html":"I have joined the FMICS'24 Program Committee.
","summary":"","url":"https://www.lucadistefano.eu/news/fmics-2024/","date_published":"2024-01-23T13:28:29+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2024-01-23 13:28","date_timestamp":1706016509,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"51982141","content_html":"📽 Eternal Sunshine of the Spotless Mind. Ineffable is the word","summary":"","url":"https://lou1306.github.io/microblog/20180327/eternal-sunshine/","date_published":"2018-03-27T16:42:25+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2018-03-27 16:42","date_timestamp":1522168945,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"433451","content_html":"📽 Eternal Sunshine of the Spotless Mind. Ineffable is the word","summary":"","url":"http://lou1306.github.io/microblog/20180327/eternal-sunshine/","date_published":"2018-03-27T16:42:25+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2018-03-27 16:42","date_timestamp":1522168945,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"36668117","content_html":"📺 binge-watching Halt and Catch Fire. People used to have so much bare-metal fun back in the day, didn’t they?","summary":"","url":"http://lou1306.github.io/microblog/20180219/halt-and-catch-fire/","date_published":"2018-02-19T17:44:04+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2018-02-19 17:44","date_timestamp":1519062244,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"12815434","content_html":"📺 binge-watching Halt and Catch Fire. People used to have so much bare-metal fun back in the day, didn’t they?","summary":"","url":"https://lou1306.github.io/microblog/20180219/halt-and-catch-fire/","date_published":"2018-02-19T17:44:04+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2018-02-19 17:44","date_timestamp":1519062244,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"348081","content_html":"@lou1306 Quite remarkable, If I dare say so myself!
\n","url":"https://micro.blog/lou1306/348081","date_published":"2018-02-18T16:40:06+00:00","author":{"name":"Luca Di Stefano","url":"http://lou1306.github.io","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Fwww.gravatar.com%2Favatar%2Fb1549ac9d27e6458d79ec9d340887b0b%3Fs%3D96%26d%3Dhttps%253A%252F%252Fmicro.blog%252Fimages%252Fblank_avatar.png","_microblog":{"username":"lou1306"}},"_microblog":{"date_relative":"2018-02-18 16:40","date_timestamp":1518972006,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}}]}