Travelled to:1 × Austria
1 × Brazil
1 × Denmark
1 × France
1 × Italy
1 × Singapore
1 × South Africa
1 × The Netherlands
1 × USA
2 × Portugal
2 × Spain
2 × United Kingdom
3 × Germany
Collaborated with:A.Mota L.Silva A.Cavalcanti S.R.d.L.Meira J.Woodcock R.Ramos P.Borba G.Carvalho S.Cavalcante J.Dihego M.V.M.Oliveira P.R.G.Antonino Z.Liu W.Mesquita A.C.V.d.Melo A.Farias M.Cornélio A.Duran A.Sherif G.Jones J.Iyoda E.Barros V.A.O.Cordeiro F.A.Barros F.Zeyda T.L.V.L.Santos Bruno Oliveira M.R.Mousavi A.Carvalho C.Albuquerque J.Vasconcelos L.Cruz L.Figueiredo D.Falcão L.Motta M.R.Blackburn
Talks about:system (6) strategi (5) softwar (4) refin (4) test (4) base (4) csp (4) process (3) languag (3) requir (3)
Person: Augusto Sampaio
DBLP: Sampaio:Augusto
Contributed to:
2015
2015
20142013200920082008
20052005
2004
20032003200220011999
1998200119971994
1990
2017Wrote 24 papers:
- SAC-2015-DihegoSO #component
- Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
- SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
- NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
- FM-2014-AntoninoSW #analysis #concurrent #csp #network #process #refinement
- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (PRGA, AS, JW), pp. 62–77.
- FM-2014-ZeydaSCS #composition #higher-order #object-oriented
- A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.
- SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing
- Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
- FM-2009-RamosSM #component #development
- Systematic Development of Trustworthy Component Systems (RR, AS, AM), pp. 140–156.
- SAC-2008-RamosSM #composition #consistency #framework #refinement
- Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
- SEFM-2008-SilvaSL #object-oriented #semantics
- Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.
- ICSE-2005-SampaioAVCFC #experience #testing
- Software test program: a software residency experience (AS, CA, JV, LC, LF, SC), pp. 611–612.
- SEFM-2005-MesquitaSM #composition #framework
- A Strategy for the Formal Composition of Frameworks (WM, AS, ACVdM), pp. 404–413.
- IFM-2004-FariasMS #abstraction #performance
- Efficient CSPZ Data Abstraction (AF, AM, AS), pp. 108–127.
- ECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement
- A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.
- FME-2003-DuranCS #compilation #inheritance
- A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (AD, AC, AS), pp. 301–320.
- FME-2002-MotaBS #abstraction #process
- Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
- FME-2002-SampaioWC #refinement
- Refinement in Circus (AS, JW, AC), pp. 451–470.
- FME-2001-SherifSC #approach #realtime #specification #validation
- An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.
- FME-2001-SilvaSJ #clustering #hardware #parallel #process
- Serialising Parallel Processes in a Hardware/Software Partitioning Context (LS, AS, GJ), pp. 344–363.
- FM-v2-1999-IyodaSS #clustering #named
- ParTS: A Partitioning Transformation System (JI, AS, LS), pp. 1400–1419.
- FASE-1998-MotaS #model checking
- Model-Checking CSP-Z (AM, AS), pp. 205–220.
- FASE-J-1998-MotaS01 #industrial #model checking #tool support
- Model-checking CSP-Z: strategy, tool support and industrial application (AM, AS), pp. 59–96.
- FME-1997-SilvaSB #clustering #hardware #normalisation #reduction
- A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
- FME-1994-CordeiroSM #approach #development #eiffel
- From MooZ to Eiffel — A Rigorous Approach to System Development (VAOC, AS, SRdLM), pp. 306–325.
- VDME-1990-SampaioM #composition
- Modular Extensions to Z (AS, SRdLM), pp. 211–232.
- CASE-2017-OliveiraCMS #hybrid #requirements #simulation
- Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.