Proceedings of TACAS _23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems

ProDecAdmin: A Game Scenario Design Tool for Software Project Management Training

Participant Selection for Short-term Collaboration in Open Multi-agent systems

Performance analysis of the Quality of Service-aware NETworking Scheme for sMart Internet of Things gatewayS

Persistence, Periodicity and Privacy for Positive Systems in Epidemiology and Elsewhere

PHOEBE: An Automation Framework for the Effective Usage of Diagnosis Tools in the Performance Testing of Clustered Systems

Physics-Based Methods for Distinguishing Attacks from Faults

Plagiarism networks: finding instances of copied answers in an online introductory programming environment

PonyGE2: Grammatical Evolution in Python

Positioning living labs within action design research: preliminary findings from a systematic literature review