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/iceccs2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/iceccs/AcherCLMR11,
author = {Mathieu Acher and
Philippe Collet and
Philippe Lahire and
Sabine Moisan and
Jean{-}Paul Rigault},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Modeling Variability from Requirements to Runtime},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.15},
doi = {10.1109/ICECCS.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AcherCLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AdedjoumaDT11,
author = {Morayo Adedjouma and
Hubert Dubois and
Fran{\c{c}}ois Terrier},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Requirements Exchange: From Specification Documents to Models},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {350--354},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.42},
doi = {10.1109/ICECCS.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AdedjoumaDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AnwarDECN11,
author = {Adil Anwar and
Taoufiq Dkaki and
Sophie Ebersold and
Bernard Coulette and
Mahmoud Nassar},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Formal Approach to Model Composition Applied to {VUML}},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {188--197},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.26},
doi = {10.1109/ICECCS.2011.26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/AnwarDECN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BaresiM11,
author = {Luciano Baresi and
Matteo Miraz},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Component-Oriented Metamodel for the Modernization of Software Applications},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {179--187},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.25},
doi = {10.1109/ICECCS.2011.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BaresiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BehnamNB11,
author = {Moris Behnam and
Thomas Nolte and
Reinder J. Bril},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Tighter Schedulability Analysis of Synchronization Protocols Based
on Overrun without Payback for Hierarchical Scheduling Frameworks},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {35--44},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.11},
doi = {10.1109/ICECCS.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BehnamNB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Bertrane11,
author = {Julien Bertrane},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Temporal Abstract Domains},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.8},
doi = {10.1109/ICECCS.2011.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Bertrane11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BettsM11,
author = {Adam Betts and
Amine Marref},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {{WCET} Analysis of Component-Based Systems Using Timing Traces},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.9},
doi = {10.1109/ICECCS.2011.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BettsM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BjornanderSLP11,
author = {Stefan Bj{\"{o}}rnander and
Cristina Cerschi Seceleanu and
Kristina Lundqvist and
Paul Pettersson},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {{ABV} - {A} Verifier for the Architecture Analysis and Design Language
{(AADL)}},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {355--360},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.43},
doi = {10.1109/ICECCS.2011.43},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BjornanderSLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ChehadeRTSG11,
author = {Wassim El Hajj Chehade and
Ansgar Radermacher and
Fran{\c{c}}ois Terrier and
Bran Selic and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Model-Driven Framework for the Development of Portable Real-Time
Embedded Systems},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.12},
doi = {10.1109/ICECCS.2011.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ChehadeRTSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GhazarianTG11,
author = {Arbi Ghazarian and
Mehdi Sagheb{-}Tehrani and
Arin Ghazarian},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Software Requirements Specification Framework for Objective Pattern
Recognition: {A} Set-Theoretic Classification Approach},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {211--220},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.28},
doi = {10.1109/ICECCS.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/GhazarianTG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Halle11,
author = {Sylvain Hall{\'{e}}},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Model-Based Simulation of {SOAP} Web Services from Temporal Logic
Specifications},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.17},
doi = {10.1109/ICECCS.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Halle11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HechtLV11,
author = {Myron Hecht and
Alexander Lam and
Chris Vogl},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Tool Set for Integrated Software and Hardware Dependability Analysis
Using the Architecture Analysis and Design Language {(AADL)} and Error
Model Annex},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {361--366},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.44},
doi = {10.1109/ICECCS.2011.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HechtLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/IkonenPFKA11,
author = {Marko Ikonen and
Elena Pirinen and
Fabian Fagerholm and
Petri Kettunen and
Pekka Abrahamsson},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {On the Impact of Kanban on Software Project Work: An Empirical Case
Study Investigation},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {305--314},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.37},
doi = {10.1109/ICECCS.2011.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/IkonenPFKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JorgesS11,
author = {Sven J{\"{o}}rges and
Bernhard Steffen},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Leveraging Service-Orientation for Combining Code Generation Frameworks},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.27},
doi = {10.1109/ICECCS.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JorgesS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KabirHC11,
author = {Muhammad Ashad Kabir and
Jun Han and
Alan W. Colman},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Modeling and Coordinating Social Interactions in Pervasive Environments},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.31},
doi = {10.1109/ICECCS.2011.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KabirHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KazemeyniJOB11,
author = {Fatemeh Kazemeyni and
Einar Broch Johnsen and
Olaf Owe and
Ilangko Balasingham},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Group Selection by Nodes in Wireless Sensor Networks Using Coalitional
Game Theory},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {253--262},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.32},
doi = {10.1109/ICECCS.2011.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KazemeyniJOB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/KhoroshilovKPU11,
author = {Alexey V. Khoroshilov and
Igor Koverninskiy and
Alexander K. Petrenko and
Alexander Ugnenko},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Integrating AADL-Based Tool Chain into Existing Industrial Processes},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {367--371},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.45},
doi = {10.1109/ICECCS.2011.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/KhoroshilovKPU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LasnierPHW11,
author = {Gilles Lasnier and
Laurent Pautet and
J{\'{e}}r{\^{o}}me Hugues and
Lutz Wrage},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {An Implementation of the Behavior Annex in the AADL-Toolset Osate2},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {332--337},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.39},
doi = {10.1109/ICECCS.2011.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LasnierPHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LoM11,
author = {David Lo and
Shahar Maoz},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Towards Succinctness in Mining Scenario-Based Specifications},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {231--240},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.30},
doi = {10.1109/ICECCS.2011.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Lock11,
author = {Russell Lock},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Modelling and Analysing Standard Use within System of Systems},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {149--156},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.22},
doi = {10.1109/ICECCS.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Lock11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LuK11,
author = {Lunjin Lu and
Dae{-}Kyoo Kim},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Required Behavior of Sequence Diagrams: Semantics and Refinement},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.20},
doi = {10.1109/ICECCS.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MarrefB11,
author = {Amine Marref and
Adam Betts},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Memory Positioning of Real-Time Code for Smaller Worst-Case Execution
Times},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {23--32},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.10},
doi = {10.1109/ICECCS.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MarrefB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MatoussiGL11,
author = {Abderrahman Matoussi and
Fr{\'{e}}d{\'{e}}ric Gervais and
R{\'{e}}gine Laleau},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.21},
doi = {10.1109/ICECCS.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MatoussiGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MontecchiLB11,
author = {Leonardo Montecchi and
Paolo Lollini and
Andrea Bondavalli},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Towards a {MDE} Transformation Workflow for Dependability Analysis},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.23},
doi = {10.1109/ICECCS.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MontecchiLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MuhammadBB11,
author = {Naeem Muhammad and
Nelis Bouck{\'{e}} and
Yolande Berbers},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Parallelism Viewpoint: {A} Viewpoint to Model Parallelism in Parallelism-Intensive
Software Systems},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {285--294},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.35},
doi = {10.1109/ICECCS.2011.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MuhammadBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NaujokatLS11,
author = {Stefan Naujokat and
Anna{-}Lena Lamprecht and
Bernhard Steffen},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Tailoring Process Synthesis to Domain Characteristics},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {167--175},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.24},
doi = {10.1109/ICECCS.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/NaujokatLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PerseilPRFDBJBMBFZBSCAFMG11,
author = {Isabelle Perseil and
Laurent Pautet and
Jean{-}Fran{\c{c}}ois Rolland and
Mamoun Filali and
Didier Delanote and
Stefan Van Baelen and
Wouter Joosen and
Yolande Berbers and
Fr{\'{e}}d{\'{e}}ric Mallet and
Dominique Bertrand and
S{\'{e}}bastien Faucou and
Abdelhafid Zitouni and
Mahmoud Boufa{\"{\i}}da and
Lionel Seinturier and
Jo{\"{e}}l Champeau and
Thomas Abdoul and
Peter H. Feiler and
Chokri Mraidha and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {An Efficient Modeling and Execution Framework for Complex Systems
Development},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {317--331},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.38},
doi = {10.1109/ICECCS.2011.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PerseilPRFDBJBMBFZBSCAFMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PirzadehH11,
author = {Heidar Pirzadeh and
Abdelwahab Hamou{-}Lhadj},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Novel Approach Based on Gestalt Psychology for Abstracting the Content
of Large Execution Traces for Program Comprehension},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {221--230},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.29},
doi = {10.1109/ICECCS.2011.29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/PirzadehH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RubiniSH11,
author = {St{\'{e}}phane Rubini and
Frank Singhoff and
J{\'{e}}r{\^{o}}me Hugues},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Modeling and Verification of Memory Architectures with {AADL} and
{REAL}},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {338--343},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.40},
doi = {10.1109/ICECCS.2011.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RubiniSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SantosWP11,
author = {Osmar Marchi dos Santos and
Jim Woodcock and
Richard F. Paige},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Using Model Transformation to Generate Graphical Counter-Examples
for the Formal Analysis of xUML Models},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {117--126},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.19},
doi = {10.1109/ICECCS.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SantosWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SkopikSD11,
author = {Florian Skopik and
Daniel Schall and
Schahram Dustdar},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Computational Social Network Management in Crowdsourcing Environments},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {273--282},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.34},
doi = {10.1109/ICECCS.2011.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SkopikSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TateB11,
author = {Jonathan Tate and
Iain Bate},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {{LIPS:} {A} Protocol Suite for Homeostatic Sensornet Management},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {263--272},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.33},
doi = {10.1109/ICECCS.2011.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TateB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WeiWB11,
author = {Kun Wei and
Jim Woodcock and
Alan Burns},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Timed Circus: Timed {CSP} with the Miracle},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.13},
doi = {10.1109/ICECCS.2011.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/WeiWB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/X11,
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Preface},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.5},
doi = {10.1109/ICECCS.2011.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/X11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YangHBPMT11,
author = {Zhibin Yang and
Kai Hu and
Jean{-}Paul Bodeveix and
Lei Pi and
Dianfu Ma and
Jean{-}Pierre Talpin},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Two Formal Semantics of a Subset of the {AADL}},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {344--349},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.41},
doi = {10.1109/ICECCS.2011.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YangHBPMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YinML11,
author = {Ling Yin and
Fr{\'{e}}d{\'{e}}ric Mallet and
Jing Liu},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Verification of {MARTE/CCSL} Time Requirements in Promela/SPIN},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.14},
doi = {10.1109/ICECCS.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YinML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZhaoHHL11,
author = {Yongxin Zhao and
Yanhong Huang and
Jifeng He and
Si Liu},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Formal Model of Interrupt Program from a Probabilistic Perspective},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.16},
doi = {10.1109/ICECCS.2011.16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/ZhaoHHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZiadiSHZ11,
author = {Tewfik Ziadi and
Marcos Aur{\'{e}}lio Almeida da Silva and
Lom{-}Messan Hillah and
Mikal Ziane},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Fully Dynamic Approach to the Reverse Engineering of {UML} Sequence
Diagrams},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.18},
doi = {10.1109/ICECCS.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZiadiSHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZibranSAR11,
author = {Minhaz F. Zibran and
Ripon K. Saha and
Muhammad Asaduzzaman and
Chanchal K. Roy},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Analyzing and Forecasting Near-Miss Clones in Evolving Software: An
Empirical Study},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {295--304},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.36},
doi = {10.1109/ICECCS.2011.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZibranSAR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2011,
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/5773346/proceeding},
isbn = {978-0-7695-4381-9},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/2011.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 23:38 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:
