Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
暂无分享,去创建一个
Ehsan Khamespanah | Marjan Sirjani | Gul A. Agha | Kirill Mechitov | G. Agha | M. Sirjani | K. Mechitov | Ehsan Khamespanah
[1] Carl Hewitt,et al. A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.
[2] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[3] Gul Agha,et al. RTsynchronizer: language support for real-time specifications in distributed systems , 1995 .
[4] A. Buss. Modeling with event graphs , 1996, Proceedings Winter Simulation Conference.
[5] Wang Yi,et al. Timed automata as task models for event-driven systems , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
[6] Robert Szewczyk,et al. System architecture directions for networked sensors , 2000, ASPLOS IX.
[7] Giuseppe Lipari,et al. Schedulability analysis of periodic and aperiodic tasks with resource constraints , 2000, J. Syst. Archit..
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] Wang Yi,et al. Timed Automata with Asynchronous Processes: Schedulability and Decidability , 2002, TACAS.
[10] Amre El-Hoiydi. Spatial TDMA and CSMA with preamble sampling for low power ad hoc wireless sensor networks , 2002, Proceedings ISCC 2002 Seventh International Symposium on Computers and Communications.
[11] David E. Culler,et al. TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.
[12] Wang Yi,et al. TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems , 2003, FORMATS.
[13] Matt Welsh,et al. Simulating the power consumption of large-scale sensor network applications , 2004, SenSys '04.
[14] Gul A. Agha,et al. SENS: a sensor, environment and network simulator , 2004, 37th Annual Simulation Symposium, 2004. Proceedings..
[15] David E. Culler,et al. Versatile low power media access for wireless sensor networks , 2004, SenSys '04.
[16] Frank S. de Boer,et al. Modeling and Verification of Reactive Systems using Rebeca , 2004, Fundam. Informaticae.
[17] Wolfgang Müller,et al. Model-based design of embedded systems , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..
[18] Frank S. de Boer,et al. Modular Verification of a Component-Based Actor Language , 2005, J. Univers. Comput. Sci..
[19] Wang Yi,et al. Schedulability analysis of fixed-priority systems using timed automata , 2006, Theor. Comput. Sci..
[20] Jane W.-S. Liu. Real-Time Systems , 2000, Encyclopedia of Algorithms.
[21] Peter Csaba Ölveczky,et al. Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude , 2009, Theor. Comput. Sci..
[22] Frank S. de Boer,et al. Modular Schedulability Analysis of Concurrent Objects in Creol , 2009, FSEN.
[23] Kim Guldstrand Larsen,et al. Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 , 2018, Model-Based Design for Embedded Systems.
[24] Frank S. de Boer,et al. Schedulability of asynchronous real-time concurrent objects , 2009, J. Log. Algebraic Methods Program..
[25] Gul Agha,et al. Formal Modeling: Actors, Open Systems, Biological Systems , 2011, Lecture Notes in Computer Science.
[26] Mohammad Mahdi Jaghoori,et al. Ten Years of Analyzing Actors: Rebeca Experience , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
[27] Billie F. Spencer,et al. TinyOS‐based real‐time wireless data acquisition framework for structural health monitoring and control , 2013 .
[28] Siamak Mohammadi,et al. Comparison of NoC Routing Algorithms Using Formal Methods , 2013 .
[29] Ehsan Khamespanah,et al. Efficient TCTL Model Checking Algorithm for Timed Actors , 2014, AGERE!@SPLASH.
[30] Siamak Mohammadi,et al. Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification , 2014 .
[31] Luca Aceto,et al. Modelling and simulation of asynchronous real-time systems using Timed Rebeca , 2011, Sci. Comput. Program..
[32] Frank S. de Boer,et al. Compositional schedulability analysis of real-time actor-based systems , 2015, Acta Informatica.
[33] Ehsan Khamespanah,et al. Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system , 2015, Sci. Comput. Program..
[34] Ehsan Khamespanah,et al. Floating Time Transition System: More Efficient Analysis of Timed Actors , 2015, FACS.
[35] Gul Agha,et al. Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure , 2016 .
[36] Holger Hermanns,et al. PTRebeca: Modeling and analysis of distributed and asynchronous systems , 2016, Sci. Comput. Program..
[37] Ehsan Khamespanah,et al. Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking , 2016, SPIN.
[38] Ehsan Khamespanah,et al. An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models , 2018, Sci. Comput. Program..