×

zbMATH — the first resource for mathematics

Ravn, Anders P.

Compute Distance To:
Author ID: ravn.anders-p Recent zbMATH articles by "Ravn, Anders P."
Published as: Ravn, A. P.; Ravn, Anders P.
Documents Indexed: 19 Publications since 1979, including 3 Books

Publications by Year

Citations contained in zbMATH

9 Publications have been cited 156 times in 143 Documents Cited by Year
A calculus of durations. Zbl 0743.68097
Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P.
103
1991
Hybrid systems. Zbl 0825.00044
Grossmann, Robert L. (ed.); Nerode, Anil (ed.); Ravn, Anders P. (ed.); Rischel, Hans (ed.)
16
1993
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults. Zbl 1305.93062
Tabatabaeipour, S. M.; Izadi-Zamanabadi, R.; Bak, T.; Ravn, A. P.
10
2012
Design of embedded real-time computing systems. Zbl 0875.68006
Ravn, Anders P.
10
1995
Hybrid action systems. Zbl 1019.68054
Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa
8
2003
Refinement and verification in component-based model-driven design. Zbl 1178.68158
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun
5
2009
Action systems with continuous behaviour. Zbl 0986.93006
Rönkkö, Mauno; Ravn, Anders P.
2
1999
A two-way path between formal and informal design of embedded systems. Zbl 06700458
Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun
1
2017
Design and verification of fault-tolerant components. Zbl 1234.68040
Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P.
1
2009
A two-way path between formal and informal design of embedded systems. Zbl 06700458
Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun
1
2017
Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults. Zbl 1305.93062
Tabatabaeipour, S. M.; Izadi-Zamanabadi, R.; Bak, T.; Ravn, A. P.
10
2012
Refinement and verification in component-based model-driven design. Zbl 1178.68158
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun
5
2009
Design and verification of fault-tolerant components. Zbl 1234.68040
Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P.
1
2009
Hybrid action systems. Zbl 1019.68054
Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa
8
2003
Action systems with continuous behaviour. Zbl 0986.93006
Rönkkö, Mauno; Ravn, Anders P.
2
1999
Design of embedded real-time computing systems. Zbl 0875.68006
Ravn, Anders P.
10
1995
Hybrid systems. Zbl 0825.00044
Grossmann, Robert L. (ed.); Nerode, Anil (ed.); Ravn, Anders P. (ed.); Rischel, Hans (ed.)
16
1993
A calculus of durations. Zbl 0743.68097
Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P.
103
1991
all top 5

Cited by 263 Authors

7 Hansen, Michael Reichhardt
7 Zhan, Naijun
6 Goranko, Valentin F.
6 Guelev, Dimitar P.
6 Liu, Zhiming
5 Montanari, Angelo
5 Moszkowski, Ben C.
5 Sciavicco, Guido
4 Olderog, Ernst-Rüdiger
4 Wang, Shuling
3 Bortakovskii, A. S.
3 Della Monica, Dario
3 Duan, Zhenhua
3 Hooman, Jozef Johannes Maria
3 Hung, Dang Van
3 Platzer, André
3 Rabinovich, Alexander
3 Ravn, Anders P.
3 Tian, Cong
3 Zhu, Huibiao
2 Bak, Thomas
2 Bortolussi, Luca
2 Bresolin, Davide
2 Cau, Antonio
2 Cavalcanti, Ana
2 Chaochen, Zhou
2 Chen, Zhenbang
2 Cimatti, Alessandro
2 Dang Van Hung
2 Dillon, L. K.
2 Doyen, Laurent
2 Fränzle, Martin
2 Galpin, Vashti
2 Hayes, Ian J.
2 He, Jifeng
2 Henzinger, Thomas A.
2 Hillston, Jane
2 Hilscher, Martin
2 Hoare, C. A. R. Tony
2 Joseph, Mathai
2 Kutty, G.
2 Li, Xuandong
2 Li, Yong
2 Liu, Chunsheng
2 Liu, Jing
2 Manna, Zohar
2 Melliar-Smith, P. Michael
2 Moser, Louise E.
2 Pandya, Paritosh K.
2 Phan, Anh-Dung
2 Pnueli, Amir
2 Ramakrishna, Y. S.
2 Reniers, Michel Adriaan
2 Schneider, Gerardo
2 Schwammberger, Maike
2 Song, Xiaoqi
2 Tabatabaeipour, Seyed Mojtaba
2 Xu, Qiwen
2 Yovine, Sergio
2 Zhang, Shaojie
1 Aceto, Luca
1 Ahn, Univan
1 Alur, Rajeev
1 Ancourt, Corinne
1 Arahal, Manuel R.
1 Asarin, Eugene
1 Bąk, Tomasz
1 Banach, Richard
1 Beauquier, Danièle
1 Berenguel, Manuel
1 Bergstra, Jan A.
1 Bevrani, Hassan
1 Bjørner, Nikolaj S.
1 Bolander, Thomas
1 Bourrely, Jean
1 Bowen, Jonathan P.
1 Bowman, Hannah
1 Bozzano, Marco
1 Brekling, Aske Wiid
1 Broy, Manfred
1 Burns, Alan D.
1 Changil, Choe
1 Chen, Chunqing
1 Chen, Mingshuai
1 Chen, You
1 Chen, Zikang
1 Choe, Changil
1 Cocquempot, Vincent
1 Coelho, Fabien
1 Colombo, Christian
1 Courcoubetis, Costas A.
1 Cuijpers, Pieter J. L.
1 Damm, Werner
1 Daneshfar, Fatemeh
1 De Wulf, Martin
1 Dierks, Henning
1 Ding, Steven X.
1 Ding, Zuohua
1 Dong, JinSong
1 Dong, Ruzhen
...and 163 more Authors
all top 5

Cited in 43 Serials

18 Theoretical Computer Science
15 Formal Aspects of Computing
8 Journal of Computer Science and Technology
7 Journal of Applied Non-Classical Logics
5 The Journal of Logic and Algebraic Programming
4 Information Processing Letters
4 Information and Computation
4 Annals of Mathematics and Artificial Intelligence
3 Acta Informatica
3 International Journal of Adaptive Control and Signal Processing
3 International Journal of Systems Science. Principles and Applications of Systems and Integration
2 International Journal of Control
2 Journal of the Franklin Institute
2 MSCS. Mathematical Structures in Computer Science
2 Formal Methods in System Design
2 Journal of Computer and Systems Sciences International
2 Mathematical Problems in Engineering
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Automatica
1 Information Sciences
1 Mathematics and Computers in Simulation
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 Journal of Automated Reasoning
1 Mathematical and Computer Modelling
1 Real-Time Systems
1 Numerical Algorithms
1 Distributed Computing
1 Complexity
1 European Journal of Control
1 Sādhanā
1 Journal of Applied Logic
1 Proceedings of the Steklov Institute of Mathematics
1 Journal of Mathematics and Music
1 Nonlinear Analysis. Hybrid Systems
1 Journal of Control Science and Engineering
1 Asian Journal of Control
1 Frontiers of Computer Science in China
1 Journal of Theoretical Biology
1 Frontiers of Computer Science
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year