|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 160 occurrences of 133 keywords
|
|
|
|
|
Results
Found 560 publication records. Showing 560 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 |
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems.  |
TASE  |
2008 |
DBLP DOI BibTeX RDF |
Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems |
| 1 | Jinji Yang, Kaile Su, Qingliang Chen |
Improving Encoding Efficiency for Bounded Model Checking. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
encoding, SAT, Bounded Model Checking |
| 1 | Soodeh Hosseini, Mohammad Abdollahi Azgomi |
UML Model Refactoring with Emphasis on Behavior Preservation. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring |
| 1 | Lan Lin, Jesse H. Poore |
Pushing Requirements Changes through to Changes in Specifications. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Requirements change management, sequence-based specification, changing state diagrams, automaton, Mealy machine |
| 1 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao |
A MDE Based Approach for Bridging Formal Models. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
formal methods, MDE |
| 1 | Haiqiang Dun, Haiying Xu, Lifu Wang |
Transformation of BPEL Processes to Petri Nets. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Web Service, Petri Nets, BPEL, Web Service Composition |
| 1 | Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira |
A Relational Model for Confined Separation Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
point-free, confined separation logic, relational |
| 1 | Antonio Brogi, Razvan Popescu |
Workflow Semantics of Peer and Service Behaviour. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
service-oriented modelling language, YAWL workflows, Peer-to-peer systems, BPEL |
| 1 | Ganesh M. Narayan, K. Gopinath, Sridhar Varadarajan |
Structure and Interpretation of Computer Programs. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Software Engineering, Software Metrics, Call Graphs |
| 1 | Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian |
An Extension to Pointer Logic for Verification. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cagatay Catal, Banu Diri |
A Conceptual Framework to Integrate Fault Prediction Sub-Process for Software Product Lines. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Software product lines, domain engineering, application engineering, software fault prediction |
| 1 | Jing Li 0062, Huibiao Zhu, Geguang Pu |
Conformance Validation between Choreography and Orchestration. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
Model Checking Software at Compile Time. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong-Cong Xing |
An Object Type Graph System. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinzhao Wu, Lin Zhao |
Multi-Valued Model Checking via Groebner Basis Approach. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Cong Vinh, Jonathan P. Bowen |
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianmin Jiang, Jinzhao Wu, Hongping Shu |
Symmetry in Process Algebra. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
behavioral equivalences, Process algebra, symmetry, permutation groups |
| 1 | Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler |
Symmetry Reduced Model Checking for B. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Sun, David Levy 0001 |
A Software Process for Modeling Complex Systems with UML-RT. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Foundational certification of data-flow analyses. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics |
| 1 | Lingzhong Zhao, Tianlong Gu, Junyan Qian |
Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Feinerer, Gernot Salzer |
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tun Lu, Ning Gu |
Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xu, Zhiwei Yu |
A Workflow Verification Method Based on Calculus. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | |
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China |
TASE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin |
A Certified Thread Library for Multithreaded User Programs. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo |
Foundational Typed Assembly Language with Certified Garbage Collection. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff W. Sanders, Matteo Turilli |
Dynamics of Control. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Förster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten |
Verification of Business Process Quality Constraints Based on Visual Process Patterns. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang |
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Christian Sommer 0001, Shinichi Honiden |
Model Checking Networked Programs in the Presence of Transmission Failures. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunni Xia, Hanpin Wang, Yu Huang 0004, Wanling Qu |
Queuing analysis and performance evaluation of workflow through WFQN. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathai Joseph |
Abstractions for Real Real-time Systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Li Jiao, Weiming Lu |
A Semantic Preorder on Refinement and Fairness. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Pu, Wenhui Zhang |
Partition Refinement in Abstract Model Checking. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Donghuo Chen, Guangquan Zhang 0002, Jinzhao Wu |
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Naiyong Jin, Chengjie Shen |
Dynamic Verifying The Properties of The Simple Subset of PSL. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiancheng Ni 0001, Zhishu Li, Jirong Sun, Jianchuan Xing |
Self-adaptive Intrusion Detection System for Computational Grid. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari |
Constraint-Based Policy Negotiation and Enforcement for Telco Services. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Zuliani |
A Formal Derivation of Grover's Quantum Search Algorithm. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Software Security. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai |
Resource-Constrained Workflow Modeling. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Chang, XinJun Mao, Zhichang Qi |
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez |
Generation of optimal finite test suites for timed systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xu, Li Zhang |
Unified Modeling and Analysis based on Petri nets and Pi calculus. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Zeng, Huaikou Miao, Jing Liu |
Specification-based Test Generation and Optimization Using Model Checking. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
A Logical Framework for Monitoring and Evolving Software Components. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu |
Design of a Certifying Compiler Supporting Proof of Program Safety. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjun Li, Xiao-jun Liang, Hua-mei Song, Xiaocong Zhou |
QoS-Driven Service Composition Modeling with Extended Hierarchical CPN. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Holub, Petr Tuma 0001 |
Streaming State Space: A Method of Distributed Model Verification. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang |
An Interpreter for Framed Tempura and Its Application. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
temporal logic programming, projection, framing, normal form |
| 1 | Marc Aiguier, Delphine Longuet |
Test Selection Criteria for Modal Specifications of Reactive Systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria |
| 1 | Franck Cassez, Stavros Tripakis, Karine Altisen |
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung Ledang, Dang Van Hung |
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong, Tu Peng, Zongyan Qiu |
Commutability of Design Pattern Instantiation and Integration. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng |
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service |
| 1 | Markus Pizka, Elmar Jürgens |
Automating Language Evolution. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyuan Wang, Yuan Dong |
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival |
Varieties of Static Analyzers: A Comparison with ASTREE. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong |
Realizing Live Sequence Charts in SystemVerilog. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #560 of 560 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license