Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernhard K. Aichernig, Florian Lorber |
On-the-Fly Determinization of Bounded Networks of Timed Automata. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield, Anila Mjeda, John Noll |
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan 0009, Feifei Ma, Fan Zhang |
Lightweight Method-Level Energy Consumption Estimation for Android Applications. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
A New Roadmap on Linking Theories of Programming. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwu Xu 0001, Dongxiao Fan, Shengchao Qin |
State-Taint Analysis for Detecting Resource Bugs. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xiao He 0005, Wenfeng Li, Tian Zhang, Yi Liu |
Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandr Naumchev, Bertrand Meyer 0001 |
Complete Contracts through Specification Drivers. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym |
Formal Proof of Dynamic Memory Isolation Based on MMU. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jia He, Min Zhang 0007, Kangli He, Yannan Guo, Yusi Lei |
Bayesian Statistical Model-Checking for Complex Stochastic Systems. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016 |
TASE |
2016 |
DBLP BibTeX RDF |
|
1 | Aliakbar Safilian, Tom Maibaum |
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani |
Behaviour-Aware Matching of Cloud Applications. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Abdelkrim Chebieb, Yamine Aït Ameur |
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Chen 0011, Ou Wei, Zhiqiu Huang, Hongwei Xi |
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik |
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kangli He, Min Zhang 0007, Jia He, Yixiang Chen |
Probabilistic Model Checking of Pipe protocol. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Hanne Riis Nielson, Huibiao Zhu |
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu |
Formally Modeling and Analyzing the Reliability of Composite Service Evolution. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoran Zhu, Yuanmin Xu, Jian Guo 0005, Xi Wu 0005, Huibiao Zhu, Weikai Miao |
Formal Verification of PKMv3 Protocol Using DT-Spin. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Huikang Hao, Zhoujun Li, Haibo Yu |
An Effective Approach to Measuring and Assessing the Risk of Android Application. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu 0003 |
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tian Zhang 0001, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li |
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiangxiao Zhang, Lina Huo, Xia Liu, Chunrong Sui, Zhoujun Li 0001, Jinxin Ma |
Transferable Optimal-size Fair E-cash with Optimal Anonymity. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weiguang Wang, Qingkai Zeng 0002 |
Evaluating Initial Inputs for Concolic Testing. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard |
Polychronous Automata. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015 |
TASE |
2015 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot |
On Various Abstract Understandings of Abstract Interpretation. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaodong Li, Xiaohong Chen 0002, Yiwu Wang, Meng Sun 0002 |
A Framework for Off-Line Conformance Testing of Timed Connectors. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Liu, Deping Zhang, Tingting Zhang |
Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhihua Yang, Bo Xiao, Yixiang Chen |
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Hu, Shuling Wang, Zongyan Qiu |
Verifying Interaction between Methods in Classes. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaomin Wei, Yunwei Dong, Hong Ye |
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jun Sun 0001, Yang Liu 0003, Yuan-Fang Li, Jing Sun 0002, Ling Shi |
Event and Strategy Analytics. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weikai Miao, Xi Wang 0017, Shaoying Liu |
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kais Klai, Hanen Ochi |
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. |
TASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jianmin Jiang, Huibiao Zhu, Qin Li 0002, Shi Zhang, Ping Gong 0004, Zhong Hong |
Configuration of Services Based on Virtualization. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuanrui Zhang, Frédéric Mallet, Yixiang Chen |
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yu Guo, Haozhong Zhang |
Verifying Preemptive Kernel Code with Preemption Control Support. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ou Wei, Juanjuan Chen |
Mixed Simulation of Multi-valued Models. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qinwen Ran, Xi Wu 0005, Xin Li 0010, Jianqi Shi, Jian Guo 0005, Huibiao Zhu |
Modeling and Verifying the TTCAN Protocol Using Timed CSP. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Haozhong Zhang, Yu Guo |
Formal Verification of Interrupt Injection in a Hypervisor. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhuobing Han, Xiaohong Li 0001, Ruitao Feng, Jing Hu 0007, Guangquan Xu, Zhiyong Feng 0002 |
A Three-Dimensional Model for Software Security Evaluation. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jinjiang Lei, Zongyan Qiu, Zhong Shao |
Trace-Based Temporal Verification for Message-Passing Programs. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Sean Sedwards |
On Statistical Model Checking with PLASMA. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carolina Dania, Manuel Clavel |
Modeling Social Networking Privacy. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Graeme Smith 0001 |
A Formal Development Approach for Self-Organising Systems. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wen Zeng, Maciej Koutny |
Data Resources in Dynamic Environments. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Weishi Li, Xiaoguang Mao |
Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chen Li 0009, Linpeng Huang, Luxi Chen, Xiwen Wu |
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang 0017 |
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lunjin Lu |
Parametrizing Program Analysis. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yongqi Ge, Yunwei Dong, Hong-bing Zhao |
Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014 |
TASE |
2014 |
DBLP BibTeX RDF |
|
1 | Nan Zong, Chunfu Jia |
Branch Obfuscation Using "Black Boxes". |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ka I Pun, Martin Steffen, Volker Stolz |
Behaviour Inference for Deadlock Checking. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bing Tang, Mingdong Tang |
Bayesian Model-Based Prediction of Service Level Agreement Violations for Cloud Services. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 |
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm |
Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
Data Automata in Scala. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bei Cheng, Dehui Du |
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yao Liu 0010, Zhenhua Duan, Cong Tian |
An Improved Recursive Algorithm for Parity Games. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kai Ma, Jin Wang, Hongli Yang, Jun Yan 0009, Jian Zhang 0001, Shengchao Qin |
Choreography Scenario-Based Test Data Generation. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
Class Diagrams with Equated Association Chains. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rui-Zhi Dong, Xin Peng 0001, Yijun Yu, Wenyun Zhao |
Requirements-Driven Self-Repairing against Environmental Failures. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wu 0017, Rosemary Monahan, James F. Power |
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ken Madlener, Sjaak Smetsers |
GSOS Formalized in Coq. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zining Cao |
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel van Lamsweerde |
Engineering Multi-view Models for Model-Driven Engineering. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Murakami |
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tayssir Touili |
Process Rewrite Systems for Software Model Checking. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt |
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Stöhr, Sabine Glesner |
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhang, Xinyu Feng 0001 |
An Operational Approach to Happens-Before Memory Model. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco |
Verifying Bigraphical Models of Architectural Reconfigurations. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu |
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neil White, Janet Barnes |
How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
Aspect Orientation Based Test Case Selection Strategy for Service Composition. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Liangze Yin, Fei He 0001, Ming Gu 0001 |
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yunhui Peng, Yanhong Huang, Ting Su 0001, Jian Guo 0005 |
Modeling and Verification of AUTOSAR OS and EMS Application. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mustafa Zengin, Viktor Vafeiadis |
A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi |
Aspect-Oriented Semantic Framework for Executable Models. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan 0009, Jian Zhang 0001 |
Towards Conformance Testing of Choreography Based on Scenario. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK |
TASE |
2013 |
DBLP BibTeX RDF |
|
1 | Zining Cao |
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes |
Computing Repairs from Active Integrity Constraints. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu |
On Information Flow Control in Event-B and Refinement. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qian Ma, Zhenhua Duan, Mengfei Yang |
Integration of Linear Constraints with a Temporal Logic Programming Language. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Madeira, Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
When Even the Interface Evolves... |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hengyang Wu, Yixiang Chen, Min Zhang 0007 |
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gaffé, Annie Ressouche |
Algebraic Framework for Synchronous Language Semantics. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofeng Wu, Qiwen Xu, Huibiao Zhu |
Formal Analysis of AODV Using Rely-Guarantee. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bals, Christina Jansen, Thomas Noll 0001 |
Incremental Construction of Greibach Normal Form. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Thiry, Michel Hassenforder |
Surfing with Fun. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Radu Calinescu, Yasmin Rafiq |
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Ernst Moritz Hahn, Tingting Han 0001, Marta Z. Kwiatkowska, Hongyang Qu 0001, Lijun Zhang 0001 |
Model Repair for Markov Decision Processes. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhucheng Shao, Jing Liu 0012, Xiaohong Chen 0007, Zuohua Ding, Zhengheng Yuan |
Unified Modeling of Active and Reactive Components for Real-Time Systems. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|