×

zbMATH — the first resource for mathematics

Fiadeiro, José Luiz

Compute Distance To:
Author ID: fiadeiro.jose-luiz Recent zbMATH articles by "Fiadeiro, José Luiz"
Published as: Fiadeiro, José Luiz; Fiadeiro, José; Fiadeiro, J. L.; Fiadeiro, Jose Luiz; Fiadeiro, José L.; Fiadeiro, J.; Fiadeiro, José Luis; Fiadeiro, Jose L.
External Links: MGP
Documents Indexed: 66 Publications since 1986, including 11 Books

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 117 times in 97 Documents Cited by Year
Categories for software engineering. Zbl 1138.68365
Fiadeiro, José Luiz
16
2005
Structuring theories on consequence. Zbl 0671.03020
Fiadeiro, José; Sernadas, Amílcar
14
1988
Temporal theories as modularisation units for concurrent system specification. Zbl 0746.68031
Fiadeiro, J.; Maibaum, T.
11
1992
Temporal reasoning over deontic specifications. Zbl 0731.03022
Fiadeiro, J.; Maibaum, T.
11
1991
Action refinement in a temporal logic of objects. Zbl 0949.68539
Fiadeiro, J. L.; Maibaum, T.
7
1994
Mirror, mirror in my hand: A duality between specifications and models of process behaviour. Zbl 0857.68076
Fiadeiro, J. L.; Costa, J. F.
5
1996
Toward a verification logic for rewriting logic. Zbl 0966.68123
Fiadeiro, José Luis; Maibaum, Tom; Martí-Oliet, Narciso; Meseguer, Jose; Pita, Isabel
5
2000
A graph transformation approach to software architecture reconfiguration. Zbl 1014.68033
Wermelinger, Michel; Fiadeiro, José Luiz
5
2002
Categorical semantics of parallel program design. Zbl 0877.68080
Fiadeiro, José Luiz; Maibaum, Tom
4
1997
Specification and verification of database dynamics. Zbl 0627.68078
Fiadeiro, José; Sernadas, Amílcar
4
1988
The INFOLOG linear tense propositional logic of events and transactions. Zbl 0596.68063
Fiadeiro, José; Sernadas, Amílcar
3
1986
A mathematical semantics for architectural connectors. Zbl 1274.68001
Fiadeiro, J. L.; Lopes, A.; Wermelinger, M.
3
2003
An interface theory for service-oriented design. Zbl 1360.68631
Fiadeiro, José Luiz; Lopes, Antónia
2
2013
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
Logics for actor networks: a case study in constrained hybridization. Zbl 1423.68049
Fiadeiro, José; Ţuţu, Ionuţ; Lopes, Antónia; Pavlovic, Dusko
2
2018
Heterogeneous and asynchronous networks of timed systems. Zbl 1356.68153
Fiadeiro, José L.; Lopes, Antónia
2
2017
Logics of modal terms for systems specification. Zbl 0723.68070
Fiadeiro, José; Sernadas, Amílcar
2
1990
Algebraic semantics of design abstractions for context-awareness. Zbl 1118.68557
Lopes, Antónia; Fiadeiro, José Luiz
2
2005
On local modularity and interpolation in entailment systems. Zbl 1043.68075
Veloso, Paulo A. S.; Fiadeiro, José L.; Veloso, Sheila R. M.
2
2002
Coordination for orchestration. Zbl 1053.68798
Andrade, Luis F.; Fiadeiro, Jose L.; Gouveia, Joao; Koutsoukos, Georgios; Wermelinger, M.
2
2002
Revisiting the institutional approach to Herbrand’s theorem. Zbl 1433.03166
Ţuţu, Ionut; Fiadeiro, José Luiz
1
2015
Models for the substitution axiom of UNITY logic. Zbl 0787.68015
Reichwein, Georg; Fiadeiro, José Luiz
1
1993
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom
1
2005
CommUnity on the move: architectures for distribution and mobility. Zbl 1104.68431
Fiadeiro, José Luiz; Lopes, Antónia
1
2004
Coordination technologies for managing information system evolution. Zbl 0980.68634
Andrade, Luís Filipe; Fiadeiro, José Luiz
1
2001
A compositional approach to connector construction. Zbl 1043.68539
Lopes, Antónia; Wermelinger, Michel; Fiadeiro, José Luiz
1
2001
Superposition: Composition vs refinement of non-deterministic, action-based systems. Zbl 1086.68030
Lopes, Antónia; Fiadeiro, José Luiz
1
2004
Separating computation, coordination and configuration. Zbl 1017.68026
Andrade, L.; Fiadeiro, J. L.; Gouveia, J.; Koutsoukos, G.
1
2002
Adding mobility to software architectures. Zbl 1101.68482
Lopes, Antónia; Fiadeiro, José Luiz
1
2006
A formal model for service-oriented interactions. Zbl 1243.68138
Fiadeiro, José; Lopes, Antónia; Abreu, João
1
2012
Revisiting the categorical approach to systems. Zbl 1275.68108
Lopes, Antónia; Fiadeiro, José Luiz
1
2002
Structured co-spans: an algebra of interaction protocols. Zbl 1214.68229
Fiadeiro, José Luiz; Schmitt, Vincent
1
2007
Logics for actor networks: a case study in constrained hybridization. Zbl 1423.68049
Fiadeiro, José; Ţuţu, Ionuţ; Lopes, Antónia; Pavlovic, Dusko
2
2018
Heterogeneous and asynchronous networks of timed systems. Zbl 1356.68153
Fiadeiro, José L.; Lopes, Antónia
2
2017
Revisiting the institutional approach to Herbrand’s theorem. Zbl 1433.03166
Ţuţu, Ionut; Fiadeiro, José Luiz
1
2015
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît; Fiadeiro, José Luiz; Legay, Axel; Lopes, Antónia
2
2014
An interface theory for service-oriented design. Zbl 1360.68631
Fiadeiro, José Luiz; Lopes, Antónia
2
2013
A formal model for service-oriented interactions. Zbl 1243.68138
Fiadeiro, José; Lopes, Antónia; Abreu, João
1
2012
Structured co-spans: an algebra of interaction protocols. Zbl 1214.68229
Fiadeiro, José Luiz; Schmitt, Vincent
1
2007
Adding mobility to software architectures. Zbl 1101.68482
Lopes, Antónia; Fiadeiro, José Luiz
1
2006
Categories for software engineering. Zbl 1138.68365
Fiadeiro, José Luiz
16
2005
Algebraic semantics of design abstractions for context-awareness. Zbl 1118.68557
Lopes, Antónia; Fiadeiro, José Luiz
2
2005
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom
1
2005
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
CommUnity on the move: architectures for distribution and mobility. Zbl 1104.68431
Fiadeiro, José Luiz; Lopes, Antónia
1
2004
Superposition: Composition vs refinement of non-deterministic, action-based systems. Zbl 1086.68030
Lopes, Antónia; Fiadeiro, José Luiz
1
2004
A mathematical semantics for architectural connectors. Zbl 1274.68001
Fiadeiro, J. L.; Lopes, A.; Wermelinger, M.
3
2003
A graph transformation approach to software architecture reconfiguration. Zbl 1014.68033
Wermelinger, Michel; Fiadeiro, José Luiz
5
2002
On local modularity and interpolation in entailment systems. Zbl 1043.68075
Veloso, Paulo A. S.; Fiadeiro, José L.; Veloso, Sheila R. M.
2
2002
Coordination for orchestration. Zbl 1053.68798
Andrade, Luis F.; Fiadeiro, Jose L.; Gouveia, Joao; Koutsoukos, Georgios; Wermelinger, M.
2
2002
Separating computation, coordination and configuration. Zbl 1017.68026
Andrade, L.; Fiadeiro, J. L.; Gouveia, J.; Koutsoukos, G.
1
2002
Revisiting the categorical approach to systems. Zbl 1275.68108
Lopes, Antónia; Fiadeiro, José Luiz
1
2002
Coordination technologies for managing information system evolution. Zbl 0980.68634
Andrade, Luís Filipe; Fiadeiro, José Luiz
1
2001
A compositional approach to connector construction. Zbl 1043.68539
Lopes, Antónia; Wermelinger, Michel; Fiadeiro, José Luiz
1
2001
Toward a verification logic for rewriting logic. Zbl 0966.68123
Fiadeiro, José Luis; Maibaum, Tom; Martí-Oliet, Narciso; Meseguer, Jose; Pita, Isabel
5
2000
Categorical semantics of parallel program design. Zbl 0877.68080
Fiadeiro, José Luiz; Maibaum, Tom
4
1997
Mirror, mirror in my hand: A duality between specifications and models of process behaviour. Zbl 0857.68076
Fiadeiro, J. L.; Costa, J. F.
5
1996
Action refinement in a temporal logic of objects. Zbl 0949.68539
Fiadeiro, J. L.; Maibaum, T.
7
1994
Models for the substitution axiom of UNITY logic. Zbl 0787.68015
Reichwein, Georg; Fiadeiro, José Luiz
1
1993
Temporal theories as modularisation units for concurrent system specification. Zbl 0746.68031
Fiadeiro, J.; Maibaum, T.
11
1992
Temporal reasoning over deontic specifications. Zbl 0731.03022
Fiadeiro, J.; Maibaum, T.
11
1991
Logics of modal terms for systems specification. Zbl 0723.68070
Fiadeiro, José; Sernadas, Amílcar
2
1990
Structuring theories on consequence. Zbl 0671.03020
Fiadeiro, José; Sernadas, Amílcar
14
1988
Specification and verification of database dynamics. Zbl 0627.68078
Fiadeiro, José; Sernadas, Amílcar
4
1988
The INFOLOG linear tense propositional logic of events and transactions. Zbl 0596.68063
Fiadeiro, José; Sernadas, Amílcar
3
1986
all top 5

Cited by 146 Authors

12 Fiadeiro, José Luiz
8 Maibaum, Thomas Stephen Edward
6 Diaconescu, Răzvan
5 Castro, Pablo F.
5 Lopes, Antónia
4 Veloso, Paulo Augusto S.
3 Aiguier, Marc
3 Bruni, Roberto
3 Martins, Manuel António
3 Meseguer Guaita, José
3 Mossakowski, Till
3 Tarlecki, Andrzej
3 Veloso, Sheila R. M.
3 Voutsadakis, George
3 Wolter, Uwe E.
2 Alagic, Suad
2 Barbosa, Luís Soares
2 Bracciali, Andrea
2 Carmo, José M. C. L. M.
2 Ehrig, Hartmut
2 Hennicker, Rolf
2 König, Harald
2 Kovalyov, Serge P.
2 Liu, Zhiming
2 Madeira, Alexandre
2 Martí-Oliet, Narciso
2 Montanari, Angelo
2 Montanari, Ugo G.
2 Roggenbach, Markus
2 Saake, Gunter
2 Sannella, Donald T.
2 Sergot, Marek J.
2 Sernadas, Amilcar C.
2 Ţuţu, Ionuţ
1 Aguirre, Nazareno M.
1 Alagić, Mara
1 Andrade, Luís Filipe
1 Bae, Kyungmin
1 Balbiani, Philippe
1 Baldan, Paolo
1 Barbier, Franck
1 Bardohl, Roswitha
1 Barrio-Solórzano, Manuel
1 Beato, M. Encarnación
1 Bidoit, Nicole
1 Bliudze, Simon
1 Bloch, Isabelle
1 Bonsangue, Marcello Maria
1 Brogi, Antonio
1 Caleiro, Carlos
1 Cao, Chun
1 Cau, Antonio
1 Cerioli, Maura
1 Clarke, Dave
1 Costa, Gerardo
1 Costa, José Félix
1 Craven, Robert P. M.
1 Cuesta, Carlos E.
1 de Amo, Sandra
1 de Carvalho Junior, Francisco Heron
1 de la Fuente, Pablo
1 de Lara, Juan
1 Delahaye, Benoît
1 Dix, Jurgen
1 Duarte, Carlos H. C.
1 Engels, Gregor
1 Ermel, Claudia
1 Franceschet, Massimo
1 Gaĭnă, Daniel
1 Gidey, Habtom Kashay
1 Gonçalves, Ricardo
1 Gönczy, László
1 González-Burgueño, Antonio
1 Gouveia, Joao
1 Große-Rhode, Martin
1 Guerra, Esther
1 Haeusler, Edward Hermann
1 Harper, Robert
1 Haveraaen, Magne
1 Hill, Gillian
1 Huang, Yu
1 Hülsmann, Klaus
1 Jones, Andrew J. I.
1 Ke, Wei
1 Knapp, Alexander
1 Kocsis, Zoltan A.
1 Koutsoukos, Georgios
1 Kovács, Máté
1 Kovalëv, Sergeĭ Protasovich
1 Kraus, Sarit
1 Lambers, Leen
1 Lanese, Ivan
1 Legay, Axel
1 Lins, Rafael Dueire
1 Lipeck, Udo Walter
1 Liu, Chuchang
1 Liu, Xiaojian
1 Lomuscio, Alessio
1 López Pombo, Carlos Gustavo
1 Lowe, Michael J. S.
...and 46 more Authors

Citations by Year