José Luiz Fiadeiro

Cited by

	All	Since 2017
Citations	5429	374
h-index	40	10
i10-index	107	10

380

190

285

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202216 15 64 111 82 101 115 122 108 168 119 143 100 190 298 269 274 218 262 376 264 223 203 218 213 189 188 158 117 94 88 88 39 46 18

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaVerified email at ciencias.ulisboa.pt
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
Laura BocchiUniversity of KentVerified email at kent.ac.uk
Georgios KoutsoukosDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
Ionuț ȚuțuSimion Stoilow Institute of Mathematics of the Romanian AcademyVerified email at imar.ro
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
José Félix CostaProfessor Associado de Matemática, Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Leonor BarrocaThe Open UniversityVerified email at open.ac.uk
Franco MazzantiReasearcher, ISTI CNR, Pisa, ItalyVerified email at isti.cnr.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Robin LaneyOpen UniversityVerified email at open.ac.uk
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Nora KochUniversidad de Sevilla, LMUVerified email at iwt2.org

José Luiz Fiadeiro

Dean of Science and Engineering, University of Dundee

Verified email at dundee.ac.uk - Homepage

Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Categories for software engineering JL Fiadeiro Springer Science & Business Media, 2005	264	2005
Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992	223	1992
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	195	1987
A graph based architectural (re) configuration language M Wermelinger, A Lopes, JL Fiadeiro Proceedings of the 8th European software engineering conference held jointly …, 2001	178	2001
A graph transformation approach to software architecture reconfiguration M Wermelinger, JL Fiadeiro Science of Computer Programming 44 (2), 133-155, 2002	170	2002
Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997	154	1997
Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991	138	1991
A formal approach to service component architecture JL Fiadeiro, A Lopes, L Bocchi International Workshop on Web Services and Formal Methods, 193-213, 2006	131	2006
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990	125	1990
Sometimes “tomorrow” is “sometime” JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994	110	1994
A mathematical semantics for architectural connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming, 178-221, 2003	109	2003
Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999	104	1999
The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989	104	1989
Semantics of architectural connectors JL Fiadeiro, A Lopes Colloquium on Trees in Algebra and Programming, 503-519, 1997	99	1997
Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991	90	1991
Agility through coordination LF Andrade, JL Fiadeiro Information Systems 27 (6), 411-424, 2002	88*	2002
Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro Software Engineering—ESEC/FSE’99, 393-409, 1999	81	1999
A model for dynamic reconfiguration in service-oriented architectures JL Fiadeiro, A Lopes Software & Systems Modeling 12 (2), 349-367, 2013	80	2013
Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 1998	77	1998
Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995	77	1995

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors