Antonio Cau

According to our database1, Antonio Cau
  • authored at least 39 papers between 1993 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Position Paper: Safety and Security Monitoring in ICS/SCADA Systems.
Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research 2014, 2014

2013
Verification and enforcement of access control policies.
Formal Methods in System Design, 2013

Dynamic Access Control Policies: Specification and Verification.
Comput. J., 2013

2011
The Calculus of Context-aware Ambients.
J. Comput. Syst. Sci., 2011

Behaviour-based Virus Detection System using Interval Temporal Logic.
Proceedings of the CRiSIS 2011, 2011

2010
Security Management for Mobile Ad Hoc Network of Networks (MANoN).
IJMCMC, 2010

2009
Security Solution for Mobile Ad Hoc Network of Networks (MANoN).
Proceedings of the Fifth International Conference on Networking and Services, 2009

CCA: A Calculus of Context-Aware Ambients.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

A Property Based Framework for Trust and Reputation in Mobile Computing.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Concurrent Enforcement of Usage Control Policies.
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

2007
A note on the formalisation of UCON.
Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Deriving Enforcement Mechanisms from Policies.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2006
ASDL: a wide spectrum language for designing web services.
Proceedings of the 15th international conference on World Wide Web, 2006

Temporal Reasoning Of Reactive Web Services.
Proceedings of the Semantic Web Services, Processes and Applications, 2006

A Compositional Event & Time-Based Policy Model.
Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006

2005
Run-time analysis of time-critical systems.
Journal of Systems Architecture, 2005

Analysis and Run-Time Verification of Dynamic Security Policies.
Proceedings of the Defence Applications of Multi-Agent Systems, International Workshop, 2005

2004
Augmenting semantic web service descriptions with compositional specification.
Proceedings of the 13th international conference on World Wide Web, 2004

Introducing Compositionality in Web Service Descriptions.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

2003
A compositional framework for access control policies enforcement.
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

2002
A Compositional Framework for Hardware/Software Co-Design.
Design Autom. for Emb. Sys., 2002

2001
K-Mediator: Towards Evolving Information Systems.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Voice Over IP: Correct Hardware/Software Co-Design.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

2000
Composing and Refining Dense Temporal Logic Specifications.
Formal Asp. Comput., 2000

1999
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.
Inf. Sci., 1999

Integrating structured OO approaches with formal techniques for the development of real-time systems.
Information & Software Technology, 1999

ATOM: An Object-based Formal Method for Real-Time Systems.
Ann. Software Eng., 1999

A Framework for Analysing the Effect of "Change" in Legacy Code.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

A Refinement Calculus for the Development of Real-Time Systems.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997
A Dense-Time Temporal Logic with Nice Compositionality Properties.
Proceedings of the Computer Aided Systems Theory, 1997

Proving the correctness of the interlock mechanism in processor design.
Proceedings of the Advances in Hardware Design and Verification, 1997

Refining Interval Temporal Logic Specifications.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic.
PhD thesis, 1996

Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.
Acta Inf., 1996

Using ITL and Tempura for Large-Scale Specification and Simulation.
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

1994
On Unifying Assumption-Commitment Style Proof Rules for Concurrency.
Proceedings of the CONCUR '94, 1994

1993
Specifying Fault Tolerance within Stark's Formalism.
Proceedings of the Digest of Papers: FTCS-23, 1993

Using Relative Refinement for Fault Tolerance.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993


  Loading...