Rance Cleaveland - Publications, H-index & Citations

Rance Cleaveland

University System of Maryland

36H指数

197论文数

4.7K被引数

收录论文 8

发表时间

Notions of Centralized and Decentralized Opacity in Linear Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2020-04-01

OAAI

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

A Menagerie of Timed Automata (vol 50, 42, 2017)

ACM COMPUTING SURVEYS

IF28

2017-06-29

OAAI

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

A Menagerie of Timed Automata

ACM COMPUTING SURVEYS

IF28

2014-01-01

PREAI

Fontana, Peter; Cleaveland, Rance

Using Formal Specifications to Support Testing 使用正式规范支持测试

ACM COMPUTING SURVEYS

IF28

2009-02-23

236

OAAI

Hierons, Robert M.; Bogdanov, Kirill; Bowen, Jonathan P.; Cleaveland, Rance; Derrick, John; Dick, Jeremy; Gheorghe, Marian; Harman, Mark; Kapoor, Kalpesh; Krause, Paul; Luettgen, Gerald; Simons, Anthony J. H.; Vilkomir, Sergiy; Woodward, Martin R.; Zedan, Hussein

Triggered Message Sequence Charts

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2006-08-01

PREAI

Sengupta, Bikram; Cleaveland, Rance

Distributed prototyping from validated specifications

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2004-03-01

PREAI

Hansel, D; Cleaveland, R; Smolka, SA

Strategic directions in concurrency research

ACM COMPUTING SURVEYS

IF28

1996-12-01

OAAI

Cleaveland, R; Smolka, SA; Alur, R; Baeten, J; Bergstra, JA; Best, E; DeNicola, R; Gill, H; Gorrieri, R; Gouda, MG; Groote, JF; Henzinger, TA; Hoare, CAR; Luginbuhl, D; Meyer, A; Miller, D; Misra, J; Moller, F; Montanari, U; Pnueli, A; Prasad, S; Pratt, VR; Sifakis, J; SmolkaChair, SA; Steffen, B; Thomsen, B; Vaandrager, F; Vardi, M; Wolper, P

Verification of an active control system using temporal process algebra

ENGINEERING WITH COMPUTERS

IF4.9

1996-03-01

PREAI

Elseaidy, WM; Baugh, JW; Cleaveland, R

研究方向