Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-8

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

E. Moritz Hahn, Holger Hermanns, Björn Wachter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-11-8

Model-checking trace-based information flow properties for infinite-state systems

Deepak D’Souza, K.R. Raghavendra

Journal of Computer Security

Retricted access

Research article

First published 2012-9-28

Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 1

Alessandro Armando, Silvio Ranise

Journal of Computer Security

Retricted access

Research article

First published 2017

A Framework for the Verification of Parameterized Infinite-state Systems *

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Fundamenta Informaticae

Retricted access

Research article

First published 2008-12

Slicing Abstractions

Ingo Brückner, Klaus Dräger, Bernd Finkbeiner [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Temporal normal form for Linear Temporal Logic formulae 1

Hui-Xian Shi, Yong-Ming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2016-3-4

Branching-Time Model Checking Gap-Order Constraint Systems

Richard Mayr, Patrick Totzke

Fundamenta Informaticae

Retricted access

Research article

First published 2002-1-1

Model-based analysis of configuration vulnerabilities 1

C.R. Ramakrishnan, R. Sekar

Journal of Computer Security

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

Open access

Research article

First published 2012-2

Universal Guards,Relativization of Quantifiers,and Failure Models in Model Checking Modulo Theories

Francesco Alberti, Silvio Ghilardi, Elena Pagani [...]

Journal on Satisfiability,Boolean Modelling and Computation

Search results