A survey of challenges for runtime verification from advanced application domains (beyond software).

João Lourenço João M. Lourenço http://www-asc.di.fct.unl.pt/~jml/

César Sánchez Gerardo Schneider Wolfgang Ahrendt Ezio Bartocci Domenico Bianculli Christian Colombo Yliès Falcone Adrian Francalanza Srdan Krstic João M. Lourenço Dejan Nickovic Gordon J. Pace José Rufino Julien Signoles Dmitriy Traytel Alexander Weiss A survey of challenges for runtime verification from advanced application domains (beyond software). 279-335 2019 54 Formal Methods in System Design 3 https://doi.org/10.1007/s10703-019-00337-w db/journals/fmsd/fmsd54.html#SanchezSABBCFFK19

César Sánchez Gerardo Schneider Wolfgang Ahrendt Ezio Bartocci Domenico Bianculli Christian Colombo Yliès Falcone Adrian Francalanza Srdan Krstic João M. Lourenço Dejan Nickovic Gordon J. Pace José Rufino Julien Signoles Dmitriy Traytel Alexander Weiss Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). 72 2019 55 Formal Methods in System Design 1 https://doi.org/10.1007/s10703-019-00343-y db/journals/fmsd/fmsd55.html#SanchezSABBCFFK19a

Wolfgang Ahrendt Cyrille Artho Christian Colombo Yliès Falcone Srdan Krstic Martin Leucker Florian Lorber João M. Lourenço Leonardo Mariani César Sánchez Gerardo Schneider Volker Stolz COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. 2019 abs/1902.03776 CoRR http://arxiv.org/abs/1902.03776 db/journals/corr/corr1902.html#abs-1902-03776

João M. Lourenço Verifying Real-World Software with Contracts for Concurrency. 70-73 2018 ISoLA (4) https://doi.org/10.1007/978-3-030-03427-6_9 conf/isola/2018-4 db/conf/isola/isola2018-4.html#Lourenco18 João M. Lourenço Jan Fiedor Bohuslav Krena Tomás Vojnar Discovering Concurrency Errors. 34-60 2018 Lectures on Runtime Verification https://doi.org/10.1007/978-3-319-75632-5_2 series/lncs/10457 db/series/lncs/lncs10457.html#LourencoFKV18

João A. Silva Hervé Paulino João M. Lourenço João Leitão 0001 Nuno M. Preguiça Time-Aware Publish/Subscribe for Networks of Mobile Devices. 2018 abs/1801.00297 CoRR http://arxiv.org/abs/1801.00297 db/journals/corr/corr1801.html#abs-1801-00297

Patrícia Monteiro João Lourenço António Ravara Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória. 2018 abs/1807.08015 CoRR http://arxiv.org/abs/1807.08015 db/journals/corr/corr1807.html#abs-1807-08015

César Sánchez Gerardo Schneider Wolfgang Ahrendt Ezio Bartocci Domenico Bianculli Christian Colombo Yliès Falcone Adrian Francalanza Srdan Krstic João M. Lourenço Dejan Nickovic Gordon J. Pace José Rufino Julien Signoles Dmitriy Traytel Alexander Weiss A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). 2018 abs/1811.06740 CoRR http://arxiv.org/abs/1811.06740 db/journals/corr/corr1811.html#abs-1811-06740

Ricardo J. Dias Carla Ferreira 0001 Jan Fiedor João M. Lourenço Ales Smrcka Diogo G. Sousa Tomás Vojnar Verifying Concurrent Programs Using Contracts. 196-206 2017 ICST https://doi.org/10.1109/ICST.2017.25 conf/icst/2017 db/conf/icst/icst2017.html#DiasFFLSSV17 Filipe Cerqueira João A. Silva João M. Lourenço Hervé Paulino Towards a persistent publish/subscribe system for networks of mobile devices. 2:1-2:6 2017 MECC@Middleware https://doi.org/10.1145/3152360.3152362 conf/middleware/2017mecc db/conf/middleware/mecc2017.html#CerqueiraSLP17 António Teófilo Diogo Remédios João M. Lourenço Hervé Paulino GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking. 232-241 2017 MobiQuitous https://doi.org/10.1145/3144457.3144481 conf/mobiquitous/2017 db/conf/mobiquitous/mobiquitous2017.html#TeofiloRLP17

Nuno Ricardo Costa João Lourenço Gaussian Process Model - An Exploratory Study in the Response Surface Methodology. 2367-2380 2016 32 Quality and Reliability Eng. Int. 7 https://doi.org/10.1002/qre.1940 db/journals/qre/qre32.html#CostaL16

Tiago M. Vale João A. Silva Ricardo J. Dias João M. Lourenço Pot: Deterministic Transactional Execution. 52:1-52:24 2016 13 TACO 4 https://doi.org/10.1145/3017993 db/journals/taco/taco13.html#ValeSDL16

George Gabriel Mendes Dourado Paulo Sergio Lopes de Souza Rafael R. Prado Raphael Negrisoli Batista Simone R. S. Souza Júlio Cezar Estrella Sarita Mazzini Bruschi João Lourenço A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. 2226-2230 2016 ICCS https://doi.org/10.1016/j.procs.2016.05.387 conf/iccS/2016 db/conf/iccS/iccS2016.html#DouradoSPBSEBL16 João Lourenço Leonardo Martins Rui Almeida Cláudia Quaresma Pedro Vieira 0002 Low Cost Inertial Measurement Unit for Motion Capture in Biomedical Applications. 151-158 2016 DoCEIS https://doi.org/10.1007/978-3-319-31165-4_16 conf/ifip5-5/2016doceis db/conf/ifip5-5/doceis2016.html#LourencoMAQV16 João A. Silva João Leitão 0001 Nuno M. Preguiça João M. Lourenço Hervé Paulino Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. 3 2016 MECC@Middleware http://dl.acm.org/citation.cfm?id=3022873 conf/middleware/2016mecc db/conf/middleware/mecc2016.html#SilvaLPLP16 Lois Orosa João Lourenço A Hardware Approach to Detect, Expose and Tolerate High Level Data Races. 159-167 2016 PDP https://doi.org/10.1109/PDP.2016.57 http://doi.ieeecomputersociety.org/10.1109/PDP.2016.57 conf/pdp/2016 db/conf/pdp/pdp2016.html#OrosaL16 João A. Silva Ricardo Monteiro Hervé Paulino João M. Lourenço Ephemeral Data Storage for Networks of Hand-Held Devices. 1106-1113 2016 Trustcom/BigDataSE/ISPA https://doi.org/10.1109/TrustCom.2016.0182 conf/trustcom/2016 db/conf/trustcom/trustcom2016.html#SilvaMPL16

Tiago M. Vale João A. Silva Ricardo J. Dias João M. Lourenço Pot: Deterministic transactional execution. 2016 abs/1612.07702 CoRR http://arxiv.org/abs/1612.07702 db/journals/corr/corr1612.html#ValeSDL16

Eitan Farchi Robert M. Hierons João Lourenço Special issue on testing, analysis and debugging of concurrent programs. 165-166 2015 25 Softw. Test., Verif. Reliab. 3 https://doi.org/10.1002/stvr.1577 db/journals/stvr/stvr25.html#FarchiHL15

Rafael R. Prado Paulo S. L. Souza George G. M. Dourado Simone R. S. Souza Júlio Cezar Estrella Sarita Mazzini Bruschi João Lourenço Extracting static and dynamic structural information from java concurrent programs for coverage testing. 1-8 2015 CLEI https://doi.org/10.1109/CLEI.2015.7359975 conf/clei/2015 db/conf/clei/clei2015.html#PradoSDSEBL15 Jan Fiedor Zdenek Letko João Lourenço Tomás Vojnar Dynamic Validation of Contracts in Concurrent Code. 555-564 2015 EUROCAST https://doi.org/10.1007/978-3-319-27340-2_69 conf/eurocast/2015 db/conf/eurocast/eurocast2015.html#FiedorLLV15 João A. Silva Tiago M. Vale Ricardo J. Dias Hervé Paulino João Lourenço Supporting Multiple Data Replication Models in Distributed Transactional Memory. 11:1-11:10 2015 ICDCN https://doi.org/10.1145/2684464.2684481 conf/icdcn/2015 db/conf/icdcn/icdcn2015.html#SilvaVDPL15 António Teófilo Diogo Remédios Hervé Paulino João Lourenço Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes. 275-276 2015 MobiQuitous https://doi.org/10.4108/eai.22-7-2015.2260272 conf/mobiquitous/2015 db/conf/mobiquitous/mobiquitous2015.html#TeofiloRPL15 Diogo Remédios António Teófilo Hervé Paulino João Lourenço Mobile Device-to-Device Distributed Computing Using Data Sets. 297-298 2015 MobiQuitous https://doi.org/10.4108/eai.22-7-2015.2260273 conf/mobiquitous/2015 db/conf/mobiquitous/mobiquitous2015.html#RemediosTPL15 Ricardo Monteiro João A. Silva João Lourenço Hervé Paulino Decentralized Storage for Networks of Hand-held Devices. 299-300 2015 MobiQuitous https://doi.org/10.4108/eai.22-7-2015.2260263 conf/mobiquitous/2015 db/conf/mobiquitous/mobiquitous2015.html#MonteiroSLP15 João A. Silva João Lourenço Hervé Paulino Boosting locality in multi-version partial data replication. 1309-1314 2015 SAC https://doi.org/10.1145/2695664.2695851 conf/sac/2015 db/conf/sac/sac2015.html#SilvaLP15 Ricardo J. Dias Tiago M. Vale João M. Lourenço Framework Support for the Efficient Implementation of Multi-version Algorithms. 166-191 2015 Transactional Memory https://doi.org/10.1007/978-3-319-14720-8_8 conf/cost/2015tm db/conf/cost/tm2015.html#DiasVL15

Diogo G. Sousa Ricardo J. Dias Carla Ferreira 0001 João Lourenço Preventing Atomicity Violations with Contracts. 2015 abs/1505.02951 CoRR http://arxiv.org/abs/1505.02951 db/journals/corr/corr1505.html#SousaDFL15

Jan Fiedor Zdenek Letko João Lourenço Tomás Vojnar On Monitoring C/C++ Transactional Memory Programs. 73-87 2014 MEMICS https://doi.org/10.1007/978-3-319-14896-0_7 conf/memics/2014 db/conf/memics/memics2014.html#FiedorLLV14

Ricardo J. Dias Tiago M. Vale João Lourenço Efficient support for in-place metadata in Java software transactional memory. 2394-2411 2013 25 Concurrency and Computation: Practice and Experience 17 https://doi.org/10.1002/cpe.3098 db/journals/concurrency/concurrency25.html#DiasVL13

João Soares João Lourenço Nuno M. Preguiça MacroDB: Scaling Database Engines on Multicores. 607-619 2013 Euro-Par https://doi.org/10.1007/978-3-642-40047-6_61 conf/europar/2013 db/conf/europar/europar2013.html#SoaresLP13 João Soares João Lourenço Nuno M. Preguiça Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? 173-180 2013 EWDC https://doi.org/10.1007/978-3-642-38789-0_15 conf/ewdc/2013 db/conf/ewdc/ewdc2013.html#SoaresLP13 Tiago M. Vale Ricardo J. Dias João Lourenço On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. 49-60 2013 MUSEPAT https://doi.org/10.1007/978-3-642-39955-8_5 conf/musepat/2013 db/conf/musepat/musepat2013.html#ValeDL13 João Miguel Lemos Chasqueira Nabais Rudy R. Negenborn Rafael Bernardo Carmona Benítez Luís F. Mendonça João Lourenço Miguel Ayala Botto A Multi-agent Control Architecture for Supply Chains Using a Predictive Pull-Flow Perspective. 94-105 2013 PAAMS (Workshops) https://doi.org/10.1007/978-3-642-38061-7_10 conf/paams/2013w db/conf/paams/paams2013w.html#NabaisNBMLB13 João Lourenço Eitan Farchi Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings 2013 Springer Lecture Notes in Computer Science 8063 https://doi.org/10.1007/978-3-642-39955-8 978-3-642-39954-1 musepat db/conf/musepat/musepat2013.html

Nuno Ricardo Costa João Lourenço Zulema Lopes Pereira Responses modeling and optimization criteria impact on the optimization of multiple quality characteristics. 927-935 2012 62 Computers & Industrial Engineering 4 https://doi.org/10.1016/j.cie.2011.12.015 db/journals/candie/candie62.html#CostaLP12

Nuno Ricardo Costa João Lourenço Zulema Lopes Pereira Multiresponse Optimization and Pareto Frontiers. 701-712 2012 28 Quality and Reliability Eng. Int. 7 https://doi.org/10.1002/qre.1262 db/journals/qre/qre28.html#CostaLP12

Ricardo J. Dias Dino Distefano João Costa Seco João Lourenço Verification of Snapshot Isolation in Transactional Memory Java Programs. 640-664 2012 ECOOP https://doi.org/10.1007/978-3-642-31057-7_28 conf/ecoop/2012 db/conf/ecoop/ecoop2012.html#DiasDSL12 Ricardo J. Dias Tiago M. Vale João Lourenço Efficient Support for In-Place Metadata in Transactional Memory. 589-600 2012 Euro-Par https://doi.org/10.1007/978-3-642-32820-6_59 conf/europar/2012 db/conf/europar/europar2012.html#DiasVL12 Ricardo J. Dias Vasco Pessanha João Lourenço Precise Detection of Atomicity Violations. 8-23 2012 Haifa Verification Conference https://doi.org/10.1007/978-3-642-39611-3_8 conf/hvc/2012 db/conf/hvc/hvc2012.html#DiasPL12 Eitan Farchi Itai Segall João Lourenço Diogo Sousa 0001 Using program closures to make an application programming interface (API) implementation thread safe. 18-24 2012 PADTAD https://doi.org/10.1145/2338967.2336810 conf/issta/2012p db/conf/issta/padtad2012.html#FarchiSLS12 Kerstin Eder João Lourenço Onn Shehory Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 7261 2012 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-34188-5 978-3-642-34187-8 Haifa Verification Conference db/conf/hvc/hvc2011.html

João Lourenço Diogo Sousa 0001 Bruno C. Teixeira Ricardo J. Dias Detecting concurrency anomalies in transactional memory programs. 534-548 2011 8 Comput. Sci. Inf. Syst. 2 https://doi.org/10.2298/CSIS110110007L db/journals/comsis/comsis8.html#LourencoSTD11

Vasco Pessanha Ricardo J. Dias João Lourenço Eitan Farchi Diogo Sousa 0001 Practical verification of high-level dataraces in transactional memory programs. 26-34 2011 PADTAD https://doi.org/10.1145/2002962.2002968 conf/issta/2011p db/conf/issta/padtad2011.html#PessanhaDLFS11 João Lourenço Hannah Thinyane An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. 298-301 2011 SAICSIT https://doi.org/10.1145/2072221.2072262 conf/saicsit/2011 db/conf/saicsit/saicsit2011.html#LourencoT11 João Lourenço Eitan Farchi Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011 978-1-4503-0809-0 PADTAD ACM 2011 db/conf/issta/padtad2011.html

Luís Gomes 0001 João Lourenço Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. 1806-1813 2010 57 IEEE Trans. Industrial Electronics 5 https://doi.org/10.1109/TIE.2009.2031188 db/journals/tie/tie57.html#GomesL10

Hervé Paulino João André Martins João Lourenço Nuno Duro SmART: An Application Reconfiguration Framework. 73-84 2010 CSDM https://doi.org/10.1007/978-3-642-15654-0_5 conf/csdm/2010 db/conf/csdm/csdm2010.html#PaulinoMLD10 João Lourenço Understanding Transactional Memory (Extended Abstract). 1-2 2010 Haifa Verification Conference https://doi.org/10.1007/978-3-642-19583-9_1 conf/hvc/2010 db/conf/hvc/hvc2010.html#Lourenco10 Yoav Hollander Alan J. Hu João Lourenço Ronny Morad Special Session on Debugging. 24-28 2010 Haifa Verification Conference https://doi.org/10.1007/978-3-642-19583-9_7 conf/hvc/2010 db/conf/hvc/hvc2010.html#HollanderHLM10 Bruno C. Teixeira João Lourenço Eitan Farchi Ricardo J. Dias Diogo Sousa 0001 Detection of Transactional Memory anomalies using static analysis. 26-36 2010 PDATAD https://doi.org/10.1145/1866210.1866213 conf/issta/2010p db/conf/issta/padtad2010.html#TeixeiraLFDS10 Nuno Duro Rui Santos João Lourenço Hervé Paulino João Martins 0001 Open virtualization framework for testing ground systems. 67-73 2010 PDATAD https://doi.org/10.1145/1866210.1866217 conf/issta/2010p db/conf/issta/padtad2010.html#DuroSLPM10 João Lourenço Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010 978-1-4503-0136-7 PADTAD ACM 2010 db/conf/issta/padtad2010.html Ricardo J. Dias João Lourenço Unifying Memory and Database Transactions. 349-360 2009 Euro-Par https://doi.org/10.1007/978-3-642-03869-3_35 conf/europar/2009 db/conf/europar/europar2009.html#DiasL09 João Lourenço Ricardo J. Dias João Luís Miguel Rebelo Vasco Pessanha Understanding the behavior of transactional memory applications. 2009 PADTAD https://doi.org/10.1145/1639622.1639625 conf/issta/2009p db/conf/issta/padtad2009.html#LourencoDLRP09

Ricardo J. Dias João Lourenço Gonçalo Cunha Developing libraries using software transactional memory. 103-117 2008 5 Comput. Sci. Inf. Syst. 2 https://doi.org/10.2298/CSIS0802103D db/journals/comsis/comsis5.html#DiasLC08

João Lourenço Luís Gomes 0001 Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. 409-418 2008 Petri Nets https://doi.org/10.1007/978-3-540-68746-7_27 conf/apn/2008 db/conf/apn/pn2008.html#LourencoG08 Marios D. Dikaiakos Omer F. Rana Shmuel Ur João Lourenço Topic 1: Support Tools and Environments. 1-2 2008 Euro-Par https://doi.org/10.1007/978-3-540-85451-7_1 conf/europar/2008 db/conf/europar/europar2008.html#DikaiakosRUL08 Nuno M. Preguiça Rodrigo Rodrigues Cristóvão Honorato João Lourenço Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. 2008 HotDep http://www.usenix.org/events/hotdep08/tech/full_papers/preguica/preguica.pdf conf/hotdep/2008 db/conf/hotdep/hotdep2008.html#PreguicaRHL08 João Lourenço Gonçalo Cunha Testing patterns for software transactional memory engines. 36-42 2007 PADTAD https://doi.org/10.1145/1273647.1273655 conf/issta/2007p db/conf/issta/padtad2007.html#LourencoC07 José C. Cunha William M. Fleischman Viera K. Proulx João Lourenço Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005 ITiCSE ACM 2005 1-59593-024-8 db/conf/iticse/iticse2005.html

João Lourenço José C. Cunha Vitor Moreira Control and Debugging of Distributed Programs Using Fiddle http://arxiv.org/abs/cs.DC/0309049 2003 CoRR cs.DC/0309049 db/journals/corr/corr0309.html#cs-DC-0309049

Vítor Duarte João Lourenço José C. Cunha Supporting On-line Distributed Monitoring and Debugging. 2001 4 Scalable Computing: Practice and Experience 3 http://www.scpe.org/index.php/scpe/article/view/247 db/journals/scpe/scpe4.html#DuarteLC01

João Lourenço José C. Cunha Fiddle: A Flexible Distributed Debugging Architecture. 821-830 2001 conf/iccS/2001-2 International Conference on Computational Science (2) https://doi.org/10.1007/3-540-45718-6_87 db/conf/iccS/iccS2001-2.html#LourencoC01

José C. Cunha João Lourenço Tiago R. Antão An experiment in tool integration: The DDBG parallel and distributed debugger. 897-907 1999 45 Journal of Systems Architecture 11 https://doi.org/10.1016/S1383-7621(98)00024-1 db/journals/jsa/jsa45.html#CunhaLA99

José C. Cunha Pedro D. Medeiros Vítor Duarte João Lourenço Maria Cecilia Gomes An Experience in Building a Parallel and Distributed Problem-Solving Environment. 1804-1809 1999 conf/pdpta/1999 PDPTA db/conf/pdpta/pdpta1999-4.html#CunhaMDLG99

José C. Cunha João Lourenço Vítor Duarte Using DDBG to Support Testing and High-level Debugging Interfaces. 1998 17 Computers and Artificial Intelligence 5 db/journals/cai/cai17.html#CunhaLD98

José C. Cunha João Lourenço João Vieira Bruno Moscão Daniel Pereira A Framework to support Parallel and Distrubuted Debugging. 708-717 1998 conf/hpcn/1998 HPCN Europe db/conf/hpcn/hpcn1998.html#CunhaLVMP98 https://doi.org/10.1007/BFb0037198 José C. Cunha Pedro D. Medeiros João Lourenço Vítor Duarte João Vieira Bruno Moscão Daniel Pereira Rui Vaz The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing. 952-954 1998 conf/hpcn/1998 HPCN Europe db/conf/hpcn/hpcn1998.html#CunhaMLDVMPV98 https://doi.org/10.1007/BFb0037241 José C. Cunha João Lourenço An integrated course on parallel and distributed processing. 217-221 1998 conf/sigcse/1998 SIGCSE https://doi.org/10.1145/273133.274300 db/conf/sigcse/sigcse1998.html#CunhaL98

Péter Kacsuk José C. Cunha Gábor Dózsa João Lourenço Tibor Fadgyas Tiago R. Antão A Graphical Development and Debugging Environment for Parallel Programs. 1747-1770 1997 22 Parallel Computing 13 db/journals/pc/pc22.html#KacsukCDLFA97 https://doi.org/10.1016/S0167-8191(96)00075-0

João Lourenço José C. Cunha Henryk Krawczyk Piotr Kuzora Marcin Neyman Bogdan Wiszniewski An integrated testing and debugging environment for parallel and distributed programs. 291- 1997 conf/euromicro/1997 EUROMICRO https://doi.org/10.1109/EURMIC.1997.617289 http://doi.ieeecomputersociety.org/10.1109/EURMIC.1997.617289 db/conf/euromicro/euromicro1997.html#LourencoCKKNW97 Jan Kwiatkowski Marek Andruszkiewicz Emilio Luque Tomàs Margalef José C. Cunha João Lourenço Henryk Krawczyk Stanislaw Szejko Teaching parallel processing: development of curriculum and software tools. 159-161 1996 ITiCSE https://doi.org/10.1145/237466.237633 conf/iticse/1996 db/conf/iticse/iticse1996.html#KwiatkowskiALMCLKS96 Wolfgang Ahrendt Rui Almeida Marek Andruszkiewicz Tiago R. Antão Cyrille Artho Ezio Bartocci Raphael Negrisoli Batista Rafael Bernardo Carmona Benítez Domenico Bianculli Miguel Ayala Botto Sarita Mazzini Bruschi Filipe Cerqueira Christian Colombo Nuno Ricardo Costa Gonçalo Cunha José C. Cunha Ricardo J. Dias Marios D. Dikaiakos Dino Distefano George Gabriel Mendes DouradoGeorge G. M. Dourado Gábor Dózsa Vítor Duarte Nuno Duro Kerstin Eder Júlio Cezar Estrella Tibor Fadgyas Yliès Falcone Eitan Farchi Carla Ferreira 0001 Jan Fiedor William M. Fleischman Adrian Francalanza Luís Gomes 0001 Maria Cecilia Gomes Robert M. Hierons Yoav Hollander Cristóvão Honorato Alan J. Hu Péter Kacsuk Henryk Krawczyk Bohuslav Krena Srdan Krstic Piotr Kuzora Jan Kwiatkowski João Leitão 0001 Zdenek Letko Martin Leucker Florian Lorber João Luís Emilio Luque Tomàs Margalef Leonardo Mariani João Martins 0001 João André Martins Leonardo Martins Pedro D. Medeiros Luís F. Mendonça Patrícia Monteiro Ricardo Monteiro Ronny Morad Vitor Moreira Bruno Moscão João Miguel Lemos Chasqueira Nabais Rudy R. Negenborn Marcin Neyman Dejan Nickovic Lois Orosa Gordon J. Pace Hervé Paulino Daniel Pereira Zulema Lopes Pereira Vasco Pessanha Rafael R. Prado Nuno M. Preguiça Viera K. Proulx Cláudia Quaresma Omer F. Rana António Ravara Miguel Rebelo Diogo Remédios Rodrigo Rodrigues José Rufino César Sánchez Rui Santos Gerardo Schneider João Costa Seco Itai Segall Onn Shehory Julien Signoles João A. Silva Ales Smrcka João Soares Diogo Sousa 0001Diogo G. Sousa Paulo Sergio Lopes de SouzaPaulo S. L. Souza Simone do Rocio Senger de SouzaSimone R. S. Souza Volker Stolz Stanislaw Szejko Bruno C. Teixeira António Teófilo Hannah Thinyane Dmitriy Traytel Shmuel Ur Tiago M. Vale Rui Vaz João Vieira Pedro Vieira 0002 Tomás Vojnar Alexander Weiss Bogdan Wiszniewski