Edit Profile Ravn, Anders P. Compute Distance To: Compute Author ID: ravn.anders-p Published as: Ravn, A. P.; Ravn, Anders P. Documents Indexed: 19 Publications since 1979, including 3 Books all top 5 Co-Authors 3 single-authored 4 Liu, Zhiming 2 Bak, Thomas 2 Rischel, Hans 2 Rönkkö, Mauno 2 Zhan, Naijun 1 Appelbe, William F. 1 Bendtsen, Jan Dimon 1 Chen, Mingshuai 1 Chen, Zhenbang 1 Grossman, Robert L. 1 Hoare, C. A. R. Tony 1 Izadi-Zamanabadi, Roozbeh 1 Jensen, Jørn M. 1 Knudsen, John 1 Koch, Peter M. 1 Lauesen, Soren 1 Lázaro Cuadrado, Daniel 1 Li, Xiaoshan 1 Løvengreen, Hans Henrik 1 Morisset, Charles 1 Nerode, Anil 1 Sere, Kaisa 1 Skou, Arne 1 Stolz, Volker 1 Tabatabaeipour, Seyed Mojtaba 1 Wang, Shuling 1 Yang, MengFei 1 Zhang, Miaomiao 1 Zhou, Chaochen all top 5 Serials 2 Software. Practice & Experience 2 Lecture Notes in Computer Science 1 International Journal of Systems Science 1 Information Processing Letters 1 BIT 1 Theoretical Computer Science 1 ACM Transactions on Programming Languages and Systems 1 Science of Computer Programming 1 Formal Aspects of Computing 1 IEEE Transactions on Software Engineering Fields 17 Computer science (68-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 9 Publications have been cited 156 times in 143 Documents Cited by ▼ Year ▼ A calculus of durations. Zbl 0743.68097Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P. 103 1991 Hybrid systems. Zbl 0825.00044Grossmann, 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.93062Tabatabaeipour, S. M.; Izadi-Zamanabadi, R.; Bak, T.; Ravn, A. P. 10 2012 Design of embedded real-time computing systems. Zbl 0875.68006Ravn, Anders P. 10 1995 Hybrid action systems. Zbl 1019.68054Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa 8 2003 Refinement and verification in component-based model-driven design. Zbl 1178.68158Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 Action systems with continuous behaviour. Zbl 0986.93006Rönkkö, Mauno; Ravn, Anders P. 2 1999 A two-way path between formal and informal design of embedded systems. Zbl 06700458Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun 1 2017 Design and verification of fault-tolerant components. Zbl 1234.68040Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P. 1 2009 A two-way path between formal and informal design of embedded systems. Zbl 06700458Chen, 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.93062Tabatabaeipour, S. M.; Izadi-Zamanabadi, R.; Bak, T.; Ravn, A. P. 10 2012 Refinement and verification in component-based model-driven design. Zbl 1178.68158Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 Design and verification of fault-tolerant components. Zbl 1234.68040Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P. 1 2009 Hybrid action systems. Zbl 1019.68054Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa 8 2003 Action systems with continuous behaviour. Zbl 0986.93006Rönkkö, Mauno; Ravn, Anders P. 2 1999 Design of embedded real-time computing systems. Zbl 0875.68006Ravn, Anders P. 10 1995 Hybrid systems. Zbl 0825.00044Grossmann, Robert L. (ed.); Nerode, Anil (ed.); Ravn, Anders P. (ed.); Rischel, Hans (ed.) 16 1993 A calculus of durations. Zbl 0743.68097Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P. 103 1991 all cited Publications top 5 cited Publications 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 all top 5 Cited in 11 Fields 104 Computer science (68-XX) 56 Mathematical logic and foundations (03-XX) 25 Systems theory; control (93-XX) 7 Operations research, mathematical programming (90-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 Ordinary differential equations (34-XX) 2 General and overarching topics; collections (00-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year