Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | |
Welcome from the Program Chairs. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
Consistency Checking of UML Requirements. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking |
1 | Guido Menkhaus, Urs Frei, Jorg Wuthrich |
Analysis and Verification of the Interaction Model in Software Design. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xuefeng Zhu, Zhi Jin |
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yingzhou Zhang, Baowen Xu |
A Slice Monad Transformer and Its Applications in Program Slicing. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
slice monad transformer, modular monadic semantics, Program slicing, monad transformers |
1 | Cheng-Ying Mao, Yansheng Lu |
Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
exception handling mechanism, control flow graph (CFG), robustness improvement model, exception testing, safety critical system |
1 | P. Mattias Weckstén, Magnus Jonsson, Jonas Vasell |
Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yao Shen, Haopeng Chen |
Extending SOFL Features for AOP Modeling. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gansen Zhao, David W. Chadwick |
Evolving Messaging Systems for Secure Role Based Messaging. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jianping Yao |
An Introduction to Three Perspectives on Formal Specification Review. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Tomaszewski, Lars Lundberg, Jim Håkansson, Daniel Häggander |
A Cost-Efficient Server Architecture for Real-Time Credit-Control. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin |
Formal Requirements-Based Programming for Complex Systems. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
verification, formal methods, Validation |
1 | Peiyi Tang |
Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kong, Kang Zhang 0001, Jing Dong 0005 |
Grammar-Specified Model-Driven Architectures. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Colvin, Lindsay Groves |
Formal Verification of an Array-Based Nonblocking Queue. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yali Zhu |
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Lau, Rudolph E. Seviora |
Design Patterns for Software Health Monitoring. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Minghui Zhou 0001, Wenpin Jiao, Hong Mei 0001 |
Customizable Framework for Managing Trusted Components Deployed on Middleware. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Trust Protection, Trust Measurement, Middleware, Component, Trust Management, Trusted Computing |
1 | Huiqun Yu, Dongmei Liu, Xudong He, Li Yang 0001, Shu Gao |
Secure Software Architectures Design by Aspect Orientation. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
security, Software architecture, formal method, aspect orientation, SAM |
1 | Mauro Pezzè, Davide Tosi, Gian Pietro Picco |
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
An Intrusion Detection System for AODV. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
A Framework for SOFL-Based Program Review. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
program review, SOFL, specification |
1 | Mahadevan Subramaniam |
Preserving Consistency of Runtime Monitors across Protocol Changes. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cesar Gonzalez-Perez |
Tools for an Extended Object Modelling Environment. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
MDA, Metamodelling, Modelling tools |
1 | Jing Sun 0002, Hongyu Zhang 0002, Yuan-Fang Li, Hai H. Wang |
Formal Semantics and Verification for Feature Modeling. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy |
1 | Lei Wang 0015, Zhiping Chen 0002, Xinhua H. Jiang |
Ringed Petersen Spheres Connected Hypercube Interconnection Networks. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Petersen graph, Interconnection Networks, Hypercube, Ring |
1 | Haopeng Chen, Yao Shen, Jianwei Jiang 0002 |
Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Juan Miguel Gómez 0001, Giner Alor-Hernández, José Oscar Olmedo-Aguirre, Christoph Bussler |
A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Nesi |
Multimedia Content Distribution and Protection. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhigang Zhao, Changqing Gong, Guangxing Wang |
Identification of Faulty Links in LEO/MEO Satellite Communication Networks. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhi-gang Liao, Zeng-zhi Li, Yan Chen, Tao Zhan |
A Study of Secure Communications between Mobile Objects. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jun Li, Fumin Yang, Yansheng Lu |
A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Organizing Committee. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wenpin Jiao, Hong Mei 0001 |
Dynamic Architectural Connectors in Cooperative Software Systems. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yajuan Pan, Dai Pan, Mei-Hwa Chen |
Slicing Component-Based Systems. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jing Liu, Huaikou Miao |
A Strategy for Component-Based Modeling and Refinement. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge |
Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Message from the General Chairs. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Additional Reviewers. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Xue |
A Formal Specification Constructing Tool for SOFL. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Zib Beiroumi, Villy Bæk Iversen |
Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai |
Comparing Fault-Proneness Estimation Models. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
fault-proneness estimation, fault-proneness prediction, maintenance, cross validation, empirical validation |
1 | Li Yang 0001, Raimund K. Ege, Huiqun Yu |
Mediation Systems Modeling and Verification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Modeling, verification, mediation systems |
1 | Wen Chen 0001, Feiyu Lei, Weinong Wang |
A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Maty Sylla, Frank A. Stomp, Willem P. de Roever |
Verifying Parameterized Refinement. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jun Sun 0001, Jin Song Dong |
Extracting FSMs from Object-Z Specifications with History Invariants. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Software Specification, FSMs, Object-Z |
1 | W. Eric Wong, Yu Lei, Xiao Ma |
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph |
1 | Viktoria Felmetsger, Giovanni Vigna |
Exploiting OS-Level Mechanisms to Implement Mobile Code Security. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
OS Security, Mobile Code, Mobile Agent Security |
1 | Jin Song Dong, D. Dan |
Software Engineering Approaches to Semantic Web. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Zhao, G. Dick van Albada, Peter M. A. Sloot |
Rapid Prototyping of Complex Interactive Simulation Systems. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xin Wang, Zhi-Chang Qi, Shuhao Li |
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean Bézivin, Frédéric Jouault, David Touzet |
Principles, Standards and Tools for Model Engineering. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yali Zhu, Gang Huang 0001, Hong Mei 0001 |
Modeling Architecture Based Development in UML. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hui Liang |
Regression Testing of Classes Based on TCOZ Specification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani, Mauro Pezzè |
Behavior Capture and Test: Automated Analysis of Component Integration. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gaoliang Peng, Wenjian Liu, Xutang Zhang |
An Internet-Based System for Setup Planning in Machining Operations. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhihong Huo, Huajing Fang |
Robust H-infinity Filter Design for Networked Control System with Random Time Delays. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Kyoo Kim |
Evaluating Conformance of UML Models to Design Patterns. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
pattern specification, pattern tools, UML, Design pattern, object-oriented model |
1 | Jan Jürjens, Markus Lehrhuber, Guido Wimmel |
Model-Based Design and Analysis of Permission-Based Security. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
Design of a Tool for Specification-Based Program Review. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy |
ICECCS |
2004 |
DBLP BibTeX RDF |
|
1 | Marios M. Polycarpou, Jay A. Farrell, Manu Sharma |
Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sheena R. Judson, Robert B. France, Doris L. Carver |
Supporting Rigorous Evolution of UML Models. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza |
A Web-Based Infrastructure for the Management of Semantic Meta-Data. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Robertson 0001, Robert Laddaga |
Using Contexts to Manage System Complexity. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
Context Induction, Corpus Methods, Self Aadaptive Software, Complexity, Learning, Architecture |
1 | Bernhard Steffen |
Major Threat: From Formal Methods without Tools to Tools without Formal Methods. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. Barrientos García, Isaac García Incertis, Félix Miguel Trespaderne, Eusebio de la Fuente López, José Ramón Perán González |
System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey |
Verification of NASA Emergent Systems. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Gomaa, Michael Eonsuk Shin |
Modeling Complex Systems by Separating Application and Security Concerns. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn A. Thompson, Peter J. Fleming |
Integrated Fault Diagnostics on the Grid. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Architecture Driven Modeling in Software Development. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vilgot Claesson, Neeraj Suri |
TTET: Event-Triggered Channels on a Time-Triggered Base. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Bolognesi |
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | L. Braccesi, Massimo Monsignori, Paolo Nesi |
Monitoring and Optimizing Industrial Production Processes. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | P. Mattias Weckstén, Jonas Vasell, Magnus Jonsson |
Towards a Tool for Derivation of Implementation Constraints. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Donzelli, Paolo Bresciani |
Domain Visualization for Dealing with Complex Information Systems . |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sita Ramakrishnan, Ashley Cambrell |
Muse over University Organisational Ecology in Action and Service-Oriented Architectures. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Panayiotis Periorellis, Olusola C. Idowu, Steven J. Lynden, Malcolm P. Young, Péter András 0001 |
Dealing with Complex Networks of Process Interactions: A Security Measure. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | R. M. Marks, F. George Wilkie |
Visualising Object-Oriented Source Code Complexity Using XML. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang |
A CORBA-Based Multi-Agent System Integration Framework. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
An Investigation of the Approach to Specification-Based Program Review through Case Studies. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Jin Song Dong, Gabriel Ciobanu |
Relating pi-calculus to Object-Z. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | George K. Adam |
Design of a Microprocessor-Based Control System of a Compression Molding Process. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Boby George, Shawn A. Bohner, Rubén Prieto Díaz |
Software Information Leaks: A Complexity Perspective. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Diego Latella, Mieke Massink |
Formal Test-Case Generation for UML Statecharts. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Poppleton, Richard Banach |
Requirements Validation by Lifting Retrenchments in B. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mara Nikolaidou, Dimosthenis Anagnostopoulos |
Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Denise M. Woit, M. Fan |
Independence Transformations and Tools for Components. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi |
Execution of TILCO Temporal Logic Specifications. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic |
1 | Ling Liu, Huaikou Miao, Xuede Zhan |
A Framework for Specification-Based Class Testing. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
test class framework, finite state machine (FSM), state transition tree, Object-Z, class testing |
1 | Milos Besta, Frank A. Stomp |
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Gomaa, Michael E. Shin |
Multiple-View Meta-Modeling of Software Product Lines. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Franck Barbier |
Composability for Software Components: An Approach Based on the Whole-Part Theory. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda |
Mars Polar Lander Fault Identification Using Model-based Testing. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
A Framework for Performability Modeling of Messaging Services in Distributed Systems. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yu Lei 0001, Kuo-Chung Tai |
Efficient Reachability Testing of Asynchronous Message-Passing Programs. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Roger T. Alexander, Jeff Offutt, James M. Bieman |
Syntactic Fault Patterns in OO Programs. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Capturing Complete and Accurate Requirements by Refinemen. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Henderson 0001 |
Reasoning about Asynchronous Behaviour in Distributed Systems. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Timo Aaltonen, Tommi Mikkonen |
Managing Software Evolution with a Formalized Abstraction Hierarchy. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|