Service-oriented Systems | V&V for OO Programming | Timed Systems |
Sef-Adaptive Systems | Software Product Lines | Reactive Systems |
Software Architecture | Data Cleaning&Migration | Coordination |
J.L.Fiadeiro and A.Lopes, Software & Systems Modeling, Volume 12, Issue 2, pp 349-367, 2013
J.L.Fiadeiro and A.Lopes, in Juan de Lara and Andreas Zisman (Eds.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2012), LNCS 7212, pp. 63-77. Springer-Verlag Berlin Heidelberg, 2012
J.L.Fiadeiro, A.Lopes and J.Abreu, Science of Computer Programming, 77 (5), pp. 577-60, 2012
J.L.Fiadeiro and A.Lopes, in D. Gianopoulos and F.Orejas (Eds.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2011), LNCS 6603, pp. 18-33. Springer-Verlag Berlin Heidelberg, 2011
J.L.Fiadeiro, A.Lopes, L.Bocchi and J.Abreu, in M.Wirsing and M.Holzl (Eds.), Rigorous Software Engineering for Service-Oriented Systems--Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, LNCS 6582, pp. 61-114, Springer Verlag Berlin Heildelberg 2011
J.L.Fiadeiro and A.Lopes, in Proceedings of 4th European Conference on Software Architectures (ECSA 2010), M.A.Babar, I.Gorton (Eds..), LNCS 6285, Springer, pp. 70-85, 2010 Best paper award.
J.L.Fiadeiro, A.Lopes and L.Bocchi, Formal Aspects of Computing, 23 (4), pp. 433-463, 2011
L.Bocchi, J.L.Fiadeiro, A.Lopes, Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC '08), pp. 1059-1064, IEEE Computer Society, 2008
L.Bocchi, J.L.Fiadeiro, A.Lopes, Proceedings Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008). Communications in Computer and Information Science 17, pp. 155-169, Springer link
J.Abreu, L.Bocchi, J.L.Fiadeiro, A.Lopes, FORTE 2007: IFIP International Conference on Formal Methods for Networked and Distributed Systems , LNCS 4574, pp. 358-373, Springer, 2007
L.Bocchi, Y. Hong, A.Lopes, J.L.Fiadeiro, 4th International Workshop on Web Services and Formal Methods (WS-FM), Brisbane, Australia, September 2007, LNCS, Springer, 2007
J.L.Fiadeiro, A.Lopes, L.Bocchi, 3rd International Workshop on Web Services and Formal Methods (WS-FM), Vienna, Austria, September 2006, LNCS 4184, pp. 193-213, Springer, 2006
J.L.Fiadeiro, A.Lopes, L.Bocchi, Current Trends in Algebraic Development Techniques, LNCS 4409, pp. 37-55, Springer, 2006
J. Camara, A.Lopes, D. Garlan and B. Schmerl, Science of Computer Programming,127,pp. 50 - 75, Elsevier, 2016.
F. Duarte, R. Gil, P. Romano, L. Rodrigues e A. Lopes, Actas do 8º Encontro Nacional de Informática, INFORUM 2016, Lisboa, Portugal, Setembro de 2016.
J. Camara, A.Lopes, D. Garlan and B. Schmerl, in I.Lanese ans E.Madelaine, (Eds.), 11th International Symposium on Formal Aspects of Component Software (FACS), LNCS 8997,pp. 89 - 107, 2015. doi
L. Rosa, L. Rodrigues, A.Lopes, M. Hiltunen, R. Schlichting, IEEE Transactions on Software Engineering 39(3), pp. 403-421, 2013.
R.Lemos et al, in R.Lemos, H.Giese and H.Muller, (Eds.), Software Engineering for Self-Adaptive Systems II, LNCS 7475, pp. 1-32, Springer-Verlag Berlin Heidelberg, 2013.
Y.Brun, R.Desmarais, K.Geihs, M.Litoiu, A.Lopes, M. Shaw, and M. Smith, in R.Lemos, H.Giese and H.Muller, (Eds.), Software Engineering for Self-Adaptive Systems II, LNCS 7475, pp. 33-50, Springer-Verlag Berlin Heidelberg, 2013.
L.Rosa, L.Rodrigues and A.Lopes, in R.Lemos, H.Giese and H.Muller, (Eds.), Software Engineering for Self-Adaptive Systems II, LNCS 7475, pp. 162-190, Springer-Verlag Berlin Heidelberg, 2013.
L.Rosa, L.Rodrigues and A.Lopes, in Proceedings of 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2011), Athens, Greece, pp. 587-591, 2011
L.Rosa, L.Rodrigues, A.Lopes, M. Hiltunen and R.Schlicht, in Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November 2009, LNCS 5873, Springer
L.Rosa, A.Lopes and L.Rodrigues, in Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Ceara, Brazil, March 2008, pp. 2174-2180, ACM
L.Rosa, L.Rodrigues and A.Lopes, in First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Rome, Italy, October 2007, ACM International Conference Proceeding Series, Vol. 302, 2007.
L.Rosa, L.Rodrigues and A.Lopes, in Proc. 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), Vilamoura, Portugal, November 2007, LNCS 4803, pp. 754-771, Springer, 2007
L.Rosa, A.Lopes and L.Rodrigues, in Proc. IEEE International Conference on Autonomic and Autonomous Systems (ICAS 2006), Silicon Valley, USA, July 2006. IEEE Explore
J.Mocito, L.Rosa, N.Almeida, H.Miranda, L.Rodrigues and A.Lopes, in International Journal of Parallel, Emergent and Distributed System 21 (3), June 2006. Taylor & Francis Online Journals
J.Mocito, L.Rosa, N.Almeida, H.Miranda, L.Rodrigues and A.Lopes, in Proc. 3rd International Workshop on Mobile Distributed Computing (MDC'05) (in conjunction with the 25th IEEE International Conference on Distributed Computing Systems, Columbus, Ohio, USA), pp. 652-655, IEEE Computer Society, 2005.
Event-based Architectures
J.L.Fiadeiro and A.Lopes, in L.Baresi and R.Heckel (Eds.), Proc. Fundamental Approaches to Software Engineering (FASE'06), LNCS 3922, pp. 18-32, Springer, 2006
J.L.Fiadeiro and A.Lopes, Mathematical Structures in Computer Science 17, pp. 1029-1073, Cambridge University Press, 2007 doi
Context-awareness
A.Lopes and J.L.Fiadeiro, in R.Morrison and F.Oquendo (Eds.), Proc. 2nd European Workshop on Software Architectures, Languages, Styles, Models, Tools and Applications, LNCS 3527, pp. 146-161, Springer, 2005
A.Lopes and J.L.Fiadeiro, in Recent Trends in Algebraic Development Techniques - 17th International Workshop - Selected Papers, LNCS 3423, pp. 79-93, Springer, 2004
Distribution and Mobility
A.Lopes and J.L.Fiadeiro, in Science of Computer Programming 61, pp. 114-135, Elsevier, 2006
J.L.Fiadeiro and A.Lopes, in Second International Symposium on Formal Methods for Components and Objects, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, F.S.d.Boer, M.Bonsangue, S.Graf, W.-P.de Roever (Eds.), LNCS 3188, pp. 177-197, Springer, 2004
C.Oliveira, M.Wermelinger, J.L.Fiadeiro and A.Lopes, Proc. 4th Working IEEE/IFIP Conference on Software Architecture, pp. 305-308, IEEE Computer Society Press, 2004
L.Andrade, P.Baldan, H.Baumeister, R.Bruni, A.Corradini, R.De Nicola, J.L.Fiadeiro, F.Gadducci, S.Gnesi, P.Hoffman, N.Koch, P.Kosiuczenko, A.Lapadula, D.Latella, A.Lopes, M.Loreti, M.Massink, F.Mazzanti, U.Montanari, C.Oliveira, R.Pugliese, A.Tarlecki. M.Wermelinger, M.Wirsing, A.Zawlocki, Recent Trends in Algebraic Development Techniques – 16th International Workshop – Selected Papers, LNCS 2755, pp. 1-33, Springer-Verlag, 2003
L.Andrade, J.L.Fiadeiro, A.Lopes and M.Wermelinger, in G.Tarnai & E.Schnieder (Eds.), Formal Methods for Railway Operation and Control Systems, L'Harmattan Press, 2003
A.Lopes and J.L.Fiadeiro, Proc. 2nd Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'03), Electronic Notes in Theoretical Computer Science 97, pp. 241-258, 2004
L.F.Andrade, J.L.Fiadeiro, A.Lopes and M.Wermelinger, Proc. UMICS'03 (Ubiquitous Mobile Information and Collaboration Systems), CAiSE Workshops 2003
A.Lopes and J.L.Fiadeiro, Recent Trends in Algebraic Development Techniques – 15th Workshop on ADTs – Selected Papers, LNCS 2755, pp. 343-358, Springer-Verlag, 2003
A.Lopes, J.L.Fiadeiro and M.Wermelinger, Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 10), pp. 41-50, ACM Press, 2002
Architectural Connectors
R.Bruni, J.L.Fiadeiro, I.Lanese, A.Lopes and U.Montanari, Proc. IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science, Kluwer Academics, 2004
A.Lopes, M.Wermelinger and J.L.Fiadeiro, ACM Transactions on Software Engineering and Methodology 12 (1), pp. 64-104, 2003
J.L.Fiadeiro, A.Lopes and M.Wermelinger, in Generic Programming, R.Backhouse and J.Gibbons (Eds.), LNCS 2793, pp. 190-234, Springer-Verlag, 2003
A.Lopes, M.Wermelinger and J.L.Fiadeiro, Recent Trends in Algebraic Development Techniques – 14th Workshop on ADTs – Selected Papers, LNCS 2267, pp. 201-220, Springer-Verlag, 2001
M.Wermelinger, A.Lopes and J.L.Fiadeiro , Proc. 10th International Workshop on Software Specification and Design (IWSSD'2000), pp. 87-94, IEEE Computer Society Press, 2000
J.L.Fiadeiro and A.Lopes, in M.Bidoit and M.Dauchet (Eds.), Proc. TAPSOFT'97, LNCS 1214, pp. 505-519, Springer-Verlag, 1997
Dynamic Reconfiguration
M. Wermelinger, A.Lopes and J.Fiadeiro, Proc. 8th European Software Engineering, Conference / 9th Symposium on the Foundations of Software Engineering, pp. 21-32. ACM Press, 2001
M.Wermelinger, A.Lopes and J.Fiadeiro, Proc. of the Workshop on Formal Foundations of Software Evolution, pp. 59-66, 2001
CommUnity Approach
A.Lopes and J.L.Fiadeiro, in M.V.Cengarle, Proc. Requirements, Design, Correct Construction and Verification, pp. 1-12, Verlag UNI-DRUCK, Munchen 2000 (ISBN 3-87821-315-8)
A.Lopes and J.L.Fiadeiro, in J.P.Finance (ed), Proc. Fundamental Approaches to Software Engineering (FASE'99), LNCS1577, pp. 144-160, Springer-Verlag, 1999
F.Andrade, J.P.Faria, A.Lopes and A.Paiva, in D.Latella and H. Treharne (Eds..): Integrated Formal Methods, iFM 2012, Pisa, Italy, June 2012, LNCS 7321, pp. 296--311. Springer-Verlag Berlin Heidelberg, 2012
P.Crispim, A.Lopes and V.Vasconcelos, in J. Davies, L. Silva, and A. Simão (Eds..): Formal Methods: Foundations and Applications, Revised Selected Papers, 13th Brazilian Symposium on Formal Methods, SBFM 2010, Natal, Brasil, Nov. 2010, LNCS 6527, pp. 33--48. Springer-Verlag Berlin Heidelberg (2011)
F.Rebelo de Andrade, J.P.Faria, A.C.R.Paiva e A.Lopes, Actas do 3º Encontro Nacional de Informática, INFORUM 2011, Coimbra, Portugal, Setembro de 2011, TR, Universidade de Coimbra (2011)
P.Crispim, A.Lopes e V.Vasconcelos, Actas do 2º Encontro Nacional de Informática, INFORUM 2010, Braga, Portugal, Setembro de 2010, TR, Universidade do Minho. Best Student Paper Award
I.Nunes, A.Lopes and V.Vasconcelos, Runtime Verification, 9th International Workshop — Selected Papers, LNCS 5779, pp. 115-131, Springer, 2009
I.Nunes, A.Lopes, V.Vasconcelos, J.Abreu and L.S. Reis, Technical Report DI/FCUL TR-05-22, Dep. Informatics, University of Lisbon, Dec 2005
I.Nunes, A.Lopes, V.Vasconcelos, J.Abreu and L.S.Reis, Eighth International Conference on Formal Engineering Methods (ICFEM), Macau, China, October 2006, LNCS 4260, pp. 494-513, Springer, 2006
A.L.Santos, K.Koskimies and A.Lopes, Journal of Systems and Software 83 (7), pp. 1078-1093, July 2010. doi.
A.L.Santos, K.Koskimies and A.Lopes, 12th International Software Product Line Conference (SPLC'08), Limerick, Irland, pp.149-158, IEEE, 2008.
A.L.Santos, A.Lopes and K.Koskimies, 6th International Conference on Aspect-Oriented Software Development (AOSD'07), Vancouver, Canada, pp. 14-24, ACM Press, 2007
A.L.Santos, K.Koskimies and A.Lopes, Nordic Journal of Computing 13, pp. 196-213, December 2006
A.L.Santos, A.Lopes and K.Koskimies, Proc. XI Conference on Software Engineering and Databases (JISBD'06), Barcelona, Spain, Oct. 2006
H.Galhardas, A.Lopes and E. Santos, in Alfredo Cuzzocrea, Umeshwar Dayal (Eds..), Proceedings of the 13th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2011), Toulouse, France, LNCS 6862, pp. 136-151, Springer, 2011.
P.Carreira, H.Galhardas, A.Lopes and J.Pereira, Data & Knowledge Engineering, 62 (3), pp. 483-503, Elsevier, Setember 2007
P.Carreira, H.Galhardas, J.Pereira and A.Lopes, in A. Min Tjoa and Juan Trujillo (Eds.), Proceedings of the 7th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2005), Copenhagen, Denmark, LNCS 3589, pp. 136-145, Springer, 2005
P.Carreira, H.Galhardas, A.Lopes and J.Pereira, in Proceedings of Brazilian Symposium of DBs (SBBD'05), Uberlândia, Brazil, pp.145-159, 2005
J.L.Fiadeiro, A.Lopes, B.Delahaye and A.Legay, Mathematical Structures in Computer Science, Cambridge University Press, May 2017
J.L.Fiadeiro and A.Lopes, Theoretical Computer Science 663, pp. 1-33, Elsevier, 2017
B.Delahaye, J.L.Fiadeiro, A.Legay and A.Lopes, in G. Ciobanu and D. Méry(Eds.), Proceedings of 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014), LNCS 8687, pp. 115-132. Springer International Publishing Switzerland, 2014
J.L.Fiadeiro and A.Lopes, in S. Gnesi and A. Rensink (Eds.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2014), LNCS 8411, pp. 79-93. Springer-Verlag Berlin Heidelberg, 2014
B.Delahaye, J.L.Fiadeiro, A.Legay and A.Lopes, in D. Beyer and M. Boreale (Eds.), Proceedings of IFIP Joint Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2013), LNCS 7892, pp. 242-257. Springer-Verlag Berlin Heidelberg, 2013
L.Andrade, J.Fiadeiro, J.Gouveia, G.Koutsoukos, A.Lopes, M.Wermelinger, Proc. of the 5th Brasilian Symposium on Programming Languages, pp. B29-B39, Univ. Federal do Paraná, 2001
L.F.Andrade, J.L.Fiadeiro, J.Gouveia, A.Lopes and M.Wermelinger, Coordination Languages and Models, LNCS 1906, pp. 317-322, Springer- Verlag, 2000
J.Fiadeiro and A.Lopes, in A. Haeber (ed), Proc. International Conference on Algebraic Methodology and Software Technology (AMAST'98), LNCS 1548, pp. 293-307, Springer-Verlag, 1998
A.Lopes and J.L.Fiadeiro, Formal Aspects of Computing 16 (1), 5-18, Springer, April 2004 (extended version of ENTCS paper)
A.Lopes and J.L.Fiadeiro, Electronic Notes in Theoretical Computer Science 70 No. 3, 2002
A.Lopes and J.L.Fiadeiro, in H.Kirchner and C.Ringeiseen (Eds.), Proc. International Conference on Algebraic Methodology and Software Technology (AMAST'02), LNCS 2422, pp. 426-440, Springer-Verlag, 2002
A.Lopes, PhD Thesis, University of Lisbon, January 1999
A.Lopes and J.Fiadeiro, in M. Johnson (ed), Proc. International Conference on Algebraic Methodology and Software Technology (AMAST'97), LNCS 1349, pp. 380-394, Springer-Verlag, 1997
J.L.Fiadeiro, A.Lopes and T.Maibaum, in R.Bird and L.Meertens (Eds.), Proc. IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, pp. 240-264, Chapman Hall, 1997
K.Lano, J.Bicarregui, J.Fiadeiro and A.Lopes, in J.Fitzgerald, C.Jones and P.Lucas (Eds.), Formal Methods Europe 1997, LNCS 1313, pp. 298-317, Springer-Verlag, 1997
A.Lopes, J.F.Costa and J.L.Fiadeiro, in P-Y.Schobbens (ed), Proceedings of 1st MEDICIS Workshop, Namur, pp. 131-137, 1994
A.Lopes, J.F.Costa and D.Montesi, in K.De Bosscher, J.-M.Jacquet and A.Brogi (Eds.), Proceedings of ICLP Workshop on Process-based Parallel Logic Programming Languages, St.Margherita Ligure, 91-114, 1994
A.Lopes and J.F.Costa, in J.Souquières (Eds.), Proceedings of ERCIM Workshop on Development and Transformation of Programs, Nancy, 43-55, 1993
C.Sernadas, P.Gouveia and A.Lopes, in J.Goeers, A.Heuer, Gunter Saake (Eds.), Proceedings of the 3rd International Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria), 215-228, TU Clausthal, 1991
C.Sernadas, P.Gouveia and A.Lopes, in The Deductive Approach to Information Systems and Databases 90, 93-110, Universitat Politècnica de Catalunya, 1990.
The documents contained in this directory are included by
the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a non-commercial basis. Copyright and
all rights therein are maintained by the authors or by other copyright
holders, notwithstanding that they have offered their works here
electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's copyright. These works may not be reposted without the explicit
permission of the copyright holder.