Search results for "ICECCS"

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

Publications at "ICECCS"( http://dblp.L3S.de/Venues/ICECCS )