default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAugusto Sampaio 0001
Augusto C. A. Sampaio
Person information
- affiliation: Universidade Federal de Pernambuco, Caicó, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j40]Ana Cavalcanti
, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio:
Laws of Timed State Machines. Comput. J. 67(6): 2066-2107 (2024)- [j39]Joabe Jesus, Augusto Sampaio:
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. Sci. Comput. Program. 236: 103113 (2024) - [j38]Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda:
A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. 23(3): 657-693 (2024) - [j37]Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino:
A formal component model for UML based on CSP aiming at compositional verification. Softw. Syst. Model. 23(3): 765-798 (2024) - [c96]Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe:
Extracting Formal Smart-Contract Specifications from Natural Language with LLMs. FACS 2024: 109-126 - [c95]Gustavo Carvalho, José Dihego, Augusto Sampaio:
An Integrated Framework for Analysing, Simulating and Testing UML Models. SBMF 2024: 86-104 - [c94]Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda:
Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts. SBMF 2024: 194-204 - 2023
- [c93]Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - [c92]Marcus Santos, Madiel Conserva Filho, Augusto Sampaio:
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. LARS/SBR/WRE 2023: 236-241 - [c91]Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio:
Sound Test Case Generation for Concurrent Mobile Features. SBMF 2023: 92-109 - 2022
- [c90]Joabe Jesus, Augusto Sampaio:
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. SBMF 2022: 91-108 - [c89]Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe:
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. SEFM 2022: 227-243 - [i3]Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe:
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. CoRR abs/2205.07529 (2022) - [i2]Pedro Antonino, Augusto Sampaio, Jim Woodcock:
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR abs/2207.08854 (2022) - 2021
- [c88]Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang:
Transforming RoboSim Models into UPPAAL. TASE 2021: 79-86 - 2020
- [j36]José Dihego, Augusto Sampaio, Marcel Oliveira:
A refinement checking based strategy for component-based systems evolution. J. Syst. Softw. 167: 110598 (2020) - [j35]Filipe Arruda, Flávia A. Barros, Augusto Sampaio:
Automation and consistency analysis of test cases written in natural language: An industrial context. Sci. Comput. Program. 189: 102377 (2020) - [i1]José Dihego, Augusto Sampaio, Marcel Oliveira:
A refinement checking based strategy for component-based systems evolution. CoRR abs/2005.10295 (2020)
2010 – 2019
- 2019
- [j34]Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis:
Verified simulation for robotics. Sci. Comput. Program. 174: 1-37 (2019) - [j33]Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio:
Test case generation, selection and coverage from natural language. Sci. Comput. Program. 181: 84-110 (2019) - [j32]Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio:
CPN simulation-based test case generation from controlled natural-language requirements. Sci. Comput. Program. 181: 111-139 (2019) - [c87]Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Multi-objective Search for Effective Testing of Cyber-Physical Systems. SEFM 2019: 183-202 - [e6]Pedro Ribeiro, Augusto Sampaio:
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Lecture Notes in Computer Science 11885, Springer 2019, ISBN 978-3-030-31037-0 [contents] - 2018
- [j31]Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti:
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133: 21-25 (2018) - [j30]Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio:
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162: 35-54 (2018) - [j29]Augusto Sampaio, Farn Wang:
Theoretical aspects of computing. Theor. Comput. Sci. 744: 1-2 (2018) - [c86]Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis:
Modelling and Verification for Swarm Robotics. IFM 2018: 1-19 - [c85]Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio:
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. SBMF 2018: 163-179 - [c84]Flávia Falcão, Lucas Lima, Augusto Sampaio:
Safe and Constructive Design with UML Components. SBMF 2018: 234-251 - [c83]Tainã Santos, Gustavo Carvalho, Augusto Sampaio:
Formal Modelling of Environment Restrictions from Natural-Language Requirements. SBMF 2018: 252-270 - 2017
- [j28]Moreno Falaschi, Augusto Sampaio:
Editorial. Formal Aspects Comput. 29(3): 381-382 (2017) - [j27]Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro:
An idiom to represent data types in Alloy. Inf. Softw. Technol. 82: 173-176 (2017) - [j26]Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis:
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16(3): 875-902 (2017) - [c82]Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio:
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles 2017: 65-87 - [c81]Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Simulation of hybrid systems from natural-language requirements. CASE 2017: 1320-1325 - [c80]Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad:
A Process for Sound Conformance Testing of Cyber-Physical Systems. ICST Workshops 2017: 46-50 - [c79]Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio:
Local Analysis of Determinism for CSP. SBMF 2017: 107-124 - 2016
- [j25]Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio:
Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. 28(5): 725-765 (2016) - [j24]Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe:
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28(6): 937-1004 (2016) - [c78]Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti:
Local Livelock Analysis of Component-Based Models. ICFEM 2016: 279-295 - [c77]Augusto Sampaio, Filipe Arruda:
Formal Testing from Natural Language in an Industrial Context. SBMF 2016: 21-38 - [c76]Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
Model Checking Requirements. SBMF 2016: 217-234 - [c75]Lucas Lima, Juliano Iyoda, Augusto Sampaio:
Refinement Verification of Sequence Diagrams Using CSP. SBMF 2016: 235-252 - [c74]Filipe Arruda, Augusto Sampaio, Flávia A. Barros:
Capture & Replay with Text-Based Reuse and Framework Agnosticism. SEKE 2016: 420-425 - [c73]Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio:
A Suspension-Trace Semantics for CSP. TASE 2016: 3-13 - [e5]Augusto Sampaio, Farn Wang:
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Lecture Notes in Computer Science 9965, 2016, ISBN 978-3-319-46749-8 [contents] - 2015
- [c72]José Dihego, Augusto Sampaio:
Aspect-Oriented Development of Trustworthy Component-based Systems. ICTAC 2015: 425-444 - [c71]José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira:
Constructive extensibility of trustworthy component-based systems. SAC 2015: 1808-1814 - [c70]Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota:
Verifying Transformations of Java Programs Using Alloy. SBMF 2015: 110-126 - [c69]Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio:
Automatic Generation of Test Cases and Test Purposes from Natural Language. SBMF 2015: 145-161 - [c68]Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio:
Test Case Generation from Natural Language Requirements Using CPN Simulation. SBMF 2015: 178-193 - [c67]Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio:
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM 2015: 283-290 - 2014
- [j23]Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota:
Test generation from state based use case models. Formal Aspects Comput. 26(3): 441-490 (2014) - [j22]Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn:
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95: 275-297 (2014) - [j21]Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe:
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24(4): 289-319 (2014) - [c66]Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock:
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. FM 2014: 62-77 - [c65]Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
A Modular Theory of Object Orientation in Higher-Order UTP. FM 2014: 627-642 - [c64]Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio:
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM 2014: 43-58 - [c63]Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho:
Model-Checking Circus State-Rich Specifications. IFM 2014: 39-54 - [c62]Lucas Lima, Juliano Iyoda, Augusto Sampaio:
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. MODELSWARD 2014: 317-324 - [c61]Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans:
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods 2014: 31-45 - 2013
- [c60]Giovanny Lucero, David A. Naumann, Augusto Sampaio:
Laws of Programming for References. APLAS 2013: 124-139 - [c59]José Dihego, Pedro R. G. Antonino, Augusto Sampaio:
Algebraic Laws for Process Subtyping. ICFEM 2013: 4-19 - [c58]Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM 2013: 148-164 - [c57]Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn:
Test case generation from natural language requirements based on SCR specifications. SAC 2013: 1217-1222 - 2012
- [j20]Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe:
Constructive model-based analysis for safety assessment. Int. J. Softw. Tools Technol. Transf. 14(6): 673-702 (2012) - [j19]David A. Naumann, Augusto Sampaio, Leila Silva:
Refactoring and representation independence for class hierarchies. Theor. Comput. Sci. 433: 60-97 (2012) - [c56]David Cardoso, Augusto Sampaio:
A framework for monitorable services implementation. SBCARS 2012: 91-100 - [c55]Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio:
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF 2012: 67-82 - 2011
- [j18]Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda:
Correct hardware synthesis - An algebraic approach. Acta Informatica 48(7-8): 363-396 (2011) - [j17]Rafael M. Duarte, Alexandre Mota, Augusto Sampaio:
Introducing concurrency in sequential Java via laws. Inf. Process. Lett. 111(3): 129-134 (2011) - [c54]Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo:
Architectural Verification of Control Systems Using CSP. ICFEM 2011: 323-339 - 2010
- [j16]Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio:
A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. 22(2): 153-191 (2010) - [j15]Adolfo Duran, Ana Cavalcanti, Augusto Sampaio:
An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects Comput. 22(5): 489-535 (2010) - [j14]Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010) - [j13]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75(5): 350-373 (2010) - [c53]Leila Silva, David A. Naumann, Augusto Sampaio:
Refactoring and representation independence for class hierarchies: extended abstract. FTfJP@ECOOP 2010: 8:1-8:7 - [c52]Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi:
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) 2010: 625-639 - [e4]Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, ISBN 978-3-642-14334-2 [contents]
2000 – 2009
- 2009
- [c51]Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha:
Test case prioritization based on data reuse an experimental study. ESEM 2009: 279-290 - [c50]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Systematic Development of Trustworthy Component Systems. FM 2009: 140-156 - [c49]Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota:
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48 - [c48]Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219 - [c47]Renata Kaufman, Augusto Sampaio, Alexandre Mota:
Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250 - 2008
- [j12]Gustavo Cabral, Augusto Sampaio:
Automated Formal Specification Generation and Refinement from Requirement Documents. J. Braz. Comput. Soc. 14(1): 87-106 (2008) - [j11]Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio:
Compositional Abstraction of CSPZ Processes. J. Braz. Comput. Soc. 14(2): 23-44 (2008) - [c46]Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota:
Guided Test Generation from CSP Models. ICTAC 2008: 258-273 - [c45]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Framework composition conformance via refinement checking. SAC 2008: 119-125 - [c44]Leila Silva, Augusto Sampaio, Zhiming Liu:
Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226 - [c43]Flávia Falcão, Juliano Iyoda, Augusto Sampaio:
Multiple Synchrony in MSC. SBMF 2008: 149-166 - 2007
- [c42]Patrícia D. L. Machado, Augusto Sampaio:
Automatic Test-Case Generation. PSSE 2007: 59-103 - [e3]Augusto Sampaio:
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005. Electronic Notes in Theoretical Computer Science 184, Elsevier 2007 [contents] - 2006
- [c41]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Transformation Laws for UML-RT. FMOODS 2006: 123-137 - [c40]Robson Godoi, Rodrigo Ramos, Augusto Sampaio:
Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes. SBES 2006: 113-128 - [c39]Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
Object-Orientation in the UTP. UTP 2006: 18-37 - [c38]Patrícia Ferreira, Augusto Sampaio, Alexandre Mota:
Viewing CSP Specifications with UML-RT Diagrams. SBMF 2006: 57-74 - [c37]Manuela Xavier, Ana Cavalcanti, Augusto Sampaio:
Type Checking Circus Specifications. SBMF 2006: 75-93 - [c36]Gustavo Cabral, Augusto Sampaio:
Formal Specification Generation from Requirement Documents. SBMF 2006: 171-188 - [e2]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167, Springer 2006, ISBN 978-3-540-46253-8 [contents] - 2005
- [j10]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Unifying classes and processes. Softw. Syst. Model. 4(3): 277-296 (2005) - [c35]Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114 - [c34]Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante:
Software test program: a software residency experience. ICSE 2005: 611-612 - [c33]Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo:
A Strategy for the Formal Composition of Frameworks. SEFM 2005: 404-413 - [c32]Augusto Sampaio:
Preface. SBMF 2005: 1-2 - 2004
- [j9]Leila Silva, Augusto Sampaio, Edna Barros:
A Constructive Approach to Hardware/Software Partitioning. Formal Methods Syst. Des. 24(1): 45-90 (2004) - [j8]Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio:
Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004) - [c31]Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. ICTAC 2004: 478-493 - [c30]Adalberto Farias, Alexandre Mota, Augusto Sampaio:
Efficient CSPZ Data Abstraction. IFM 2004: 108-127 - [c29]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement: An overview. PSSE 2004: 1-17 - [c28]Augusto Sampaio, Paulo Borba:
Transformation Laws for Sequential Object-Oriented Programming. PSSE 2004: 18-63 - [c27]Leonardo Cole, Eduardo Kessler Piveta, Augusto Sampaio:
RUP Based Analysis and Design with Aspects. SBES 2004: 210-224 - [c26]Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring Towards a Layered Architecture. SBMF 2004: 281-300 - 2003
- [j7]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
A Refinement Strategy for Circus. Formal Aspects Comput. 15(2-3): 146-181 (2003) - [c25]Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante:
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. ICATPN 2003: 161-180 - [c24]Paulo Borba, Augusto Sampaio, Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482 - [c23]Adolfo Duran, Ana Cavalcanti, Augusto Sampaio:
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME 2003: 301-320 - [c22]Augusto Sampaio, Alexandre Mota, Rodrigo Ramos:
Class and Capsule Refinement in UML for Real Time. WMF 2003: 23-51 - 2002
- [c21]Alexandre Mota, Paulo Borba, Augusto Sampaio:
Mechanical Abstraction of CSPZ Processes. FME 2002: 163-183 - [c20]Augusto Sampaio, Jim Woodcock, Ana Cavalcanti:
Refinement in Circus. FME 2002: 451-470 - [c19]Adolfo Duran, Ana Cavalcanti, Augusto Sampaio:
Refinement Algebra for Formal Bytecode Generation. ICFEM 2002: 347-358 - [c18]Ana Cavalcanti, Augusto Sampaio:
From CSP-OZ to Java with Processes. IPDPS 2002 - [c17]Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti:
JACK: A Framework for Process Algebra Implementation in Java. SBES 2002: 98-113 - [c16]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement of actions in Circus. Refine 2002: 132-162 - [c15]Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring by Transformation. Refine 2002: 311-330 - 2001
- [j6]Alexandre Mota, Augusto Sampaio:
Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program. 40(1): 59-96 (2001) - [c14]Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante:
An Integrated Approach to Specification and Validation of Real-Time Systems. FME 2001: 278-299 - [c13]Leila Silva, Augusto Sampaio, Geraint Jones:
Serialising Parallel Processes in a Hardware/Software Partitioning Context. FME 2001: 344-363 - 2000
- [j5]Paulo Borba, Augusto Sampaio:
Basic Laws of ROOL: an object-oriented language. RITA 7(1): 49-68 (2000) - [c12]C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98 - [e1]Augusto Sampaio:
Proceedings of the 14th Brazilian Symposium on Software Engineering, SBES 2000, João Pessoa, PB, Brazil, October 4-6, 2000. SBC 2000 [contents]
1990 – 1999
- 1999
- [j4]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Sci. Comput. Program. 33(1): 87-96 (1999) - [c11]Juliano Iyoda, Augusto Sampaio, Leila Silva:
ParTS: A Partitioning Transformation System. World Congress on Formal Methods 1999: 1400-1419 - 1998
- [j3]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Procedures and Recursion in the Refinement Calculus. J. Braz. Comput. Soc. 5(1) (1998) - [c10]Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. AMAST 1998: 308-324 - [c9]Alexandre Mota, Augusto Sampaio:
Model-Checking CSP-Z. FASE 1998: 205-220 - [c8]Alexandre Mota, Augusto Sampaio:
Model-Checking Processes with States: An Industrial Case Study. SBES 1998: 23-36 - 1997
- [b2]Augusto Sampaio:
An Algebraic Approach to Compiler Design. AMAST Series in Computing 4, World Scientific 1997, ISBN 978-981-02-2391-5, pp. 1-204 - [c7]Leila Silva, Augusto Sampaio, Edna Barros:
A Normal Form Reduction Strategy for Hardware/Software Partitioning. FME 1997: 624-643 - 1996
- [j2]Marcilia A. Campos, Augusto C. A. Sampaio, Alexandre H. F. Brainer:
Mechanising the theory of intervals using OBJ3. Reliab. Comput. 2(2): 97-102 (1996) - [c6]Renata Spencer, Augusto Sampaio:
De occam para o transputer: compilação via reescrita de termos. SBES 1996: 103-118 - 1994
- [c5]Edna Barros, Augusto Sampaio:
Towards provably correct hardware/software partitioning using occam. CODES 1994: 210-217 - [c4]Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira:
From MooZ to Eiffel - A Rigorous Approach to System Development. FME 1994: 306-325 - [c3]Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio R. L. Meira:
Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos. SBES 1994: 143-158 - 1993
- [b1]Augusto Sampaio:
An algebraic approach to compiler design. University of Oxford, UK, 1993 - [j1]C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Normal Form Approach to Compiler Design. Acta Informatica 30(8): 701-739 (1993) - 1990
- [c2]Augusto Sampaio, Silvio Romero de Lemos Meira:
Modular Extensions to Z. VDM Europe 1990: 211-232
1980 – 1989
- 1988
- [c1]Augusto C. A. Sampaio, Hermano Perrelli de Moura, Max Cavalcanti de Albuquerque, Silvio Romero Lemos de Meira:
GEMS - Um GErenciador de Módulos de Software. SBES 1988: 61-74
Coauthor Index
Pedro R. G. Antonino
aka: Pedro Antonino
aka: Pedro Antonino
Alexandre Mota 0001
aka: Alexandre Cabral Mota
aka: Alexandre Cabral Mota
Marcel Oliveira
aka: Marcel Vinícius Medeiros Oliveira
aka: Marcel Vinícius Medeiros Oliveira
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
