2nd Workshop on Quantitative Aspects of Programming Languages

Barcelona, Spain, 27-28 March 2004 - Satellite Event of ETAPS 2004
OVERVIEW
CALL FOR PAPERS
IMPORTANT DATES
TOPICS
COMMITTEES
KEYNOTE SPEAKERS
SUBMISSION

TOPICS

Topics include, but are not limited to) probabilistic, timing and general quantitative aspects in
LANGUAGE DESIGN PERFORMANCE ANALYSIS
LANGUAGE EXTENSION PROGRAM ANALYSIS
LANGUAGE EXPRESSIVENESS VERIFICATION
HARDWARE DESCRIPTION LANGUAGES ASYNCHRONOUS HARDWARE ANALYSIS
LOGIC REFINEMENT
SEMANTICS AUTOMATED REASONING
COORDINATION MODELS MODEL-CHECKING
DISTRIBUTED SYSTEMS SECURITY
TIME-CRITICAL SYSTEMS SAFETY
EMBEDDED SYSTEMS RISK AND HAZARD ANALYSIS
MULTI-TASKING SYSTEMS SCHEDULING THEORY
INFORMATION SYSTEMS TESTING
BACK TO TOP
Last modified: Tue Aug 5 18:10:56 EST 2003 Feedback