Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iceccs/iceccs2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/iceccs/0002MS08,
author = {Su{-}Young Lee and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
title = {Dealing with {AADL} End-to-End Flow Latency with {UML} {MARTE}},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {228--233},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.14},
doi = {10.1109/ICECCS.2008.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/0002MS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AbdoulCDPR08,
author = {Thomas Abdoul and
Jo{\"{e}}l Champeau and
Philippe Dhaussy and
Pierre Yves Pillain and
Jean{-}Charles Roger},
title = {{AADL} Execution Semantics Transformation for Formal Verification},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {263--268},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.24},
doi = {10.1109/ICECCS.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AbdoulCDPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BalpBHT08,
author = {Hugues Balp and
Etienne Borde and
Gr{\'{e}}gory Ha{\"{\i}}k and
Jean{-}Fran{\c{c}}ois Tilman},
title = {Automatic Composition of {AADL} Models for the Verification of Critical
Component-Based Embedded Systems},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {269--274},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.26},
doi = {10.1109/ICECCS.2008.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BalpBHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Bashardoust-TajaliC08,
author = {Soheila Bashardoust{-}Tajali and
Jean{-}Pierre Corriveau},
title = {On Extracting Tests from a Testable Model in the Context of Domain
Engineering},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {98--107},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.17},
doi = {10.1109/ICECCS.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Bashardoust-TajaliC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BertrandDFR08,
author = {Dominique Bertrand and
Anne{-}Marie D{\'{e}}planche and
S{\'{e}}bastien Faucou and
Olivier H. Roux},
title = {A Study of the {AADL} Mode Change Protocol},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {288--293},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.29},
doi = {10.1109/ICECCS.2008.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BertrandDFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BoudaliCHKS08,
author = {Hichem Boudali and
Pepijn Crouzen and
Boudewijn R. Haverkort and
Matthias Kuntz and
Mari{\"{e}}lle Stoelinga},
title = {Arcade - {A} Formal, Extensible, Model-Based Dependability Evaluation
Framework},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {243--248},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.11},
doi = {10.1109/ICECCS.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BoudaliCHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BrunDT08,
author = {Matthias Brun and
J{\'{e}}r{\^{o}}me Delatour and
Yvon Trinquet},
title = {Code Generation from {AADL} to a Real-Time Operating System: An Experimentation
Feedback on the Use of Model Transformation},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {257--262},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.19},
doi = {10.1109/ICECCS.2008.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BrunDT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DelanoteBJB08,
author = {Didier Delanote and
Stefan Van Baelen and
Wouter Joosen and
Yolande Berbers},
title = {Using {AADL} to Model a Protocol Stack},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {277--281},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.12},
doi = {10.1109/ICECCS.2008.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DelanoteBJB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Fallah-SeghrouchniBSECB08,
author = {Amal El Fallah Seghrouchni and
Karin K. Breitman and
Nicolas Sabouret and
Markus Endler and
Yasmine Charif and
Jean{-}Pierre Briot},
title = {Ambient Intelligence Applications: Introducing the Campus Framework},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {165--174},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.31},
doi = {10.1109/ICECCS.2008.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Fallah-SeghrouchniBSECB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Feiler08,
author = {Peter H. Feiler},
title = {Efficient Embedded Runtime Systems through Port Communication Optimization},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {294--300},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.20},
doi = {10.1109/ICECCS.2008.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Feiler08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FilhoEB08,
author = {Jos{\'{e}} Viterbo Filho and
Markus Endler and
Jean{-}Pierre Briot},
title = {Ubiquitous Service Regulation Based on Dynamic Rules},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {175--182},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.22},
doi = {10.1109/ICECCS.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FilhoEB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FreitasWB08,
author = {Leo Freitas and
Jim Woodcock and
Andrew Butterfield},
title = {{POSIX} and the Verification Grand Challenge: {A} Roadmap},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.35},
doi = {10.1109/ICECCS.2008.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FreitasWB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HauseT08,
author = {Matthew Clayton Hause and
Francis Thom},
title = {An Integrated {MDA} Approach with SysML and {UML}},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {249--254},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.21},
doi = {10.1109/ICECCS.2008.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HauseT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Hoare08,
author = {Tony Hoare},
title = {Verified Software: Theories, Tools, Experiments},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.42},
doi = {10.1109/ICECCS.2008.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Hoare08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HuangHRJ08,
author = {Fei Huang and
Kai Han and
Binoy Ravindran and
E. Douglas Jensen},
title = {Integrated Real-Time Scheduling and Communication with Probabilistic
Timing Assurances in Unreliable Distributed Systems},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.15},
doi = {10.1109/ICECCS.2008.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HuangHRJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JinZN08,
author = {Naiyong Jin and
Juan Zhou and
Taoyong Ni},
title = {iPSL: An Environment for IP-Based {PSL} Specification},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {46--55},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.13},
doi = {10.1109/ICECCS.2008.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JinZN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JuszczykTD08,
author = {Lukasz Juszczyk and
Hong Linh Truong and
Schahram Dustdar},
title = {{GENESIS} - {A} Framework for Automatic Generation and Steering of
Testbeds of ComplexWeb Services},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.27},
doi = {10.1109/ICECCS.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JuszczykTD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LeeSDG08,
author = {Scott Uk{-}Jin Lee and
Jing Sun and
Gillian Dobbie and
Lindsay Groves},
title = {Verifying Semistructured Data Normalization Using {PVS}},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.23},
doi = {10.1109/ICECCS.2008.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LeeSDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LeeZW08,
author = {Zhi Quan Lee and
Yuan Qin Zhu and
Ian Warren},
title = {Jini++: {A} Framework for Developing Pervasive and Wireless Distributed
Applications},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.10},
doi = {10.1109/ICECCS.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LeeZW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Margaria08,
author = {Tiziana Margaria},
title = {The Semantic Web Services Challenge: Tackling Complexity at the Orchestration
Level},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {183--189},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.41},
doi = {10.1109/ICECCS.2008.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Margaria08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MendoncaMOCFSTHB08,
author = {Manoel G. Mendon{\c{c}}a and
Jos{\'{e}} Carlos Maldonado and
Maria Cristina Ferreira de Oliveira and
Jeffrey C. Carver and
Sandra Camargo Pinto Ferraz Fabbri and
Forrest Shull and
Guilherme Horta Travassos and
Erika Nina H{\"{o}}hn and
Victor R. Basili},
title = {A Framework for Software Engineering Experimental Replications},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.38},
doi = {10.1109/ICECCS.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MendoncaMOCFSTHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MousaviF08,
author = {Abdolmajid Mousavi and
Behrouz H. Far},
title = {Revisiting Safe Realizability of Message Sequence Charts Specifications},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {37--45},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.9},
doi = {10.1109/ICECCS.2008.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MousaviF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MraidhaTJTG08,
author = {Chokri Mraidha and
Yann Tanguy and
Christophe Jouvray and
Fran{\c{c}}ois Terrier and
Sebastien Gerard},
title = {AnExecution Framework for MARTE-Based Models},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {222--227},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.37},
doi = {10.1109/ICECCS.2008.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MraidhaTJTG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PerseilP08,
author = {Isabelle Perseil and
Laurent Pautet},
title = {A Concrete Syntax for {UML} 2.1 Action Semantics Using +CAL},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {217--221},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.34},
doi = {10.1109/ICECCS.2008.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PerseilP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RollandBFCT08,
author = {Jean{-}Fran{\c{c}}ois Rolland and
Jean{-}Paul Bodeveix and
Mamoun Filali and
David Chemouil and
Dave Thomas},
title = {Modes in Asynchronous Systems},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {282--287},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.28},
doi = {10.1109/ICECCS.2008.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RollandBFCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Ryan08,
author = {Kevin Ryan},
title = {Global Software Engineering Research in a Small Country},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.43},
doi = {10.1109/ICECCS.2008.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Ryan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SchneidewindH08,
author = {Norman F. Schneidewind and
Mike Hinchey},
title = {Why Predicting Outliers in Software is a Good Thing to Do!},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {91--97},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.33},
doi = {10.1109/ICECCS.2008.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SchneidewindH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Sekerinski08,
author = {Emil Sekerinski},
title = {Verifying Statecharts with State Invariants},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {7--14},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.40},
doi = {10.1109/ICECCS.2008.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Sekerinski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TianTF08,
author = {Guosong Tian and
Yu{-}Chu Tian and
Colin J. Fidge},
title = {High-Precision Relative Clock Synchronization Using Time Stamp Counters},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.39},
doi = {10.1109/ICECCS.2008.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TianTF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TravassosSMNB08,
author = {Guilherme Horta Travassos and
Paulo S{\'{e}}rgio Medeiros dos Santos and
Paula Gomes Mian and
Arilo Claudio Dias Neto and
Jorge Calmon de Almeida Biolchini},
title = {An Environment to Support Large Scale Experimentation in Software
Engineering},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.30},
doi = {10.1109/ICECCS.2008.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TravassosSMNB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/VivekanandarajahP08,
author = {Kugan Vivekanandarajah and
Santhosh Kumar Pilakkat},
title = {Task Mapping in Heterogeneous MPSoCs for System Level Design},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.18},
doi = {10.1109/ICECCS.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/VivekanandarajahP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WangGPSS08,
author = {Hai H. Wang and
Nick Gibbins and
Terry R. Payne and
Ahmed Saleh and
Jun Sun},
title = {A Formal Model of Semantic Web Service Ontology {(WSMO)} Execution},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.25},
doi = {10.1109/ICECCS.2008.25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/WangGPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WongSWS08,
author = {Stephen Wong and
Jing Sun and
Ian Warren and
Jun Sun},
title = {A Scalable Approach to Multi-style Architectural Modeling and Verification},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.16},
doi = {10.1109/ICECCS.2008.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/WongSWS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WoodcockF08,
author = {Jim Woodcock and
Leo Freitas},
title = {Linking {VDM} and {Z}},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.36},
doi = {10.1109/ICECCS.2008.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/WoodcockF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZitouniSB08,
author = {Abdelhafid Zitouni and
Lionel Seinturier and
Mahmoud Boufa{\"{\i}}da},
title = {Contract-Based Approach to Analyze Software Components},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {237--242},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.32},
doi = {10.1109/ICECCS.2008.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZitouniSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2008,
title = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4492860/proceeding},
isbn = {0-7695-3139-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-29 02:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
