Leonardo Mangeruca

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 Christos Sofronis

> Home > Persons > Leonardo Mangeruca

Publications

2018
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/FerranteFSMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/FerranteFSMB18
Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti:
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. Handbook of Parallel Constraint Reasoning 2018: 617-632
2014
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/FerrantePFMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/FerrantePFMS14
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis:
BCL: A compositional contract language for embedded systems. ETFA 2014: 1-6
2012
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/FerranteBMSF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/FerranteBMSF12
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari:
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops 2012: 409-416
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/BenvenutiFMMPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/BenvenutiFMMPS08
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis:
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147
2007
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BenvenisteCFMPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BenvenisteCFMPS07
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225

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.