Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs147.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/BaiTG14,
  author       = {Wei Bai and
                  Emmanuel M. Tadjouddine and
                  Yu Guo},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Enabling Automatic Certification of Online Auctions},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {123--132},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.9},
  doi          = {10.4204/EPTCS.147.9},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BaiTG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ColomboP14,
  author       = {Christian Colombo and
                  Gordon J. Pace},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Comprehensive Monitor-Oriented Compensation Programming},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {47--61},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.4},
  doi          = {10.4204/EPTCS.147.4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ColomboP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CoutoRC14,
  author       = {Rui Couto and
                  Ant{\'{o}}nio Nestor Ribeiro and
                  Jos{\'{e}} Creissac Campos},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Application of Ontologies in Identifying Requirements Patterns in
                  Use Cases},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {62--76},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.5},
  doi          = {10.4204/EPTCS.147.5},
  timestamp    = {Mon, 18 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CoutoRC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HamiazPCT14,
  author       = {Mounira Kezadri Hamiaz and
                  Marc Pantel and
                  Beno{\^{\i}}t Combemale and
                  Xavier Thirioux},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Correct-by-construction model composition: Application to the Invasive
                  Software Composition method},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {108--122},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.8},
  doi          = {10.4204/EPTCS.147.8},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HamiazPCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HanBHS14,
  author       = {Fenglin Han and
                  Jan Olaf Blech and
                  Peter Herrmann and
                  Heinz W. Schmidt},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Towards Verifying Safety Properties of Real-Time Probabilistic Systems},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {1--15},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.1},
  doi          = {10.4204/EPTCS.147.1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HanBHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LanoixK14,
  author       = {Arnaud Lanoix and
                  Olga Kouchnarenko},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Component Substitution through Dynamic Reconfigurations},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {32--46},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.3},
  doi          = {10.4204/EPTCS.147.3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LanoixK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MarcoT14,
  author       = {Antinisca Di Marco and
                  Catia Trubiani},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {A model-driven approach to broaden the detection of software performance
                  antipatterns at runtime},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {77--92},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.6},
  doi          = {10.4204/EPTCS.147.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MarcoT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MuramTZ14,
  author       = {Faiz Ul Muram and
                  Huy Tran and
                  Uwe Zdun},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Automated Mapping of {UML} Activity Diagrams to Formal Specifications
                  for Supporting Containment Checking},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {93--107},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.7},
  doi          = {10.4204/EPTCS.147.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MuramTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SantosJV14,
  author       = {Luciana Brasil Rebelo dos Santos and
                  Valdivino Alexandre de Santiago J{\'{u}}nior and
                  Nandamudi Lankalapalli Vijaykumar},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Transformation of {UML} Behavioral Diagrams to Support Software Model
                  Checking},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {133--142},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.10},
  doi          = {10.4204/EPTCS.147.10},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SantosJV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/StattelmannOG14,
  author       = {Stefan Stattelmann and
                  Manuel Oriol and
                  Thomas Gamer},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Execution Time Analysis for Industrial Control Applications},
  booktitle    = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  pages        = {16--31},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147.2},
  doi          = {10.4204/EPTCS.147.2},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/StattelmannOG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/BuhnovaHK14,
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Proceedings 11th International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, {FESCA} 2014, Grenoble,
                  France, 12th April 2014},
  series       = {{EPTCS}},
  volume       = {147},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.147},
  doi          = {10.4204/EPTCS.147},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BuhnovaHK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.