Aspects of availability. Enforcing timed properties to prevent denial of service

DOI10.1016/J.SCICO.2009.10.002MaRDI QIDQ608233zbMATH OpenOpenAlexFDO

Authors Pascal Fradet, Stéphane Hong Tuan Ha

Publication date 25 November 2010

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.10.002

zbMATH Keywords

resource managementtimed automataavailabilitydenial of serviceaspect-oriented programmingweaving

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Aspects preserving properties
• scientific article; zbMATH DE number 1500481
• Aspect Categories and Classes of Temporal Properties
• scientific article; zbMATH DE number 1927569
• An Expressive Aspect Language for System Applications with Arachne

Cites work

• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• scientific article; zbMATH DE number 2018588 (Why is no real title available?)
• scientific article; zbMATH DE number 1500481 (Why is no real title available?)
• scientific article; zbMATH DE number 2084815 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• A theory of timed automata
• Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
• Enforcing trace properties by program transformation
• Lectures on Concurrency and Petri Nets
• Modeling control speculation for timing analysis
• Programming Languages and Systems
• Relating complexity and precision in control flow analysis
• Uppaal in a nutshell

Describes a project that uses

Uses Software

• AspectJ
• Uppaal

This page was built for publication: Aspects of availability. Enforcing timed properties to prevent denial of service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q608233)