I agree that this site is using cookies. You can find further informations here.
X
Cerone, Antonio
108  results:
Search for persons X
?
1

Guest editorial for the special section on SEFM 2020 and 20..:

de Boer, Frank S. ; Cerone, Antonio
Software and Systems Modeling.  23 (2024)  2 - p. 285-287 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Executive Function and Intelligent Goal-Directed Behavior: ..:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,
Pluck, Graham ; Cerone, Antonio ; Villagomez-Pacheco, David - p. 324-350 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A BRDL-Based Framework for Motivators and Emotions:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,
Cerone, Antonio - p. 351-365 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Formal Methods for an Informal World: ICTAC 2021 Summer Sch.. 

Lecture Notes in Computer Science, 13490
Cerone, Antonio - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
5

Modelling and Analysing Cognition and Interaction:

, In: Formal Methods for an Informal World; Lecture Notes in Computer Science,
Cerone, Antonio - p. 30-72 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Ten Years of DataMod: The Synergy of Data-Driven and Model-..:

, In: From Data to Models and Back; Lecture Notes in Computer Science,
Cerone, Antonio - p. 7-24 , 2022
Link: https://doi.org/10.1007/..
 
?
7

A Web-Based Tool for Collaborative Modelling and Analysis i..:

, In: From Data to Models and Back; Lecture Notes in Computer Science,
Cerone, Antonio ; Mengdigali, Anel ; Nabiyeva, Nuray. - p. 175-192 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Correction to: Formal Methods for Software Engineering:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,
Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger.. - p. C1-C1 , 2022
Link: https://doi.org/10.1007/..
 
?
9

In Silico Simulations and Analysis of Human Phonological Wo..:

, In: Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops,
Cerone, Antonio ; Murzagaliyeva, Diana ; Nabiyeva, Nuray.. - p. 37-52 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Software Engineering and Formal Methods. SEFM 2021 Collocat.. 

Lecture Notes in Computer Science, 13230
Cerone, Antonio ; Autili, Marco ; Bucaioni, Alessio... - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
11

Formal Methods for Software Engineering: Languages, Methods.. 

Texts in Theoretical Computer Science. An EATCS Series
Roggenbach, Markus ; Cerone, Antonio ; Schlingloff, Bernd-Holger.. - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
12

Logics for Software Engineering:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,
Schlingloff, Bernd-Holger ; Roggenbach, Markus ; Schneider, Gerardo. - p. 49-111 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Formal Methods for Human-Computer Interaction:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,
Cerone, Antonio - p. 345-394 , 2022
Link: https://doi.org/10.1007/..
 
?
14

The Process Algebra CSP:

, In: Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering,
Roggenbach, Markus ; Shaikh, Siraj Ahmed ; Cerone, Antonio - p. 113-197 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Rooting Formal Methods Within Higher Education Curricula fo..:

, In: Communications in Computer and Information Science; Formal Methods – Fun for Everybody,
Cerone, Antonio ; Roggenbach, Markus ; Davenport, James... - p. 1-26 , 2021
Link: https://doi.org/10.1007/..
 
1-15