Search Results - Concurrent Java

Automatic Generation of Contracts for Concurrent Java Programs

Authors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Contributors: Pereira, Hugo Sousa, Diogo G. Bradbury, Jeremy et al.

Subject Terms: paper, national, rank-X, rline-vvcs

File Description: application/pdf

Relation: Pereira, H., Sousa, D. G., Bradbury, J., & Lourenço, J. M. (2022). Automatic Generation of Contracts for Concurrent Java Programs. In INForum 2022 - Atas do 13º Simpósio de Informática (pp. 131-132). (INForum 2022). FEUP Edições. https://inforum.org.pt/2022/sites/default/files/2022-09/Actas_INForum.pdf; 978-972-752-171-5; PURE: 72264597

Availability: http://hdl.handle.net/10362/162732

Type-based protocol conformance and aliasing control in concurrent java programs

Authors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Contributors: Silva, Sérgio António Inácio da Seco, João Vieira, Hugo et al.

Subject Terms: Java, Verification, Type systems, Concurrency, Spatial-behavioral types

File Description: application/pdf

Availability: http://hdl.handle.net/10362/8476

Linguagem concurrent Contract-Java

Authors: Barros, Pedro Loura

Subject Terms: Engenharia de computadores e telemática, Programação orientada para o objecto, Linguagem de programação, Programação de computadores

File Description: application/pdf

Availability: http://hdl.handle.net/10773/21754

The ThreadRadar visualization for debugging concurrent Java programs

Authors: Oliver Moseler Lucas Kreber Stephan Diehl

Source: Journal of Visualization. 25:1267-1289

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Análise de ferramentas para deteção de problemas de concorrência em Java: Um estudo comparativo

Analysis of tools for detecting concurrency issues in Java: A comparative study

Authors: VIGÁRIO, LUÍS FERNANDO DA SILVA NUNES Nogueira, Luis Miguel Pinho REPOSITÓRIO P.PORTO

Contributors: VIGÁRIO, LUÍS FERNANDO DA SILVA NUNES Nogueira, Luis Miguel Pinho REPOSITÓRIO P.PORTO

Source: urn:tid:204000017

Subject Terms: Concurrent programming, Java, Race conditions, Deadlocks, Detection tools, Atomicity violations, Programação concorrente, Ferramentas de deteção, Violações de atomicidade

File Description: application/pdf

Availability: http://hdl.handle.net/10400.22/30458

ThreadRadar: A Thread-Aware Visualization for Debugging Concurrent Java Programs

Authors: Oliver Moseler Lucas Kreber Stephan Diehl

Source: Proceedings of the 14th International Symposium on Visual Information Communication and Interaction. :1-8

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java

Authors: Mostowski, Wojciech, 1976

Source: Deductive Software Verification Lecture Notes in Computer Science. :177-203

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-43704

Testing concurrent Java components

Authors: Bradley Long

Subject Terms: Java (Computer program language), 080304 Concurrent Programming, Computer multitasking

Visual Analytics for Concurrent Java Executions

Authors: Cyrille Artho Monali Pande Qiyi Tang

Source: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). :1102-1105

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

Authors: Chong Shum Wing-Hong Lau Tian Mao et al.

Source: IEEE Access, Vol 6, Pp 21991-22010 (2018)

Subject Terms: memory models, 0202 electrical engineering, electronic engineering, information engineering, modeling and simulation of concurrent execution, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, cyber-physical systems, Direct execution simulation, TK1-9971

Access URL: https://doaj.org/article/2ef4011fb7474db5aa56e4ce4fe99948

Leveraging InfiniBand for Highly Concurrent Messaging in Java Applications

Authors: Stefan Nothaas Kevin Beineke Michael Schoettner

Source: 2019 18th International Symposium on Parallel and Distributed Computing (ISPDC). :74-83

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Design of a toolset for dynamic analysis of concurrent Java programs

Authors: BECHINI, ALESSIO KUO CHUNG TAI

Source: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program testing, Concurrent Java programs, Dynamic program analysis, 01 natural sciences

OSCAR. A Noise Injection Framework for Testing Concurrent Software

Authors: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy et al.

Contributors: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy et al.

Subject Terms: Noise Injection, Java, Bytecode, Instrumentation, Concurrency, Error Detection, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

File Description: application/pdf

Availability: http://hdl.handle.net/10362/151101

Concurrent Java Test Generation as a Search Problem

Authors: Eytani, Yaniv

Source: Electronic Notes in Theoretical Computer Science. 144:57-72

Subject Terms: concurrent Java, 0202 electrical engineering, electronic engineering, information engineering, Random test generator, geneticFinder, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

Multithreading Atomicity: Static Analysis Checkers

Authors: Patrik P. Süli Judit Knoll Zoltán Porkoláb

Source: Acta Cybernetica. 27:241-261

Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), static analysis, atomic operations, concurrency, Java

File Description: application/xml

Dynamic Frames Based Verification Method for Concurrent Java Programs

Authors: Mostowski, Wojciech, 1976

Source: VerCors AUTO-CAAS Verified Software Lecture Notes in Computer Science. :124-141

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30171
https://hh.diva-portal.org/smash/get/diva2:894284/FULLTEXT01.pdf

Writing Concurrent Java Programs Based on CafeOBJ Specifications

Authors: Xuan-Linh Ha Kazuhiro Ogata

Source: 2017 24th Asia-Pacific Software Engineering Conference (APSEC). :618-623

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Analysing Concurrent Queues Using CSP: Examining Java’s ConcurrentLinkedQueue

Authors: Kevin Chalmers Jan Bækgaard Pedersen

Source: Software, Vol 4, Iss 3, p 15 (2025)

Subject Terms: CSP, formal verification, wait-free data structures, concurrent queue, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: https://www.mdpi.com/2674-113X/4/3/15; https://doaj.org/toc/2674-113X

Access URL: https://doaj.org/article/55dc9a43a9eb45ada3aa4bddf78b4227

Synthesis of verifiable concurrent Java components from formal models

Authors: Julio Mariño Raúl N. N. Alborodo Lars-Åke Fredlund et al.

Source: Software & Systems Modeling. 18:71-105

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Concurrent Typestate-Oriented Programming in Java

Authors: Rosita Gerbo Luca Padovani

Source: Electronic Proceedings in Theoretical Computer Science, Vol 291, Iss Proc. PLACES 2019, Pp 24-34 (2019)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1904.01286v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/cc9b6133f1384afb92a5c07e51b30064