Luciano Baresi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Angelo Morzenti

> Home > Persons > Luciano Baresi

Publications

2017
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BaresiMMKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BaresiMMKR17
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26(2): 7:1-7:47 (2017)
2012
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BaresiMMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BaresiMMR12
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012)
[c109]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/ifip6-3/AlliBBCMMOPRRSSSTD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip6-3/AlliBBCMMOPRRSSSTD12
Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli:
Green Move: Towards next generation sustainable smartphone-based vehicle sharing. SustainIT 2012: 1-5
2010
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BaresiMMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BaresiMMR10
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BaresiMMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BaresiMMR10
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) 2010: 90-104

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.