Search

Your search keyword '"Sampaio, Augusto"' showing total 482 results
Start Over Author "Sampaio, Augusto"

Refine your results

more »

more »

more »

more »
482 results on '"Sampaio, Augusto"'

3. Extracting Formal Smart-Contract Specifications from Natural Language with LLMs

Author

Leite, Gabriel, Arruda, Filipe, Antonino, Pedro, Sampaio, Augusto, Roscoe, A. W., Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Marmsoler, Diego, editor, and Sun, Meng, editor

Published
2024
Full Text
View/download PDF

4. Sound Test Case Generation for Concurrent Mobile Features

Author

Almeida, Rafaela, Nogueira, Sidney, Sampaio, Augusto, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Barbosa, Haniel, editor, and Zohar, Yoni, editor

Published
2024
Full Text
View/download PDF

5. A Pattern-based deadlock-freedom analysis strategy for concurrent systems

Author

Antonino, Pedro, Sampaio, Augusto, and Woodcock, Jim

Subjects
Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory
Abstract

Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analysis in the verification of deadlock freedom for concurrent and distributed systems. It combines a strategy for system decomposition with the verification of the decomposed subsystems via adherence to behavioural patterns. At the core of our work, we have a number of CSP refinement expressions that allows the user of our method to automatically verify all the behavioural restrictions that we impose. We also propose a prototype tool to support our method. Finally, we demonstrate the practical impact our method can have by analysing how it fares when applied to some examples.

Published
2022

6. Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts

Author

Antonino, Pedro, Ferreira, Juliandson, Sampaio, Augusto, and Roscoe, A. W.

Subjects
Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract

Smart contracts are the building blocks of the "code is law" paradigm: the smart contract's code indisputably describes how its assets are to be managed - once it is created, its code is typically immutable. Faulty smart contracts present the most significant evidence against the practicality of this paradigm; they are well-documented and resulted in assets worth vast sums of money being compromised. To address this issue, the Ethereum community proposed (i) tools and processes to audit/analyse smart contracts, and (ii) design patterns implementing a mechanism to make contract code mutable. Individually, (i) and (ii) only partially address the challenges raised by the "code is law" paradigm. In this paper, we combine elements from (i) and (ii) to create a systematic framework that moves away from "code is law" and gives rise to a new "specification is law" paradigm. It allows contracts to be created and upgraded but only if they meet a corresponding formal specification. The framework is centered around \emph{a trusted deployer}: an off-chain service that formally verifies and enforces this notion of conformance. We have prototyped this framework, and investigated its applicability to contracts implementing two widely used Ethereum standards: the ERC20 Token Standard and ERC1155 Multi Token Standard, with promising results.

Published
2022

8. UTP, Circus, and Isabelle

Author

Woodcock, Jim, Cavalcanti, Ana, Foster, Simon, Oliveira, Marcel, Sampaio, Augusto, Zeyda, Frank, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowen, Jonathan P., editor, Li, Qin, editor, and Xu, Qiwen, editor

Published
2023
Full Text
View/download PDF

9. A refinement checking based strategy for component-based systems evolution

Author

Dihego, José, Sampaio, Augusto, and Oliveira, Marcel

Subjects
Computer Science - Software Engineering
Abstract

We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical concurrency properties such as deadlock freedom. The proposed relations allow extension of functionality, whilst preserving behavioural properties. A notion of extensibility is defined on top of a behavioural relation called convergence, which distinguishes inputs from outputs and the context where they are communicated, allowing extensions to reuse existing events with different purposes. We mechanise the strategy for extensibility verification using the FDR4 tool, and illustrate our results with an autonomous healthcare robot case study., Comment: The Journal of Systems and Software

Published
2020
Full Text
View/download PDF

10. UTP, Circus, and Isabelle

Author

Woodcock, Jim, primary, Cavalcanti, Ana, additional, Foster, Simon, additional, Oliveira, Marcel, additional, Sampaio, Augusto, additional, and Zeyda, Frank, additional

Published
2023
Full Text
View/download PDF

13. Detecting the Sigma Phase in Duplex Stainless Steel by Magnetic Noise and First Harmonic Analysis.

Author

Silva, João, Silva, Edgard, Sampaio, Augusto, Lins, Rayssa, Leite, Josinaldo, Silva, Victor Albuquerque, and Tavares, João Manuel R. S.

Subjects
HALL effect transducers, MAGNETIC noise, HEAT treatment, NONDESTRUCTIVE testing, ELECTROMAGNETIC testing
Abstract

Non-destructive electromagnetic tests based on magnetic noise analysis have been developed to study, among others, residual stress, heat treatment outcomes, and harmful microstructures in terms of toughness. When subjected to thermal cycles above 550 °C, duplex stainless steels form an extremely hard and chromium-rich constituent that, if it is superior to 5%, compromises the steel's corrosion resistance and toughness. In the present work, a study was carried out concerning the interaction of excitation waves with duplex stainless steel. Hence, by analyzing the magnetic noise and variations in the amplitude of the first harmonic of the excitation waves, the detection of the deleterious sigma phase in SAF 2205 steel is studied. To simplify the test, a Hall effect sensor replaced the pick-up coil placed on the opposite surface of the excitation coil. Sinusoidal excitation waves of 5 Hz and 25 Hz with amplitudes ranging from 0.25 V to 9 V were applied to samples with different amounts of the sigma phase, and the microstructures were characterized by scanning electron microscopy. The results show that the best testing condition consists of applying waves with amplitudes from 1 V to 2 V and using the first harmonic amplitude. Thus, the test proved effective for detecting the formation of the deleterious sigma phase and can follow the ability to absorb energy by impact and, thus, the material embrittlement. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

15. REPERCUSSÕES ORAIS DE INFECÇÕES SEXUALMENTE TRANSMISSÍVEIS EM PROFISSIONAIS DO SEXO NO AGRESTE PERNAMBUCANO

Author

Segundo, Cícero Francismary Almeida Alves Feitoza, primary, Beserra, Isabel Cavalcanti, additional, Oliveira, Ana Letícia de Albuquerque, additional, Santos, Emanuel Santana dos, additional, Sampaio, Augusto Marabuco, additional, Fonseca, Aldo de Moura, additional, Silva, Ítalo Pereira de Oliveira da, additional, Freitas, Iandra Maria Alves de, additional, Brito, Sávio José da Silva, additional, and Silva, Evanio da, additional

Published
2024
Full Text
View/download PDF

18. Laws of Timed State Machines.

Author

Cavalcanti, Ana, Filho, Madiel Conserva, Ribeiro, Pedro, and Sampaio, Augusto

Subjects
UNIFIED modeling language, FINITE state machines, ALGEBRA software, COMPUTER algorithms, AUTOMATION
Abstract

State machines are widely used in industry and academia to capture behavioural models of control. They are included in popular notations, such as UML and its variants, and used (sometimes informally) to describe computational artefacts. In this paper, we present laws for state machines that we prove sound with respect to a process algebraic semantics for refinement, and complete, in that they are sufficient to reduce an arbitrary model to a normal form that isolates basic (action and control) elements. We consider two variants of UML-like state machines, both enriched with facilities to deal with time budgets, timeouts and deadlines over triggers and actions. In the first variant, machines are self-contained components, declaring all the variables, events and operations that they require or define. In contrast, in the second variant, machines are open, like in UML for instance. Laws for open state machines do not depend on a specific context of variables, events and operations, and normalization uses a novel operator for open-machine (de)composition. Our laws can be used in behaviour-preservation transformation techniques. Their applications are automated by a model-transformation engine. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

19. Multi-objective Search for Effective Testing of Cyber-Physical Systems

Author

Araujo, Hugo, Carvalho, Gustavo, Mousavi, Mohammad Reza, Sampaio, Augusto, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ölveczky, Peter Csaba, editor, and Salaün, Gwen, editor

Published
2019
Full Text
View/download PDF

21. Modelling and Verification for Swarm Robotics

Author

Cavalcanti, Ana, Miyazawa, Alvaro, Sampaio, Augusto, Li, Wei, Ribeiro, Pedro, Timmis, Jon, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Furia, Carlo A., editor, and Winter, Kirsten, editor

Published
2018
Full Text
View/download PDF

22. Safe and Constructive Design with UML Components

Author

Falcão, Flávia, Lima, Lucas, Sampaio, Augusto, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Massoni, Tiago, editor, and Mousavi, Mohammad Reza, editor

Published
2018
Full Text
View/download PDF

23. Formal Modelling of Environment Restrictions from Natural-Language Requirements

Author

Santos, Tainã, Carvalho, Gustavo, Sampaio, Augusto, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Massoni, Tiago, editor, and Mousavi, Mohammad Reza, editor

Published
2018
Full Text
View/download PDF

24. Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions

Author

Almeida, Rafaela, Nogueira, Sidney, Sampaio, Augusto, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Massoni, Tiago, editor, and Mousavi, Mohammad Reza, editor

Published
2018
Full Text
View/download PDF

28. Local Analysis of Determinism for CSP

Author

Otoni, Rodrigo, Cavalcanti, Ana, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cavalheiro, Simone, editor, and Fiadeiro, José, editor

Published
2017
Full Text
View/download PDF

29. FDR: From Theory to Industrial Application

Author

Gibson-Robinson, Thomas, Broadfoot, Guy, Carvalho, Gustavo, Hopcroft, Philippa, Lowe, Gavin, Nogueira, Sidney, O’Halloran, Colin, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gibson-Robinson, Thomas, editor, Hopcroft, Philippa, editor, and Lazić, Ranko, editor

Published
2017
Full Text
View/download PDF

32. Test Case Generation from Natural Language Requirements Using CPN Simulation

Author

Silva, Bruno Cesar F., Carvalho, Gustavo, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cornélio, Márcio, editor, and Roscoe, Bill, editor

Published
2016
Full Text
View/download PDF

33. Automatic Generation of Test Cases and Test Purposes from Natural Language

Author

Nogueira, Sidney, Araujo, Hugo L. S., Araujo, Renata B. S., Iyoda, Juliano, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cornélio, Márcio, editor, and Roscoe, Bill, editor

Published
2016
Full Text
View/download PDF

34. Verifying Transformations of Java Programs Using Alloy

Author

da Silva, Tarciana Dias, Sampaio, Augusto, Mota, Alexandre, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cornélio, Márcio, editor, and Roscoe, Bill, editor

Published
2016
Full Text
View/download PDF

35. Refinement Verification of Sequence Diagrams Using CSP

Author

Lima, Lucas, Iyoda, Juliano, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ribeiro, Leila, editor, and Lecomte, Thierry, editor

Published
2016
Full Text
View/download PDF

36. Model Checking Requirements

Author

Barza, Sérgio, Carvalho, Gustavo, Iyoda, Juliano, Sampaio, Augusto, Mota, Alexandre, Barros, Flávia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ribeiro, Leila, editor, and Lecomte, Thierry, editor

Published
2016
Full Text
View/download PDF

37. Formal Testing from Natural Language in an Industrial Context

Author

Sampaio, Augusto, Arruda, Filipe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ribeiro, Leila, editor, and Lecomte, Thierry, editor

Published
2016
Full Text
View/download PDF

38. Local Livelock Analysis of Component-Based Models

Author

Filho, Madiel S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, Augusto, Cavalcanti, Ana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ogata, Kazuhiro, editor, Lawford, Mark, editor, and Liu, Shaoying, editor

Published
2016
Full Text
View/download PDF

40. Accurate species distribution models: minimum required number of specimen records in the Caatinga biome

Author

SAMPAIO, AUGUSTO CÉSAR P. and CAVALCANTE, ARNÓBIO DE M.B.

Subjects
simulated species, prevalence, minimum number, MaxEnt, sample size
Abstract

Species distribution models (SDMs) are one of the most widely used tools to predict areas with potential for occurrence of native, invasive and endangered species, based on current and future environmenal and climate conditions. Despite their global use, evaluating the accuracy of SDMs based only on presence records is still a challenge. The performance of models depends on the sample size and species prevalence. Recently, studies to model the distribution of species in the Caatinga biome in Northeast Brazil have gained force, raising the question about the minimum number of presence records adjusted to different prevalences that are necessary to generate accurate SDMs. In this context, the objective of this study was to indicate minimum numbers of presence records for species with different prevalences in the Caatinga biome to obtain accurate SDMs. For that purpose, we used a method involving simulated species and performed repeated evaluations of the models’ performance in function of the sample size and prevalence. The results indicated that for this approach in the Caatinga biome, the minimum required numbers of specimen records were 17 and 30 for species with narrow and widespread distributions, respectively.

Published
2023

41. Aspect-Oriented Development of Trustworthy Component-based Systems

Author

Dihego, José, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Leucker, Martin, editor, Rueda, Camilo, editor, and Valencia, Frank D., editor

Published
2015
Full Text
View/download PDF

42. NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

Author

Carvalho, Gustavo, Barros, Flávia, Carvalho, Ana, Cavalcanti, Ana, Mota, Alexandre, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Calinescu, Radu, editor, and Rumpe, Bernhard, editor

Published
2015
Full Text
View/download PDF

43. Impacts of climate change on the potential distribution of epiphytic cacti in the Caatinga biome, Brazil

Author

CAVALCANTE, ARNÓBIO M.B., SAMPAIO, AUGUSTO CÉSAR P., DUARTE, ARYBERG S., and SANTOS, MARCOS AURÉLIO F. DOS

Subjects
maxent, modeling, seasonally dry tropical forest, Climatic refuge
Abstract

The Caatinga biome is the largest dry tropical forest region in South America as well as one of the most vulnerable regions in the world to the climate changes forecast for this century. Climate forecasts for the biome include increased air temperature, reduced rainfall and aridization. This biome does not have a homogeneous landscape; instead it has several rainforest enclaves. This article describes a study to model the potential distribution of four epiphytic cactus species (Epiphyllum phyllanthus (L.) Haw., Rhipsalis floccosa Salm-Dyck ex Pfeiff., Rhipsalis lindbergiana K. Schum and Rhipsalis russellii Britton & Rose.) in the biome under future climate scenarios and traces out a prognosis for the enclaves and the biome. For that purpose, we used the MaxEnt modeling method, considering two future time intervals (2041-2060 and 2061-2080) and the interval 1961-1990 for the current situation, with the RCP4.5 and 8.5 scenarios. The projections for future potential distribution showed a spatial contractions greater than 88% found in the areas of high potential presence for the target species throughout the biome and in all the scenarios. The results strengthen the expectation of aridization in the Caatinga biome, with the loss or shrinkage of rainforest enclaves as time progresses.

Published
2023

44. Automatic Test-Case Generation

Author

Machado, Patrícia, Sampaio, Augusto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Borba, Paulo, editor, Cavalcanti, Ana, editor, Sampaio, Augusto, editor, and Woodcook, Jim, editor

Published
2010
Full Text
View/download PDF

45. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

Author

Carvalho, Gustavo, Carvalho, Ana, Rocha, Eduardo, Cavalcanti, Ana, Sampaio, Augusto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Merz, Stephan, editor, and Pang, Jun, editor

Published
2014
Full Text
View/download PDF

46. Model-Checking Circus State-Rich Specifications

Author

Oliveira, Marcel Vinicius Medeiros, Sampaio, Augusto C. A., Conserva Filho, Madiel S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Sekerinski, Emil, editor

Published
2014
Full Text
View/download PDF

47. A Modular Theory of Object Orientation in Higher-Order UTP

Author

Zeyda, Frank, Santos, Thiago, Cavalcanti, Ana, Sampaio, Augusto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Jones, Cliff, editor, Pihlajasaari, Pekka, editor, and Sun, Jun, editor

Published
2014
Full Text
View/download PDF

48. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

Author

Antonino, Pedro, Sampaio, Augusto, Woodcock, Jim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Jones, Cliff, editor, Pihlajasaari, Pekka, editor, and Sun, Jun, editor

Published
2014
Full Text
View/download PDF

49. Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification

Author

Antonino, Pedro R. G., Oliveira, Marcel Medeiros, Sampaio, Augusto C. A., Kristensen, Klaus E., Bryans, Jeremy W., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Badger, Julia M., editor, and Rozier, Kristin Yvonne, editor

Published
2014
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results