|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 52 publication records. Showing 52 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jinyun Xue, Volker Stolz (eds.) |
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013  |
TTSS  |
2014 |
DBLP BibTeX RDF |
|
| 1 | Can Pan, Jian Guo 0005, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou |
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Yuan, Yiting Tang, Xi Wu 0005, Yue Zhang, Huibiao Zhu, Jian Guo 0005, Weijun Qin |
Formalization and Verification of REST on HTTP Using CSP. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Jun Zheng 0001, Bei Zhang 0004, Min-Xia Zhang |
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Yu, Zhenhua Duan, Cong Tian |
Bounded Model Checking of Traffic Light Control System. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyun Xue, Volker Stolz |
Preface. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gongzheng Lu, Huaikou Miao |
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Liu 0013, Jing Liu 0012 |
A Formal Framework for Hybrid Event B. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Yang, Zhenhua Duan, Cong Tian |
Modeling and Verification of RBC Handover Protocol. |
TTSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang, Volker Stolz (eds.) |
4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010 |
TTSS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang 0005 |
A Parallel Approach to Concolic Testing with Low-cost Synchronization. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa |
Models of Rate Restricted Communication for Concurrent Objects. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski |
On-The-Fly Path Reduction. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang, Volker Stolz |
Preface. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojian Liu, Zhilin Zhu |
Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyuan Liu 0007, Jun Pang 0001, Chenyi Zhang |
Verification of A Key Chain Based TTP Transparent CEM Protocol. |
TTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Volker Stolz (eds.) |
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009 |
TTSS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann 0001, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein 0001, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi 0001 |
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Volker Stolz |
Preface. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xijiao Xiong, Jing Liu 0012, Zuohua Ding |
Design and Verification of a Trustable Medical System. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp |
Fade to Grey: Tuning Static Program Analysis. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas |
Resource Modeling for Timed Creol Models. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Heinen, Thomas Noll 0001, Stefan Rieger |
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury |
Debugging as a Science, that too, when your Program is Changing. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima |
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. |
TTSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Zhao, Volker Stolz (eds.) |
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008 |
TTSS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Zuohua Ding, Jing Liu 0012 |
An Improvement of Software Architecture Verification. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen |
Java Test Driver Generation from Object-Oriented Interaction Traces. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili 0001, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni |
Harnessing a Refinement Theory to Compute Loop Functions. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Zhao, Volker Stolz |
Preface. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam |
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaobo Wang, Guanhui Lai, Chao Liu 0002 |
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe |
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Ayrault, Thérèse Hardin, François Pessaux |
Development Life-cycle of Critical Software Under FoCaL. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Kyas |
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dehui Du, Jing Liu 0012, Honghua Cao, Miaomiao Zhang |
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. |
TTSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Volker Stolz (eds.) |
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007 |
TTSS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni |
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Volker Stolz |
Preface. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Reeves, David Streader |
Generic Tools via General Refinement. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang |
An Exercise on Transition Systems. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Yang, Volker Stolz |
Integrating Refinement into Software Development Tools. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Wenzhong Qin |
Parametric Analysis of an Improved Fault Tolerant System. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Rüdiger Olderog |
Automatic Verification of Combined Specifications: An Overview. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Choe Changil, Dang Van Hung |
On Verification of Linear Occurrence Properties of Real-Time Systems. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Zhenbang Chen, Jing Liu 0012 |
A Rigorous Model of Service Component Architecture. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu 0001 |
Prototyping System Requirements Model. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yu, Zheng Wang 0005, Geguang Pu, Dingding Mao, Jing Liu 0012 |
The Verification of rCOS Using Spin. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Sun |
Pre-Galois Connection on Coalgebras for Generic Component Refinement. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang 0001, Wei Dong 0006 |
Shape Analysis by Refining on Abstract Evaluation Path. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Montangero, Laura Semini |
Barbed Model-Driven Software Development: A Case Study. |
TTSS |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license