Cleaveland, W. Rance : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (64)
Les plus populaires
Liste
- Liste
- Tableau

51

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - An operational framework for value-passing processes

Cleaveland, Rance, Yankelevich, Daniel

Année:

1994

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1994

52

Security Assurance Cases for Medical Cyber–Physical Systems

Ray, Arnab, Cleaveland, Rance

Journal:

IEEE Design and Test

Année:

2015

Langue:

english

Fichier:

PDF, 785 KB

english, 2015

53

[IEEE 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) - Ottawa, ON, Canada (2016.10.23-2016.10.27)] 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) - Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus

Ganesan, Dharmalingam, Lindvall, Mikael, Hafsteinsson, Stefan, Cleaveland, Rance, Strege, Susanne L., Moleski, Walter

Année:

2016

Langue:

english

Fichier:

PDF, 977 KB

english, 2016

54

[IEEE 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2016.9.27-2016.9.30)] 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - A framework for decentralized opacity in linear systems

Ramasubramanian, Bhaskar, Cleaveland, Rance, Marcus, Steven I.

Année:

2016

Langue:

english

Fichier:

PDF, 565 KB

english, 2016

55

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - A framework for opacity in linear systems

Ramasubramanian, Bhaskar, Cleaveland, Rance, Marcus, Steven I.

Année:

2016

Langue:

english

Fichier:

PDF, 159 KB

english, 2016

56

Improving Invariant Mining via Static Analysis

Schulze, Christoph, Cleaveland, Rance

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2017

Langue:

english

Fichier:

PDF, 567 KB

english, 2017

57

[ACM Press the 2014 Symposium and Bootcamp - Raleigh, North Carolina (2014.04.08-2014.04.09)] Proceedings of the 2014 Symposium and Bootcamp on the Science of Security - HotSoS '14 - An analysis method for medical device security

Ray, Arnab, Cleaveland, Rance

Année:

2014

Langue:

english

Fichier:

PDF, 59 KB

english, 2014

58

Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

Islam, Md. Ariful, Cleaveland, Rance, Fenton, Flavio H., Grosu, Radu, Jones, Paul L., Smolka, Scott A.

Journal:

Theoretical Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 1.99 MB

english, 2018

59

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Opacity for switched linear systems: Notions and characterization

Ramasubramanian, Bhaskar, Cleaveland, Rance, Marcus, Steven I.

Année:

2017

Langue:

english

Fichier:

PDF, 512 KB

english, 2017

60

Corrections to “A Menagerie of Timed Automata”

Keiren, Jeroen J. A., Fontana, Peter, Cleaveland, Rance

Journal:

ACM Computing Surveys

Année:

2017

Langue:

english

Fichier:

PDF, 222 KB

english, 2017

61

SAE Technical Paper Series [SAE International SAE World Congress & Exhibition - (APR. 20, 2009)] SAE Technical Paper Series - Integrating Functional and Non-Functional Design Verification for Embedded Software Systems

Ackermann, Christopher, Ray, Arnab, Cleaveland, Rance, Shelton, Charles, Martin, Chris

Année:

2009

Langue:

english

Fichier:

PDF, 572 KB

english, 2009

62

SAE Technical Paper Series [SAE International SAE World Congress & Exhibition - (APR. 14, 2008)] SAE Technical Paper Series - Model Based Design Verification: A Monitor Based Approach

Ackermann, Chris, Ray, Arnab, Cleaveland, Rance, Heit, Jürgen, Martin, Christopher, Shelton, Charles

Année:

2008

Langue:

english

Fichier:

PDF, 316 KB

english, 2008

63

Notions of Centralized and Decentralized Opacity in Linear Systems

Ramasubramanian, Bhaskar, Cleaveland, Walter Rance, Marcus, Steven

Journal:

IEEE Transactions on Automatic Control

Année:

2019

Langue:

english

Fichier:

PDF, 485 KB

english, 2019

64

Handbook of Process Algebra || Equivalence and Preorder Checking for Finite-State Systems

Cleaveland, Rance

Année:

2001

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2001