default search action

combined dblp search
author search
venue search
publication search

ask others

Carlo Ghezzi

> Home > Persons

Person information

affiliation: Polytechnic University of Milan, Italy

SPARQL queries

run query for this person

or build your own?

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/WerthnerSSKHG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/WerthnerSSKHG23
Hannes Werthner, Allison Stanger, Viola Schiaffonati, Peter Knees, Lynda Hardman, Carlo Ghezzi:
Digital Humanism: The Time Is Now. Computer 56(1): 138-142 (2023)
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BaresiCG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BaresiCG23
Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi:
Understanding Fairness Requirements for ML-based Software. RE 2023: 341-346
2022
[p12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/22/Ghezzi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/Ghezzi22
Carlo Ghezzi:
Should We Rethink How We Do Research? Perspectives on Digital Humanism 2022: 323-327
[e11]
- view
  authority control:
- export record
  dblp key:
  - books/sp/22/WPLG2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/WPLG2022
Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi:
Perspectives on Digital Humanism. Springer 2022, ISBN 978-3-030-86143-8 [contents]
2021
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Ghezzi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Ghezzi21
Carlo Ghezzi:
Science needs to engage with society: some lessons from COVID-19. Commun. ACM 64(8): 36-38 (2021)
[j76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/PisperoMGMVTL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/PisperoMGMVTL21
Alberto Pispero, Marco Marcon, Carlo Ghezzi, Domenico Massironi, Elena Maria Varoni, Stefano Tubaro, Giovanni Lodi:
Posture Assessment in Dentistry for Different Visual Aids Using 2D Markers. Sensors 21(22): 7717 (2021)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ViscontiTHG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ViscontiTHG21
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20(6): 2003-2022 (2021)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MenghiTPGB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MenghiTPGB21
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger:
Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. 47(10): 2208-2224 (2021)
2020
[b6]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Ghezzi20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Ghezzi20
Carlo Ghezzi:
Being a Researcher - An Informatics Perspective. Springer 2020, ISBN 978-3-030-45156-1, pp. 1-132
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LiTJHG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LiTJHG20
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170: 110742 (2020)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/toit/TsigkanosGBG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toit/TsigkanosGBG20
Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20(2): 17:1-17:23 (2020)
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TsigkanosLJHG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TsigkanosLJHG20
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE 2020: 993-1003
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-11428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-11428
Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR abs/2004.11428 (2020)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-06719
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-06719
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR abs/2007.06719 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MenghiSCG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MenghiSCG19
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31(5): 459-502 (2019)
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AskarpourGMRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AskarpourGMRT19
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos:
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 110-130
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BennaceurGTKWCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BennaceurGTKWCD19
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TsigkanosNLGDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TsigkanosNLGDG19
Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ViscontiTHG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ViscontiTHG19
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS 2019: 45-55
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/LiTJDHG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/LiTJDHG19
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi:
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom 2019: 1-10
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1901-02077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-02077
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger:
Specification Patterns for Robotic Missions. CoRR abs/1901.02077 (2019)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-04771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-04771
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. CoRR abs/1903.04771 (2019)
2018
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/AfanasovMG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/AfanasovMG18
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi:
Software Adaptation in Wireless Sensor Networks. ACM Trans. Auton. Adapt. Syst. 12(4): 18:1-18:29 (2018)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/TsigkanosPGN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/TsigkanosPGN18
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh:
On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. 15(3): 466-480 (2018)
[c165]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MenghiSCG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MenghiSCG18
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
Supporting Verification-Driven Incremental Distributed Design of Components. FASE 2018: 169-188
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TsigkanosLJHG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TsigkanosLJHG18
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE 2018: 13-18
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MenghiTBPG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MenghiTBPG18
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi:
Property specification patterns for robotic missions. ICSE (Companion Volume) 2018: 434-435
[c162]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/TsigkanosKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/TsigkanosKG18
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering 2018: 113-114
[p11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/18/Ghezzi18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/Ghezzi18
Carlo Ghezzi:
Formal Methods and Agile Development: Towards a Happy Marriage. The Essence of Software Engineering 2018: 25-36
[i12]
- view
  - electronic edition @ nii.ac.jp (open access)
  - details & citations
- export record
  dblp key:
  - journals/shonan-reports/BennaceurGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/BennaceurGT18
Amel Bennaceur, Carlo Ghezzi, Kenji Tei:
Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21). NII Shonan Meet. Rep. 2018 (2018)
2017
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/PasqualeGPTBFHN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/PasqualeGPTBFHN17
Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh:
Topology-Aware Access Control of Smart Spaces. Computer 50(7): 54-63 (2017)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LuoHG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LuoHG17
Chen Luo, Fei He, Carlo Ghezzi:
Inferring software behavioral models with MapReduce. Sci. Comput. Program. 145: 13-36 (2017)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/Ghezzi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/Ghezzi17
Carlo Ghezzi:
Of software and change. J. Softw. Evol. Process. 29(9) (2017)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BaresiGMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BaresiGMM17
Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna:
Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. 43(4): 340-358 (2017)
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/MenghiSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MenghiSG17
Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
Integrating Goal Model Analysis with Iterative Design. REFSQ 2017: 112-128
[c160]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/MenghiSG17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MenghiSG17a
Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops 2017
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BernasconiMSZG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BernasconiMSZG17
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From Model Checking to a Temporal Proof for Partial Models. SEFM 2017: 54-69
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TsigkanosKG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TsigkanosKG17
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE 2017: 38-48
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/2013adaptive
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2013adaptive
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6 [contents]
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BernasconiMSZG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernasconiMSZG17
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From model checking to a temporal proof for partial models: preliminary example. CoRR abs/1706.02701 (2017)
2016
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/TsigkanosKG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/TsigkanosKG16
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Architecting dynamic cyber-physical spaces. Computing 98(10): 1011-1040 (2016)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/CalinescuGJPRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/CalinescuGJPRT16
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli:
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. 65(1): 107-125 (2016)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/FilieriTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/FilieriTG16
Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi:
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. 42(1): 75-99 (2016)
[c157]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/ewsn/AfanasovMG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewsn/AfanasovMG16
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi:
Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems. EWSN 2016: 243-244
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MenghiSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MenghiSG16
Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
Dealing with Incompleteness in Automata-Based Model Checking. FM 2016: 531-550
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TsigkanosKGPN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TsigkanosKGPN16
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh:
Adding static and dynamic semantics to building information models. SEsCPS@ICSE 2016: 1-7
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BersaniBGKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BersaniBGKP16
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient large-scale trace checking using mapreduce. ICSE 2016: 888-898
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Ghezzi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Ghezzi16
Carlo Ghezzi:
Dependability of Adaptable and Evolvable Distributed Systems. SFM 2016: 36-60
[c152]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KehrerTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KehrerTG16
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi:
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS 2016: 16-30
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MenghiSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MenghiSG16
Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
Modeling, refining and analyzing Incomplete Büchi Automata. CoRR abs/1609.00610 (2016)
2015
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/GhezziMMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/GhezziMMT15
Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli:
Performance-driven dynamic service selection. Concurr. Comput. Pract. Exp. 27(3): 633-650 (2015)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/DragoGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/DragoGM15
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola:
A quality driven extension to the QVT-relations transformation language. Comput. Sci. Res. Dev. 30(1): 1-20 (2015)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CaporuscioG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CaporuscioG15
Mauro Caporuscio, Carlo Ghezzi:
Engineering Future Internet applications: The Prime approach. J. Syst. Softw. 106: 9-27 (2015)
[j58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BianculliFGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BianculliFGM15
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97: 47-54 (2015)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SalvaneschiGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SalvaneschiGP15
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102: 20-43 (2015)
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MannaGCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MannaGCG15
Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi:
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. MiSE@ICSE 2015: 42-47
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BianculliFGMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BianculliFGMR15
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi:
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE 2015: 68-74
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TsigkanosPGN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TsigkanosPGN15
Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh:
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) 2015: 729-732
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JiaGY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JiaGY15
Xiangyang Jia, Carlo Ghezzi, Shi Ying:
Enhancing reuse of constraint solutions to improve symbolic execution. ISSTA 2015: 177-187
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/GhafariGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/GhafariGR15
Mohammad Ghafari, Carlo Ghezzi, Konstantin Rubinov:
Automatically identifying focal methods under test in unit test cases. SCAM 2015: 61-70
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LuoHG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LuoHG15
Chen Luo, Fei He, Carlo Ghezzi:
Inferring Software Behavioral Models with MapReduce. SETTA 2015: 135-149
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JiaGY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JiaGY15
Xiangyang Jia, Carlo Ghezzi, Shi Ying:
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution. CoRR abs/1501.07174 (2015)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BersaniBGKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BersaniBGKP15
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient Large-scale Trace Checking Using MapReduce. CoRR abs/1508.06613 (2015)
2014
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CugolaGPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CugolaGPT14
Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli:
SelfMotion: A declarative approach for adaptive service-oriented mobile applications. J. Syst. Softw. 92: 32-44 (2014)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/re/GhezziMSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/GhezziMSS14
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini:
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19(3): 231-255 (2014)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/DistefanoGGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/DistefanoGGM14
Salvatore Distefano, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola:
Dependability Assessment of Web Service Orchestrations. IEEE Trans. Reliab. 63(3): 689-705 (2014)
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GhezziMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GhezziMS14
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio:
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Specification, Algebra, and Software 2014: 276-295
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AfanasovMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AfanasovMG14
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi:
Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. COMPSAC Workshops 2014: 372-377
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/dcoss/AfanasovMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcoss/AfanasovMG14
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi:
Context-Oriented Programming for Adaptive Wireless Sensor Network Software. DCOSS 2014: 233-240
[c142]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BersaniBGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BersaniBGKP14
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
SMT-Based Checking of SOLOIST over Sparse Traces. FASE 2014: 276-290
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BersaniBDGGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BersaniBDGGK14
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic:
Towards the formalization of properties of cloud-based elastic systems. PESOS 2014: 38-47
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PasqualeGMTN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PasqualeGMTN14
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh:
Topology aware adaptive security. SEAMS 2014: 43-48
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziPST14
Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli:
Mining behavior models from user-intensive web applications. ICSE 2014: 277-287
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BianculliFGM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BianculliFGM14
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/GhafariGMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/GhafariGMT14
Mohammad Ghafari, Carlo Ghezzi, Andrea Mocci, Giordano Tamburrelli:
Mining unit tests for code recommendation. ICPC 2014: 142-145
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/GhezziGMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/GhezziGMM14
Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina:
A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. LASER Summer School 2014: 63-83
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/re/TsigkanosPMGN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/TsigkanosPMGN14
Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh:
Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE 2014: 203-212
[c134]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/BianculliGPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/BianculliGPS14
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Software Engineering 2014: 51-52
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BianculliGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BianculliGK14
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM 2014: 144-158
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/MottolaMWG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/MottolaMWG14
Luca Mottola, Mattia Moretta, Kamin Whitehouse, Carlo Ghezzi:
Team-level programming of drone sensor networks. SenSys 2014: 177-190
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/BianculliGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/BianculliGKP14
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA 2014: 9-16
[p10]
- view
  authority control:
- export record
  dblp key:
  - books/sp/aws14/CaporuscioFGI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/aws14/CaporuscioFGI14
Mauro Caporuscio, Marco Funaro, Carlo Ghezzi, Valérie Issarny:
ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking. Advanced Web Services 2014: 475-500
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BianculliGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BianculliGK14
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR abs/1406.3661 (2014)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BianculliGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BianculliGKP14
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR abs/1409.4653 (2014)
2013
[j53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/computing/CalinescuFG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/CalinescuFG13
Radu Calinescu, Robert B. France, Carlo Ghezzi:
Editorial. Computing 95(3): 165-166 (2013)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/BaresiG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/BaresiG13
Luciano Baresi, Carlo Ghezzi:
A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. 28(4): 267-277 (2013)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GhezziS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GhezziS13
Carlo Ghezzi, Amir Molzam Sharifloo:
Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. 55(3): 508-524 (2013)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/SalvaneschiGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/SalvaneschiGP13
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8(2): 7:1-7:29 (2013)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/SandionigiACG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/SandionigiACG13
Chiara Sandionigi, Danilo Ardagna, Gianpaolo Cugola, Carlo Ghezzi:
Optimizing Service Selection and Allocation in Situational Computing Applications. IEEE Trans. Serv. Comput. 6(3): 414-428 (2013)
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GhezziSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GhezziSM13
Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi:
Towards Agile Verification. Perspectives on the Future of Software Engineering 2013: 31-47
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/LemosGGGALSWBBB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LemosGGGALSWBBB13
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/WeynsBCCGGGIJMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/WeynsBCCGGGIJMM13
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 31-63
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/huc/AfanasovMG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/huc/AfanasovMG13
Mikhail Afanasov, Luca Mottola, Carlo Ghezzi:
Towards context-oriented programming in wireless sensor networks. UbiComp (Adjunct Publication) 2013: 151-154
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziPST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziPST13
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli:
Managing non-functional uncertainty via model-driven adaptivity. ICSE 2013: 33-42
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MannaGGB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MannaGGB13
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner:
Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS 2013: 63-72
[c124]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/GhezziPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/GhezziPT13
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Improving Interaction with Services via Probabilistic Piggybacking. ICSOC 2013: 39-53
[c123]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/im/GhezziPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/im/GhezziPT13
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Adaptive REST applications via model inference and probabilistic model checking. IM 2013: 1376-1382
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/re/GhezziMSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/GhezziMSS13
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini:
On requirements verification for model refinements. RE 2013: 62-71
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/MottolaWG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/MottolaWG13
Luca Mottola, Kamin Whitehouse, Carlo Ghezzi:
Towards spatial macroprogramming for sensing and actuating robot swarms. SenSys 2013: 37:1-37:2
[e9]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/7740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/7740
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4 [contents]
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1304-8034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-8034
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CordyHSSGL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CordyHSSGL13
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013)
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/LemosGGG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/LemosGGG13
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports 3(12): 67-96 (2013)
2012
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/CalinescuGKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/CalinescuGKM12
Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola:
Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/CugolaGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/CugolaGP12
Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto:
DSOL: a declarative approach to self-adaptive service orchestrations. Computing 94(7): 579-617 (2012)
[j46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FilieriGT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FilieriGT12
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. 24(2): 163-186 (2012)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SalvaneschiGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SalvaneschiGP12
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
Context-oriented programming: A software engineering perspective. J. Syst. Softw. 85(8): 1801-1817 (2012)
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/FilieriGLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/FilieriGLM12
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA 2012: 557-562
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/SalvaneschiGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/SalvaneschiGP12
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FilieriGLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FilieriGLM12
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Autotuning control structures for reliability-driven dynamic binding. CDC 2012: 418-423
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BianculliGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BianculliGP12
Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro:
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS 2012: 55-72
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriG12
Antonio Filieri, Carlo Ghezzi:
Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE 2012: 2-8
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriGLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriGLM12
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Reliability-driven dynamic binding via feedback control. SEAMS 2012: 43-52
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziGM12
Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna:
Synthesizing dynamically updating controllers from changes in scenario-based specifications. SEAMS 2012: 145-154
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziM12
Carlo Ghezzi, Andrea Mocci:
Behavioral validation of JFSL specifications through model synthesis. ICSE 2012: 936-946
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BianculliGPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BianculliGPS12
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification patterns from research to industry: A case study in service-based applications. ICSE 2012: 968-976
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PintoCG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PintoCG12
Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi:
Writing dynamic service orchestrations with DSOL. ICSE 2012: 1383-1386
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziMS12
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio:
Runtime monitoring of component changes with Spy@Runtime. ICSE 2012: 1403-1406
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/CugolaGPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/CugolaGPT12
Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli:
Adaptive Service-Oriented Mobile Applications: A Declarative Approach. ICSOC 2012: 607-614
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/monterey/Ghezzi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/monterey/Ghezzi12
Carlo Ghezzi:
Evolution, Adaptation, and the Quest for Incrementality. Monterey Workshop 2012: 369-379
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PintoCG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PintoCG12
Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi:
Dealing with changes in service orchestrations. SAC 2012: 1961-1967
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CugolaGPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CugolaGPT12
Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli:
SelfMotion: a declarative language for adaptive service-oriented mobile apps. SIGSOFT FSE 2012: 7
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/CaporuscioFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/CaporuscioFG12
Mauro Caporuscio, Marco Funaro, Carlo Ghezzi:
PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications. SC@TOOLS 2012: 51-67
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/swste/CaporuscioFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swste/CaporuscioFG12
Mauro Caporuscio, Marco Funaro, Carlo Ghezzi:
Resource-Oriented Middleware Abstractions for Pervasive Computing. SwSTE 2012: 1-10
[p9]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/FilieriGMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/FilieriGMT12
Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli:
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. Conquering Complexity 2012: 253-275
[p8]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AnastasiBNGTZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AnastasiBNGTZ12
Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo:
Introduction. ArtDeco 2012: 1-5
[p7]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AnastasiBNGTZ12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AnastasiBNGTZ12a
Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo:
Reference Case Study. ArtDeco 2012: 7-13
[p6]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CalcavecchiaNDGMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CalcavecchiaNDGMR12
Nicolò Maria Calcavecchia, Elisabetta Di Nitto, Daniel J. Dubois, Carlo Ghezzi, Valentina Mazza, Matteo Rossi:
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches. ArtDeco 2012: 85-113
[e8]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/7200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/7200
Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo:
Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations. Lecture Notes in Computer Science 7200, Springer 2012, ISBN 978-3-642-31738-5 [contents]
2011
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BaresiGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BaresiGM11
Luciano Baresi, Carlo Ghezzi, Luca Mottola:
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. 37(2): 228-246 (2011)
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/DistefanoFGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/DistefanoFGM11
Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola:
A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE 2011: 149-158
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/CardamoneMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/CardamoneMG11
Luigi Cardamone, Andrea Mocci, Carlo Ghezzi:
Dynamic synthesis of program invariants using genetic programming. IEEE Congress on Evolutionary Computation 2011: 624-631
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SalvaneschiGP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SalvaneschiGP11
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP 2011: 4:1-4:6
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/Ghezzi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/Ghezzi11
Carlo Ghezzi:
The Fading Boundary between Development Time and Run Time. ECOWS 2011: 11
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/icgse/NordioEMTGN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgse/NordioEMTGN11
Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto:
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE 2011: 176-184
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NordioGMNTTAK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NordioGMNTTAK11
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni:
Teaching software engineering using globally distributed projects: the DOSE course. CTGDSD@ICSE 2011: 36-40
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziPS11
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
An evaluation of the adaptation capabilities in programming languages. SEAMS 2011: 50-59
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FilieriGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FilieriGT11
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli:
Run-time efficient probabilistic model checking. ICSE 2011: 341-350
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FilieriGLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FilieriGLM11
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio:
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE 2011: 283-292
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/models/DragoGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DragoGM11
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola:
Towards Quality Driven Exploration of Model Transformation Spaces. MoDELS 2011: 2-16
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/models/GhezziMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/GhezziMS11
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio:
Runtime Monitoring of Functional Component Changes with Behavior Models. MoDELS (Workshops) 2011: 152-166
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MaBGML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MaBGML11
Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu:
Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE 2011: 245-255
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CamaraLGL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CamaraLGL11
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/GhezziS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/GhezziS11
Carlo Ghezzi, Amir Molzam Sharifloo:
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. SPLC 2011: 170-174
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/SivieriCG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/SivieriCG11
Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi:
Computational REST Meets Erlang. TOOLS (49) 2011: 244-259
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/wilde2011/CaporuscioFG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/wilde2011/CaporuscioFG11
Mauro Caporuscio, Marco Funaro, Carlo Ghezzi:
RESTful Service Architectures for Pervasive Networking Environments. REST: From Research to Practice 2011: 401-422
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Ghezzi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Ghezzi11
Carlo Ghezzi:
Engineering Evolving and Self-Adaptive Systems: An Overview. Software and Systems Safety - Specification and Verification 2011: 88-102
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/2011asas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/2011asas
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Anténia Lopes:
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011. ACM 2011, ISBN 978-1-4503-0853-3 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-1351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-1351
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming. CoRR abs/1104.1351 (2011)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1105-0069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-0069
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems. CoRR abs/1105.0069 (2011)
2010
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CaporuscioFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CaporuscioFG10
Mauro Caporuscio, Marco Funaro, Carlo Ghezzi:
Architectural Issues of Adaptive Pervasive Systems. Graph Transformations and Model-Driven Engineering 2010: 492-511
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/FilieriGGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/FilieriGGM10
Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola:
Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE 2010: 1-20
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/GhezziS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GhezziS10
Carlo Ghezzi, Amir Molzam Sharifloo:
Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines. Software Engineering for Self-Adaptive Systems 2010: 191-213
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GhezziPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GhezziPS10
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
Context oriented programming in highly concurrent systems. COP@ECOOP 2010: 1:1-1:3
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/BaresiCGG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/BaresiCGG10
Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea:
Model-Driven Management of Services. ECOWS 2010: 147-154
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/GrechanikMDCCPFXG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/GrechanikMDCCPFXG10
Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi:
An empirical investigation into a large-scale Java open source code repository. ESEM 2010
[c82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/GhezziMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GhezziMS10
Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi:
Automatic Cross Validation of Multiple Specifications: A Case Study. FASE 2010: 233-247
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MottolaVOEBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MottolaVOEBG10
Luca Mottola, Thiemo Voigt, Fredrik Österlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi:
Anquiro: enabling efficient static verification of sensor network software. SESENA@ICSE 2010: 32-37
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziPS10
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
Programming language support to context-aware adaptation: a case-study with Erlang. SEAMS 2010: 59-68
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziGM10
Carlo Ghezzi, Lars Grunske, Raffaela Mirandola:
First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). ICSE (2) 2010: 451-452
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-suite/GhezziM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-suite/GhezziM10
Carlo Ghezzi, Andrea Mocci:
Behavior model based component search: an initial assessment. SUITE@ICSE 2010: 9-12
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsc/FunaroBCG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsc/FunaroBCG10
Marco Funaro, Daniele Braga, Alessandro Campi, Carlo Ghezzi:
A hybrid approach (syntactic and textual) to clone detection. IWSC 2010: 79-80
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/models/DragoGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DragoGM10
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola:
QVTR²: A Rational and Performance-Aware Extension to the Relations Language. MoDELS (Workshops) 2010: 328
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/qosa/GhezziMMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qosa/GhezziMMT10
Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli:
QoS Driven Dynamic Binding in-the-many. QoSA 2010: 68-83
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Ghezzi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Ghezzi10
Carlo Ghezzi:
Adaptive Software Needs Continuous Verification. SEFM 2010: 3-4
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/servicewave/ArdagnaGPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/servicewave/ArdagnaGPT10
Danilo Ardagna, Carlo Ghezzi, Barbara Panicucci, Marco Trubian:
Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control. ServiceWave 2010: 1-12
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BaresiG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BaresiG10
Luciano Baresi, Carlo Ghezzi:
The disappearing boundary between development-time and run-time. FoSER 2010: 17-22
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/EpifaniGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/EpifaniGT10
Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli:
Change-point detection for black-box services. SIGSOFT FSE 2010: 227-236
[e6]
- view
- export record
  dblp key:
  - conf/icse/2010quovadis
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2010quovadis
Carlo Ghezzi, Lars Grunske, Raffaela Mirandola:
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa. ACM 2010, ISBN 978-1-60558-972-5 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BianculliGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BianculliGP09
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso:
Embedding continuous lifelong verification in service life cycles. PESOS@ICSE 2009: 99-102
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/EpifaniGMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/EpifaniGMT09
Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli:
Model evolution by run-time parameter adaptation. ICSE 2009: 111-121
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziMM09
Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BianculliBDG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BianculliBDG09
Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi:
ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE 2009: 623-626
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/qosa/GhezziT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qosa/GhezziT09
Carlo Ghezzi, Giordano Tamburrelli:
Predicting Performance Properties for Open Systems with KAMI. QoSA 2009: 70-85
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/re/GhezziT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/GhezziT09
Carlo Ghezzi, Giordano Tamburrelli:
Reasoning on Non-Functional Requirements for Integrated Services. RE 2009: 69-78
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/Ghezzi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/Ghezzi09
Carlo Ghezzi:
Decentralized Software Development: Pitfalls and Challenges. SEAFOOD 2009: 1-2
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/NordioMMGNT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/NordioMMGNT09
Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli:
The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129
2008
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/NittoGMPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/NittoGMPP08
Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger, Mike P. Papazoglou, Klaus Pohl:
A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng. 15(3-4): 313-341 (2008)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/OsterweilGKW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/OsterweilGKW08
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Determining the Impact of Software Engineering Research on Practice. Computer 41(3): 39-49 (2008)
[j41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BaresiGMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BaresiGMM08
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GhezziIM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GhezziIM08
Carlo Ghezzi, Paola Inverardi, Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BianculliG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BianculliG08
Domenico Bianculli, Carlo Ghezzi:
Towards a methodology for lifelong validation of service compositions. SDSOA@ICSE 2008: 7-12
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BianculliBDG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BianculliBDG08
Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi:
Transparent Reputation Management for Composite Web Services. ICWS 2008: 621-628
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BianculliG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BianculliG08
Domenico Bianculli, Carlo Ghezzi:
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops 2008: 49-56
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/qosa/ArdagnaGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qosa/ArdagnaGM08
Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola:
Rethinking the Use of Models in Software Architecture. QoSA 2008: 1-27
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/qosa/GallottiGMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qosa/GallottiGMT08
Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli:
Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA 2008: 119-134
[c56]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/GhezziT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/GhezziT08
Carlo Ghezzi, Giordano Tamburrelli:
Choosing a Software Architecture: An Approach and a Case Study. SEKE 2008: 255-260
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/servicewave/ArdagnaGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/servicewave/ArdagnaGM08
Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola:
Model Driven QoS Analyses of Composed Web Services. ServiceWave 2008: 299-311
2007
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/BaresiBGGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/BaresiBGGS07
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini:
Validation of web service compositions. IET Softw. 1(6): 219-232 (2007)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/BaresiNGG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/BaresiNGG07
Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea:
A framework for the deployment of adaptable web service compositions. Serv. Oriented Comput. Appl. 1(1): 75-91 (2007)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Ghezzi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Ghezzi07
Carlo Ghezzi:
Editorial. ACM Trans. Softw. Eng. Methodol. 16(1): 2 (2007)
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/HeBGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HeBGS07
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaresiGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaresiGM07
Luciano Baresi, Carlo Ghezzi, Luca Mottola:
On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/BianculliJBGF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BianculliJBGF07
Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings:
Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC 2007: 449-455
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BaresiBGGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BaresiBGGS07
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini:
A Timed Extension of WSCoL. ICWS 2007: 663-670
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpse/GhezziMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpse/GhezziMM07
Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/lipari/BianculliGSBG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lipari/BianculliGSBG07
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BianculliG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BianculliG07
Domenico Bianculli, Carlo Ghezzi:
Monitoring conversational web services. IW-SOSWE 2007: 15-21
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BaresiGGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BaresiGGM07
Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola:
Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Ghezzi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Ghezzi07
Carlo Ghezzi:
Foreword to the doctoral symposium. ESEC/SIGSOFT FSE 2007: 573
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/BianculliGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/BianculliGS07
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini:
A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/Ghezzi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/Ghezzi07
Carlo Ghezzi:
The challenges of open-world software. WOSP 2007: 90
[p3]
- view
  authority control:
- export record
  dblp key:
  - conf/swb/GhezziG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swb/GhezziG07
Carlo Ghezzi, Sam Guinea:
Run-Time Monitoring in Service-Oriented Architectures. Test and Analysis of Web Services 2007: 237-264
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/sci/BaresiGG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/BaresiGG07
Luciano Baresi, Carlo Ghezzi, Sam Guinea:
Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46
2006
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/BaresiNG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/BaresiNG06
Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi:
Toward Open-World Software: Issue and Challenges. Computer 39(10): 36-43 (2006)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/BalzarottiGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/BalzarottiGM06
Davide Balzarotti, Carlo Ghezzi, Mattia Monga:
Supporting Cooperative Software Processes in a Decentralized and Nomadic World. IEEE Trans. Syst. Man Cybern. Part A 36(6): 1098-1109 (2006)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/BaresiBFGP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/BaresiBFGP06
Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici:
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. APSEC 2006: 173-182
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Ghezzi06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Ghezzi06
Carlo Ghezzi:
Software Engineering: Emerging Goals and Lasting Problems. FASE 2006: 2
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BaresiGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BaresiGM06
Luciano Baresi, Carlo Ghezzi, Luca Mottola:
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/BaresiNG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/BaresiNG06
Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi:
Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252
2005
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Ghezzi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Ghezzi05
Carlo Ghezzi:
Editorial. ACM Trans. Softw. Eng. Methodol. 14(2): 119-123 (2005)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/OsterweilGKW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/OsterweilGKW05
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/edo/BaresiGMMNP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edo/BaresiGMMNP05
Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici:
Hybrid service-oriented architectures: a case-study in the automotive domain. SEM 2005: 62-68
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziM05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziM05a
Carlo Ghezzi, Dino Mandrioli:
The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziM05
Carlo Ghezzi, Dino Mandrioli:
The challenges of software engineering education. ICSE 2005: 637-638
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/metrics/Ghezzi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/metrics/Ghezzi05
Carlo Ghezzi:
Flexible Processes for Evolvable Products. IEEE METRICS 2005: 1
2004
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/GhezziI04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/GhezziI04
Carlo Ghezzi, Paola Inverardi:
Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/aswsd/BaresiG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswsd/BaresiG04
Luciano Baresi, Carlo Ghezzi:
Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/GhezziMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GhezziMP04
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco:
Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE 2004: 339-353
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/BaresiGG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BaresiGG04
Luciano Baresi, Carlo Ghezzi, Sam Guinea:
Smart monitors for composed services. ICSOC 2004: 193-202
2003
[b5]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0014226
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0014226
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli:
Fundamentals of software engineering (2. ed.). Prentice Hall 2003, ISBN 978-0-13-305699-0, pp. I-XX, 1-604
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GhezziMRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GhezziMRS03
Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa:
Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/NittoGS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/NittoGS03
Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini:
Using Agents for Multi-target Search on the Web. SAC 2003: 828-833
2002
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Ghezzi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Ghezzi02
Carlo Ghezzi:
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. ICGT 2002: 1-5
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpse/GhezziM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpse/GhezziM02
Carlo Ghezzi, Mattia Monga:
Fostering component evolution with C# attributes. IWPSE 2002: 22-28
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/networking/BalzarottiGM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/networking/BalzarottiGM02
Davide Balzarotti, Carlo Ghezzi, Mattia Monga:
Freeing Cooperation from Servers Tyranny. NETWORKING Workshops 2002: 235-246
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/BalzarottiGM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/BalzarottiGM02
Davide Balzarotti, Carlo Ghezzi, Mattia Monga:
Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE 2002: 507-511
2001
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AstesianoG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AstesianoG01
Egidio Astesiano, Carlo Ghezzi:
Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40(1): 1-2 (2001)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cia/NittoGSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cia/NittoGSS01
Elisabetta Di Nitto, Carlo Ghezzi, Maurizio Sabba, Paolo Selvini:
Using Agents in Performing Multi-site Queries. CIA 2001: 100-105
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Coen-PorisiniDGP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Coen-PorisiniDGP01
Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè:
Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
2000
[e5]
- view
- export record
  dblp key:
  - conf/icse/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2000
Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf:
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. ACM 2000, ISBN 1-58113-206-9 [contents]

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Ghezzi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Ghezzi99
Carlo Ghezzi:
ICSE 2000 opportunity. ACM SIGSOFT Softw. Eng. Notes 24(3): 8 (1999)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GhezziN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GhezziN99
Carlo Ghezzi, Bashar Nuseibeh:
Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development. IEEE Trans. Software Eng. 25(6): 782-783 (1999)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Ghezzi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Ghezzi99
Carlo Ghezzi:
Complexity in Human Centered Systems: The Case of Software Processes. ICECCS 1999: 178-
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/CugolaG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/CugolaG99
Gianpaolo Cugola, Carlo Ghezzi:
Design and Implementation of PROSYT: A Distributed Process Support System. WETICE 1999: 32-39
1998
[b4]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0020928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0020928
Carlo Ghezzi, Mehdi Jazayeri:
Programming language concepts (3. ed.). Wiley 1998, ISBN 978-0-471-10426-1, pp. I-XIX, 1-427
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/sopr/CugolaG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sopr/CugolaG98
Gianpaolo Cugola, Carlo Ghezzi:
Software processes: a retrospective and a path to the future. Softw. Process. Improv. Pract. 4(3): 101-123 (1998)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/CodaGVG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/CodaGVG98
Francesco Coda, Carlo Ghezzi, Giovanni Vigna, Franca Garzotto:
Towards a Software Engineering Approach to Web Site Development. IWSSD 1998: 8-17
1997
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Coen-PorisiniGK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Coen-PorisiniGK97
Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer:
Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23(9): 572-598 (1997)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/Ghezzi97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/Ghezzi97
Carlo Ghezzi:
Software Engineering Issues for Network Computing. ICSM 1997: 2
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ma/GhezziV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ma/GhezziV97
Carlo Ghezzi, Giovanni Vigna:
Mobile Code Paradigms and Technologies: A Case Study. Mobile Agents 1997: 39-49
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/oois/CugolaG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oois/CugolaG97
Gianpaolo Cugola, Carlo Ghezzi:
CJava: Introducing Concurrent Objects in Java. OOIS 1997: 504-514
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtse/GhezziV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtse/GhezziV97
Carlo Ghezzi, Giovanni Vigna:
Software Engineering Issues for Network Computing. Requirements Targeting Software and Systems Engineering 1997: 155-177
[r1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/crc/tucker97/GhezziJM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/tucker97/GhezziJM97
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli:
Software Qualities and Principles. The Computer Science and Engineering Handbook 1997: 2278-2301
1996
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CugolaNFG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CugolaNFG96
Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi:
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. ACM Trans. Softw. Eng. Methodol. 5(3): 191-230 (1996)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/CugolaG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/CugolaG96
Gianpaolo Cugola, Carlo Ghezzi:
Program families: some requirements issues for the process languages. ISPW 1996: 48-50
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/mos/CugolaGPV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mos/CugolaGPV96
Gianpaolo Cugola, Carlo Ghezzi, Gian Pietro Picco, Giovanni Vigna:
Analyzing Mobile Code Languages. Mobile Object Systems 1996: 93-110
1995
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CugolaNGM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CugolaNGM95
Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione:
How to Deal With Deviations During Process Model Enactment. ICSE 1995: 265-273
1994
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/FuggettaG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/FuggettaG94
Alfonso Fuggetta, Carlo Ghezzi:
State of the art and open issues in process-centered software engineering environments. J. Syst. Softw. 26(1): 53-60 (1994)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/GhezziMP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/GhezziMP94
Carlo Ghezzi, Sandro Morasca, Mauro Pezzè:
Validating timing requirements for time basic net specifications. J. Syst. Softw. 27(2): 97-117 (1994)
[e4]
- view
- export record
  dblp key:
  - conf/ispw/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/1994
Carlo Ghezzi:
Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA. IEEE Computer Society 1994, ISBN 0-8186-6770-2 [contents]
1993
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/ArmeniseBGM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/ArmeniseBGM93
Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
A Survey and Assessment of Software Process Representation Formalisms. Int. J. Softw. Eng. Knowl. Eng. 3(3): 401-426 (1993)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/FelderGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/FelderGP93
Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real Time Syst. 5(2-3): 235-248 (1993)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GhezziR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GhezziR93
Carlo Ghezzi, Gruia-Catalin Roman:
Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. Sci. Comput. Program. 20(1-2): 1-2 (1993)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/FuggettaGMM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/FuggettaGMM93
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
Executable Specifications with Data-flow Diagrams. Softw. Pract. Exp. 23(6): 629-653 (1993)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BandinelliFG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BandinelliFG93
Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi:
Process Model Evolution in the SPADE Environment. IEEE Trans. Software Eng. 19(12): 1128-1144 (1993)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/GhezziFB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/GhezziFB93
Carlo Ghezzi, Miguel Felder, Carlo Bellettini:
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC 1993: 11-36
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ispw/FuggettaG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/FuggettaG93
Alfonso Fuggetta, Carlo Ghezzi:
Process Formalisms Need to be Fully Reflective. ISPW 1993: 78-80
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FelderGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FelderGP93
Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/GhezziP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/GhezziP93
Carlo Ghezzi, Mauro Pezzè:
Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/ws/93/GhezziPP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ws/93/GhezziPP93
Carlo Ghezzi, Mauro Pezzè, Kim Portman:
Parallel Execution of Real-Time Petri Nets. Advances in Software Engineering and Knowledge Engineering 1993: 135-157
1992
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/MorzentiMG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/MorzentiMG92
Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi:
A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KemmererG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KemmererG92
Richard A. Kemmerer, Carlo Ghezzi:
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. 18(9): 766-767 (1992)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ewspt/BandinelliFGG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewspt/BandinelliFGG92
Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Sandro Grigolli:
Process Enactment in SPADE. EWSPT 1992: 67-83
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/nato/FelderGP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/FelderGP92
Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. NATO ASI RTC 1992: 187-211
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/ArmeniseBGM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ArmeniseBGM92
Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
Software Processes Representation Languages: Survey and Assessment. SEKE 1992: 455-462
[e3]
- view
- export record
  dblp key:
  - conf/icse/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/1992
Tony Montgomery, Lori A. Clarke, Carlo Ghezzi:
Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. ACM Press 1992, ISBN 0-89791-504-6 [contents]
1991
[b3]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0067100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0067100
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli:
Fundamentals of software engineering. Prentice Hall 1991, ISBN 978-0-13-818204-5, pp. I-XV, 1-573
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GhezziMMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GhezziMMP91
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17(2): 160-172 (1991)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Coen-PorisiniPGM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Coen-PorisiniPGM91
Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli:
Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/GhezziK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/GhezziK91
Carlo Ghezzi, Richard A. Kemmerer:
ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC 1991: 122-146
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/BandinelliFGM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/BandinelliFGM91
Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti:
A multi-paradigm Petri net based approach to process description. ISPW 1991: 41-43
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GhezziK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GhezziK91
Carlo Ghezzi, Richard A. Kennerer:
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification 1991: 112-122
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/1991
Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman:
Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. IEEE Computer Society 1991, ISBN 978-0-8186-2320-2 [contents]
1990
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/GhezziMM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/GhezziMM90
Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
TRIO: A logic language for executable specifications of real-time systems. J. Syst. Softw. 12(2): 107-123 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/GhezziMMP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/GhezziMMP89
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/FuggettaGM89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/FuggettaGM89
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli:
Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15(3): 356-359 (1989)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/GhezziMMP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/GhezziMMP89
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
A general way to put time in Petri nets. IWSSD 1989: 60-67
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/1989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/1989
Carlo Ghezzi, John A. McDermid:
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, ISBN 3-540-51635-2 [contents]
1987
[b2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0017674
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0017674
Carlo Ghezzi, Mehdi Jazayeri:
Programming language concepts (2. ed.). Wiley 1987, ISBN 978-0-471-82173-1, pp. I-XVII, 1-428
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/GhezziMP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/GhezziMP87
Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè:
On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/GarzottoGMM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/GarzottoGMM87
Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190
1985
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/MandrioliZGT85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/MandrioliZGT85
Dino Mandrioli, Roberto V. Zicari, Carlo Ghezzi, Francesco Tisato:
Modeling the Ada Task System by Petri Nets. Comput. Lang. 10(1): 43-61 (1985)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/pc/Ghezzi85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pc/Ghezzi85
Carlo Ghezzi:
Concurrency in programming languages: A survey. Parallel Comput. 2(3): 229-241 (1985)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/GhezziMT85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/GhezziMT85
Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio:
Program Simplification via Symbolic Interpretation. FSTTCS 1985: 116-128
1984
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/BossiG84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BossiG84
Annalisa Bossi, Carlo Ghezzi:
Using FP As a Query Language for Relational Data-Bases. Comput. Lang. 9(1): 25-37 (1984)
1982
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0098526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0098526
Carlo Ghezzi, Mehdi Jazayeri:
Programming language concepts. Wiley 1982, ISBN 978-0-471-08755-7, pp. I-XVI, 1-327
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/BerryGMT82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BerryGMT82
Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato:
Language Constructs for Real-Time Distributed Systems. Comput. Lang. 7(1): 11-20 (1982)
1980
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/CelentanoVG80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CelentanoVG80
Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi:
SIMPLE: A Program Development System. Comput. Lang. 5(2): 103-114 (1980)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/GhezziM80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/GhezziM80
Carlo Ghezzi, Dino Mandrioli:
Augmenting Parsers to Support Incrementality. J. ACM 27(3): 564-579 (1980)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/CelentanoCVGGS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/CelentanoCVGGS80
Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, Florencia Savoretti:
Compiler Testing using a Sentence Generator. Softw. Pract. Exp. 10(11): 897-918 (1980)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/CelentanoVGM80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/CelentanoVGM80
Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli:
Separate Compilation and Partial Specification in Pascal. IEEE Trans. Software Eng. 6(4): 320-328 (1980)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1979
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GhezziM79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GhezziM79
Carlo Ghezzi, Dino Mandrioli:
Incremental Parsing. ACM Trans. Program. Lang. Syst. 1(1): 58-70 (1979)
1978
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/VignaG78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/VignaG78
Pierluigi Della Vigna, Carlo Ghezzi:
Context-Free Graph Grammars. Inf. Control. 37(2): 207-233 (1978)
1976
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/eci/VignaG76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eci/VignaG76
Pierluigi Della Vigna, Carlo Ghezzi:
Data Structures and Graph Grammars. ECI 1976: 130-145
1975
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Ghezzi75
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Ghezzi75
Carlo Ghezzi:
LL(1) Grammars Supporting an Efficient Error Handling. Inf. Process. Lett. 3(6): 174-176 (1975)

Coauthor Index

see FAQ

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.