Michele Lora

Postdoctoral Research Fellow | Singapore University of Technology and Design

  • Home
  • Bio
  • Pubblications
  • News
  • Home
  • Bio
  • Pubblications
  • News

Category: Latest News

New paper accepted at the ACM/IEEE Design, Automation and Test in Europe (DATE) Conference 2020

November 29, 2019November 29, 2019

A paper titled “Production Recipe Validation through Formalization and Digital Twin Generation“, co-authored with Stefano Spellini, Roberta Chirico, Marco Panato, and Franco Fummi has been accepted at the ACM/IEEE Design, Automation and Test in Europe (DATE) Conference 2020, to be held in Grenoble from the 09th to […]

Latest News

Paper accepted in the Journal track of Embedded Systems Week 2019

July 30, 2019August 14, 2019

A paper titled “Compositional Design of Multi-Robot Systems Control Software on ROS“, co-authored with Stefano Spellini, Franco Fummi, and Sudipta Chattopadhyay has been accepted in the Journal track of the Embedded Systems Week (ESWeek) 2019. I will present the paper at the International Conference […]

Latest News

Paper accepted at the international Forum on specification and Design Languages (FDL 2019)

July 30, 2019August 14, 2019

A paper titled: “Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0“, co-authored with Roberta Chirico, Stefano Spellini, and Franco Fummi has been accepted at the International Forum on specification & Design Language (FDL) 2019, that will be held in […]

Latest News

Paper accepted at IEEE International Conference on Industrial Informatics 2019

May 23, 2019August 14, 2019

A paper titled: “A Contract-based Methodology for Production Lines Validation” co-authored with Roberta Chirico, Stefano Spellini, Marco Panato, and Franco Fummi has been accepted at the IEEE International Conference on Industrial Informatics (INDIN) 2019 – Industrial Applications of Artificial Intelligence, that will be held […]

Latest News

Journal paper accepted in the IEEE Transactions on Computers

April 10, 2019April 10, 2019

A paper titled “Translation, Abstraction and Integration for Effective Smart System Design” has been accepted for publication in the IEEE Transactions on Computers. This work organizes in a comprehensive e structured flow the research in the field of modeling and […]

Latest News

Work-in-Progress paper accepted at Embedded Systems Week 2018

August 18, 2018September 21, 2018

A paper titled “Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications“, co-authored with Stefano Spellini, Sudipta Chattopadhyay and Franco Fummi has been accepted at the Work-in-Progress session of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2018. CODES+ISSS is one […]

Latest News

Paper accepted at the International Forum on specification & Design Languages (FDL 2018)

August 18, 2018September 21, 2018

A paper titled: “Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms” co-authored with Stefano Centomo, and Franco Fummi has been accepted at the International Forum on specification & Design Language (FDL) 2018, that will be held in Munich (Germany) on […]

Latest News

Welcome to my website

July 14, 2018September 21, 2018

Welcome to my website: It is still under construction by my wonderful (non-computer scientist) wife Anna. This will be the main hub for the information about myself. I will keep it updated with all the interesting material about my research […]

Latest News

Contacts

michele_lora@sutd.edu.sg
michele.lora@univr.it

 

latest posts

  • New paper accepted at the ACM/IEEE Design, Automation and Test in Europe (DATE) Conference 2020
  • Paper accepted in the Journal track of Embedded Systems Week 2019
  • Paper accepted at the international Forum on specification and Design Languages (FDL 2019)
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy

My wife’s blog

senzarotelline.com

  • Google Scholar
  • Research Gate
  • Linkedin
  • Github
  • Twitter
  • Instagram
Proudly powered by WordPress | Theme: Dream by vsFish.