Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Maria Guillermina Cledou
AuthID:
R-00F-KAZ
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (12)
Article (2)
Unpublished (1)
Year Start - End:
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
-
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 15
1
TITLE:
Featured Team Automata
AUTHORS:
Maurice H ter Beek
;
Guillermina Cledou
; Rolf Hennicker;
José Proença
;
PUBLISHED:
2021
,
SOURCE:
CoRR,
VOLUME:
abs/2108.01784
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
2
TITLE:
Featured Team Automata
AUTHORS:
Maurice H ter Beek
;
Guillermina Cledou
; Rolf Hennicker;
José Proença
;
PUBLISHED:
2021
,
SOURCE:
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings,
VOLUME:
13047
INDEXED IN:
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
3
TITLE:
Hubs for VirtuosoNext: Online verification of real-time coordinators
Full Text
AUTHORS:
Cledou, G
;
Proenca, J
;
Sputh, BHC
; Verhulst, E;
PUBLISHED:
2021
,
SOURCE:
SCIENCE OF COMPUTER PROGRAMMING,
VOLUME:
203
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
4
TITLE:
ARx: Reactive Programming for Synchronous Connectors
AUTHORS:
José Proença
;
Guillermina Cledou
;
PUBLISHED:
2020
,
SOURCE:
22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020
in
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings,
VOLUME:
12134
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
5
TITLE:
A Net-Based Formal Framework for Causal Loop Diagrams
AUTHORS:
Guillermina Cledou
; Shin Nakajima;
PUBLISHED:
2019
,
SOURCE:
3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia)
in
COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018,
VOLUME:
878
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
6
TITLE:
Coordination of Tasks on a Real-Time OS
AUTHORS:
Guillermina Cledou
;
Jose Proenca
;
Bernhard H C Sputh
; Eric Verhulst;
PUBLISHED:
2019
,
SOURCE:
21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec)
in
COORDINATION MODELS AND LANGUAGES, COORDINATION 2019,
VOLUME:
11533
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
7
TITLE:
A taxonomy for planning and designing smart mobility services
AUTHORS:
Guillermina Cledou
; Elsa Estevez;
Luis Soares Barbosa
;
PUBLISHED:
2018
,
SOURCE:
GOVERNMENT INFORMATION QUARTERLY,
VOLUME:
35,
ISSUE:
1
INDEXED IN:
WOS
DBLP
CrossRef
:
41
IN MY:
ORCID
|
DBLP
8
TITLE:
A Refinement Relation for Families of Timed Automata
AUTHORS:
Guillermina Cledou
;
Jose Proenca
;
Luis S Barbosa
;
PUBLISHED:
2017
,
SOURCE:
20th Brazilian Symposium on Formal Methods (SBMF)
in
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017,
VOLUME:
10623
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
9
TITLE:
Composing Families of Timed Automata
AUTHORS:
Guillermina Cledou
;
Jose Proenca
;
Luis Soares Barbosa
;
PUBLISHED:
2017
,
SOURCE:
7th IPM International Conference on Fundamentals of Software Engineering (FSEN)
in
FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017,
VOLUME:
10522
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
4
IN MY:
ORCID
|
DBLP
10
TITLE:
Modeling Families of Public Licensing Services: A Case Study
AUTHORS:
Guillermina Cledou
;
Luis Soares Barbosa
;
PUBLISHED:
2017
,
SOURCE:
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
in
2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 2. Total results: 15.
<<
<
1
2
>
>>
© 2022 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service