Formalizing Model Inference of MicroPython

Carlos Mao De Ferro; Tiago Cogumbreiro; Francisco Martins

doi:10.1109/DSN-W58399.2023.00069

Formalizing Model Inference of MicroPython

Carlos Mao De Ferro
, Tiago Cogumbreiro
, Francisco Martins

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	283-289
Number of pages	7
ISBN (Electronic)	9798350325430
DOIs	https://doi.org/10.1109/DSN-W58399.2023.00069
State	Published - 2023
Event	53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023 - Porto, Portugal Duration: Jun 27 2023 → Jun 30 2023

Publication series

Name	Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023

Conference

Conference	53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023
Country/Territory	Portugal
City	Porto
Period	6/27/23 → 6/30/23

ASJC Scopus Subject Areas

Computer Networks and Communications
Information Systems
Software
Safety, Risk, Reliability and Quality

Keywords

formalization
micropython
model-checking
model-extraction

Access to Document

10.1109/DSN-W58399.2023.00069

Cite this

De Ferro, C. M., Cogumbreiro, T., & Martins, F. (2023). Formalizing Model Inference of MicroPython. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023 (pp. 283-289). (Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/DSN-W58399.2023.00069

Formalizing Model Inference of MicroPython. / De Ferro, Carlos Mao; Cogumbreiro, Tiago; Martins, Francisco.
Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Institute of Electrical and Electronics Engineers Inc., 2023. p. 283-289 (Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

De Ferro, CM, Cogumbreiro, T & Martins, F 2023, Formalizing Model Inference of MicroPython. in Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023, Institute of Electrical and Electronics Engineers Inc., pp. 283-289, 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023, Porto, Portugal, 6/27/23. https://doi.org/10.1109/DSN-W58399.2023.00069

De Ferro CM, Cogumbreiro T, Martins F. Formalizing Model Inference of MicroPython. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Institute of Electrical and Electronics Engineers Inc. 2023. p. 283-289. (Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023). doi: 10.1109/DSN-W58399.2023.00069

De Ferro, Carlos Mao ; Cogumbreiro, Tiago ; Martins, Francisco. / Formalizing Model Inference of MicroPython. Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Institute of Electrical and Electronics Engineers Inc., 2023. pp. 283-289 (Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023).

@inproceedings{3d1a223a1770492385c689fdc7930d48,

title = "Formalizing Model Inference of MicroPython",

keywords = "formalization, micropython, model-checking, model-extraction",

author = "\{De Ferro\}, \{Carlos Mao\} and Tiago Cogumbreiro and Francisco Martins",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023 ; Conference date: 27-06-2023 Through 30-06-2023",

year = "2023",

doi = "10.1109/DSN-W58399.2023.00069",

language = "English",

series = "Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "283--289",

booktitle = "Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023",

}

TY - GEN

T1 - Formalizing Model Inference of MicroPython

AU - De Ferro, Carlos Mao

AU - Cogumbreiro, Tiago

AU - Martins, Francisco

PY - 2023

Y1 - 2023

KW - formalization

KW - micropython

KW - model-checking

KW - model-extraction

UR - https://www.scopus.com/pages/publications/85169432920

UR - https://www.scopus.com/pages/publications/85169432920#tab=citedBy

U2 - 10.1109/DSN-W58399.2023.00069

DO - 10.1109/DSN-W58399.2023.00069

M3 - Conference contribution

AN - SCOPUS:85169432920

T3 - Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023

SP - 283

EP - 289

BT - Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023

Y2 - 27 June 2023 through 30 June 2023

ER -

Formalizing Model Inference of MicroPython

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this