Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004-12

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1998-2

Discrete-time least-squares Padé order reduction: A stability preserving method

T N Lucas, I D Smith

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2026-5

SoK: Robust properties,robust abstractions and back-translations

Emiel Lanckriet, Frank Piessens, Dominique Devriese

Journal of Computer Security

Retricted access

Research article

First published 2022

Skeleton Abstraction for Universal Temporal Properties

Sophie Wallner, Karsten Wolf

Fundamenta Informaticae

Retricted access

Research article

First published 2001-8

Robust rank preservation of matrices with both structured and unstructured uncertainties and its applications

S-H Chen, J-H Chou, I-K Fong

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2008-11

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Hanifa Boucheneb, Hind Rakkay

Fundamenta Informaticae

Retricted access

Research article

First published 2007-6

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

Dumitru Potop-Butucaru, Benoît Caillaud

Fundamenta Informaticae

Retricted access

Research article

First published 2009-11-25

Semantics-based code obfuscation by abstract interpretation

Mila Dalla Preda, Roberto Giacobazzi

Journal of Computer Security

Retricted access

Research article

First published 1996-1-1

Non-interference through determinism *

A.W. Roscoe, J.C.P. Woodcock, L. Wulf

Journal of Computer Security

Retricted access

Research article

First published 1990-1

On Some Closure Properties of Dominance Relations Between Life Distributions Based on Reliability Measures

S. P. Mukherjee, Aditya Chatterjee

Calcutta Statistical Association Bulletin

Search results