搜索页_+Uppaal

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

Elsevier电子期刊(62)

在“Elsevier电子期刊”中，命中：62条，耗时：0.0100244 秒

在所有数据库中总计命中：62条

1.Analyzing a wind turbine system: From simulation to formal verification

作者：Cristina Seceleanu^a ; ^{cristina.seceleanu@mdh.se} ; Morgan Johansson^b ; ^{morgan.e.johansson@se.abb.com} ; Jagadish Suryadevara^c ; ^{jagadish.suryadevara@volvo.com} ; Gaetana Sapienza^b ; ^a ; ^{gaetana.sapienza@se.abb.com} ; Tiberiu Seceleanu^b ; ^a ; ^{tiberiu.seceleanu@se.abb.com} ; Stein-Erik Ellevseth^d ; ^{steinee@eunet.no} ; Paul Pettersson^a ; ^{paul.pettersson@mdh.se}

关键词：Wind turbine system ; Model-based testing ; MaTeLo ; Model checking ; UPPAAL

刊名：Science of Computer Programming

出版年：2017

2.Finding minimum and maximum termination time of timed automata models with cyclic behaviour

作者：Omar Al-Bataineh^a ; ^{omar.ibrahim@ntu.edu.sg} ; Mark Reynolds^b ; Tim French^b

关键词：Worst-case execution time ; Model checking ; Timed automata

刊名：Theoretical Computer Science

出版年：2017

3.Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL

关键词：Cyber-Physical Systems (CPS) ; Jitter bound ; Evolutionary Algorithm Multi-objective Optimization (EMO) ; Non-dominated Sorting Genetic Algorithm II (NSGA II) ; UPPAAL ; Model checking

刊名：Microprocessors and Microsystems

出版年：2016

4.Statistical and exact schedulability analysis of hierarchical scheduling systems

作者：Abdeldjalil Boudjadar ^{jalil@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Alexandre David ^{adavid@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Jin Hyun Kim ^{jin@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Kim G. Larsen ^{kgl@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Marius Mikučionis ^{marius@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Ulrik Nyman ; ^{ulrik@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Arne Skou ^{ask@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author}

关键词：Hierarchical scheduling systems ; Schedulability analysis ; Resource utilization ; Uppaal ; Statistical model checking

刊名：Science of Computer Programming

出版年：2016

5.Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components

作者：S. Mesli-Kesraoui^* ; ^*** ; ^**** ; ^{fsoraya.kesraoui@segula.fr" class="auth_mail" title="E-mail the corresponding author} ; A. Toguyeni^** ; ^{armand.toguyeni@ec-lille.fr" class="auth_mail" title="E-mail the corresponding author} ; A. Bignon^* ; ^{alain.bignong@segula.fr" class="auth_mail" title="E-mail the corresponding author} ; F. Oquendo^*** ; ^{avio.oquendo@irisa.fr" class="auth_mail" title="E-mail the corresponding author} ; D. Kesraoui^* ; ^{djamal.kesraoui@segula.fr" class="auth_mail" title="E-mail the corresponding author} ; P. Berruet^**** ; ^{pascal.berruet@univ-ubs.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Formal Verification ; Control-Command ; HMI ; Model Checking ; CTL

刊名：IFAC-PapersOnLine

出版年：2016

6.Model-based testing for building reliable realtime interactive music systems

作者：Clement Poncelet^a ; ^b ; ¹ ; ^{clement.poncelet@ircam.fr" class="auth_mail" title="E-mail the corresponding author} ; Florent Jacquemard^a ; ^b ; ^{florent.jacquemard@inria.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Model based testing ; Interactive music systems ; Timed automata

刊名：Science of Computer Programming

出版年：2016

7.Comparing model checkers for timed UML activity diagrams

作者：Zamira Daw ; ^{zdaw@cs.umd.edu" class="auth_mail" title="E-mail the corresponding author} ; Rance Cleaveland ^{rance@cs.umd.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Model checking ; UML activity diagrams ; UPPAAL ; SPIN ; NuSMV

刊名：Science of Computer Programming

出版年：2015

8.A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling

作者：Abdeldjalil Boudjadar^a ; ^{abdeldjalil.boudjadar@liu.se" class="auth_mail" title="E-mail the corresponding author} ; Alexandre David^b ; ^{adavid@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Jin Hyun Kim^c ; ^{jin-hyun.kim@inria.fr" class="auth_mail" title="E-mail the corresponding author} ; Kim G. Larsen^b ; ^{kgl@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Marius Mikučionis^b ; ^{marius@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Ulrik Nyman^b ; ^{ulrik@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Arne Skou^b ; ^{ask@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author}

关键词：Hierarchical scheduling systems ; Schedulability analysis ; Power consumption ; Voltage/frequency scaling ; Uppaal

刊名：Science of Computer Programming

出版年：2015

9.Modeling and verifying EPC network intrusion system based on timed automata

作者：Yan Sun^a ; ^{sunyan@bupt.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Tin-Yu Wu^b ; ^{tyw@niu.edu.tw" class="auth_mail" title="E-mail the corresponding author} ; Xiaoqiong Ma^a ; ^{maxqmaxq@bupt.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Han-Chieh Chao^b ; ^{hcc@niu.edu.tw" class="auth_mail" title="E-mail the corresponding author}

关键词：EPC network security ; Timed automata ; Intrusion modeling and detection

刊名：Pervasive and Mobile Computing

出版年：2015

10.Formal verification of behaviour networks including sensor failures

作者：Lisa Kiekbusch ; ^{kiekbusch@cs.uni-kl.de" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Christopher ArmbrustAuthor Vitae ; Karsten BernsAuthor Vitae

关键词：Behaviour-based system ; Behaviour network ; Behaviour modelling ; Behaviour network verification ; Model checking

刊名：Robotics and Autonomous Systems

出版年：2015

按检索点细分(62)

题名(11)

关键词(19)

文摘(51)

按出版年细分(62)

2017年(2)

2016年(4)

2015年(4)

2013年(6)

2012年(6)

2011年(7)

2010年(4)

2009年(7)

2008年(5)

2007年(1)

2006年(2)

2005年(2)

2004年(1)

2003年(2)

2002年(6)

2001年(2)

2000年(1)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700