Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tiziana Margaria |
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fei Huang 0001, Kai Han 0004, Binoy Ravindran, E. Douglas Jensen |
Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Naiyong Jin, Juan Zhou, Taoyong Ni |
iPSL: An Environment for IP-Based PSL Specification. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Norman F. Schneidewind, Mike Hinchey |
Why Predicting Outliers in Software is a Good Thing to Do! |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guosong Tian, Yu-Chu Tian, Colin J. Fidge |
High-Precision Relative Clock Synchronization Using Time Stamp Counters. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard |
AnExecution Framework for MARTE-Based Models. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tony Hoare |
Verified Software: Theories, Tools, Experiments. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zhi Quan Lee, Yuan Qin Zhu, Ian Warren |
Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Leo Freitas |
Linking VDM and Z. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Jim Woodcock 0001, Andrew Butterfield |
POSIX and the Verification Grand Challenge: A Roadmap. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis |
From PIMs to PSMs. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Perseil, Laurent Pautet |
A Co-Modeling Methodology Designed for RT Architecture Models Integration. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Martin Leucker |
Parallel Model Checking and the FMICS-jETI Platform. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jens Dietrich 0001, John G. Hosking, Jonathan Giles |
A Formal Contract Language for Plugin-based Software Engineering. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Automated Verification of Shape, Size and Bag Properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Schulte |
Pex - An Intelligent Assistant for Rigorous Developer Testing. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Simon Connelly, Peter A. Lindsay, Marcus Gallagher |
An agent based approach to examining shared situation awareness. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Kiniry |
Formally Counting Electronic Votes (But Still Only Trusting Paper). |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley |
A first approach to the closed-form specification and analysis of an autonomic control system. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Weishan Zhang, Thomas Kunz, Klaus Marius Hansen |
Product Line Enabled Intelligent Mobile Middleware. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones, Ken G. Pierce |
What Can the pi-calculus Tell Us About the Mondex Purse System? |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang |
Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
BAF, BOWL, Semantic Web, OWL, confidence, ignorance |
1 | Andrew Butterfield, Jim Woodcock 0001 |
Formalising Flash Memory: First Steps. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tien Nguyen |
EmVC: Managing Changes and Configurations in Designs of Complex, Embedded Computing Systems. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Konstantinos Mokos, Jim Woodcock 0001 |
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shengchao Qin, Guanhua He |
Linking Object-Z with Spec#. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
Spec#, pre/post conditions, verification, Formal specification, Object-Z |
1 | Thomas Panas, Thomas Epperly, Daniel J. Quinlan, Andreas Sæbjørnsen, Richard W. Vuduc |
Communicating Software Architecture using a Unified Single-View Visualization. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jing Li 0062, Huibiao Zhu, Geguang Pu, Jifeng He 0001 |
A Formal Model for Compensable Transactions. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | |
12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand |
ICECCS |
2007 |
DBLP BibTeX RDF |
|
1 | Urjaswala Vora |
Architectural Design Methodologies for Complex Evolving Systems. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Sarah Eowyn, Patricia O'Hagan, Edward Hanna |
The Imminent Complexity Quagmire in Pervasive Computing - Autonomic Agents a Solution? |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh 0001, Jun Sun 0001 |
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs |
Achieving Discrete Relative Timing with Untimed Process Algebra. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Huaikou Miao, Hongwei Zeng |
Model Checking-based Verification of Web Application. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
consistency criteria, model checking, Web application, automated verification |
1 | Jeongkyu Park, Jiung Han, Kibong Kang, Keung Hae Lee |
The Registry for Sensor Network Discovery. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tim McComb, Luke Wildman |
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Petra Malik, Robi Malik, David Streader, Steve Reeves |
Modular Synthesis of Discrete Controllers. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Leo Freitas, Zheng Fu, Jim Woodcock 0001 |
POSIX file store in Z/Eves: an experiment in the verified software repository. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Groves |
Reasoning about Nonblocking Concurrency using Reduction. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 |
Managing Complexity of Automotive Electronics Using the EAST-ADL. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas |
The AADL behaviour annex - experiments and roadmap. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
What Use is Verified Software? |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
The LearnLib in FMICS-jETI. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paul A. Strooper, Margaret A. Wojcicki |
Selecting V&V Technology Combinations: How to Pick a Winner? |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Schulte |
Experiments in Verifying Low Level Concurrent C Code. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Just-in-Time Certification. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbang Chen, Zhiming Liu 0001, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
1 | Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
A light-weight static approach to analyzing UML behavioral properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard |
MARTE: Also an UML Profile for Modeling AADL Applications. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Pedro Merino 0001, Christophe Joubert, David Sanán |
On-the-fly model checking for C programs with extended CADP in FMICS-jETI. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers |
A Novel Approach to the Detection of Cheating in Multiplayer Online Games. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He 0001, Wang Yi 0001 |
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Kyoo Kim, Lunjin Lu |
Inference of Design Pattern Instances in UML models via Logic Programming. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joshua J. Pauli, Dianxiang Xu |
Integrating Functional and Security Requirements with Use Case Decomposition. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jing Liu, Jifeng He 0001 |
Reactive Component based Service-Oriented Design - A Case Study. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen |
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Steve A. Schneider, Helen Treharne, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Layered Behavioural Model of Platelets. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Susan Stepney, Fiona Polack, Heather R. Turner |
Engineering Emergence. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
Automation of Java Card component development using the B method. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gregory M. Provan |
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro |
Physiological vs. Social Complexity in Software Design. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Norman F. Schneidewind |
Reliability - Security Model. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
Integration of security and reliability, Conditional probability of security failures, Policy implications resulting from model results |
1 | Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett |
A Case History of International Space Station Requirement Faul. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton |
On the Generation of Object Databases using Booster. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Phil Clayton |
Verification of Control Systems using Circus. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
1 | Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu |
A Type System for the Relational Calculus of Object Systems. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Welch, Fred R. M. Barnes, Fiona Polack |
Communicating Complex Systems. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Milos Besta, Frank A. Stomp |
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Magnus E. Larsson, Phillip A. Laplante |
On the Complexity of Design in Imaging Software. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Duoduo Liao |
A Real-time High-fidelity Driving Simulator System Based on PC Clusters. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos |
A UML Profile utilizing Enterprise Information System Configuration. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
From Algebraic Semantics to Denotational Semantics for Verilog. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Klemm |
Efficient Dynamic Multikeys in Enterprise JavaBeans. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Michael G. Hinchey |
Biologically-Inspired Concepts for Self-Management of Complexity. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
A Tool-Supported Review Approach to Detecting Structural Consistency Violations. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
Design and implementation, program review, structural consistency, SOFL specification |
1 | Ray Walshe |
Modelling Bacterial Growth Patterns in the presence of Antibiotic. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi |
A GRID based Framework and tools for automating production of cross media content. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | |
11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA |
ICECCS |
2006 |
DBLP BibTeX RDF |
|
1 | Xiaoshan Li |
A Characterization of UML Diagrams and their Consistency. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
UML2.0, Semantics, Consistency Checking, Sequence Diagram |
1 | Jovan Cakic, Richard F. Paige |
Origins of the Grid Architectural Style. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ling Liu, Huaikou Miao |
Mutation Operators for Object-Z Specification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jun Sun 0001, Jin Song Dong |
Model Checking Live Sequence Charts. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Verification, CSP, FDR, LSCs |
1 | Frans Mårtensson, Håkan Grahn, Michael Mattsson |
Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oystein Hallaraker, Giovanni Vigna |
Detecting Malicious JavaScript Code in Mozilla. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Web Applications, JavaScript, Mobile Code |
1 | Jianmin Jiang, Jinzhao Wu |
The Preservation of Interleaving Equivalences. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
bundle action transitions, interleaving equivalences, action refinement, Event structures |
1 | |
10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China |
ICECCS |
2005 |
DBLP BibTeX RDF |
|
1 | Ching-Cheng Lee, Sudeshna Ghosh |
A Component-Based Approach for JavaCard Runtime System Development. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Roger Duke, Ping Hao |
Integrating Object-Z with Timed Automata. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Specification, Timed Automata, Object-Z |
1 | Li Wang, Zeng-zhi Li, Yanping Chen 0001, Ke Xue |
Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wuwei Shen, Weng Liong Low |
Using the Metamodel Mechanism to Support Class Refinement. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Deqing Zou, Weizhong Qiang, Xuanhua Shi |
A Formal General Framework and Service Access Model for Service Grid. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ramírez 0001, Andrew E. Santosa |
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs, Wan J. Fokkink |
From chi-t to µCRL: Combining Performance and Functional Analysis. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Tamai |
Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
A Tool-Supported Approach to Testing UML Design Models. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams |
1 | Lei Wu 0001, Houari A. Sahraoui, Petko Valtchev |
Coping with Legacy System Migration Complexity. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
architecture recover, migration complexity, fuzzy prioritization, legacy software, decomposition algorithm, business logic |
1 | Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens |
Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Modeling (AOM) and Risk-Driven Development (RDD), Bayesian Belief Networks (BBN), Trade-off analysis |
1 | Luciano Baresi, Sam Guinea |
An Introduction to Self-Healing Web Services. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|