Search dblp for Publications

export results for "toc:db/series/asc/asc346.bht:"

 download as .bib file

@incollection{DBLP:series/asc/AbbasipourSKT15,
  author       = {Mahin Abbasipour and
                  Margarete Sackmann and
                  Ferhat Khendek and
                  Maria Toeroe},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {A Model-Based Approach for User Requirements Decomposition and Component
                  Selection},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {173--202},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_8},
  doi          = {10.1007/978-3-319-16577-6\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/asc/AbbasipourSKT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/Abdelkrim15,
  author       = {Abdelli Abdelkrim},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Towards a General Model to Handle Multi-enabledness in Time Petri
                  Nets},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {103--131},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_5},
  doi          = {10.1007/978-3-319-16577-6\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/Abdelkrim15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/Bouabana-TebibelRB15,
  author       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin and
                  Miloud Bennama},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Forward and Backward Analysis of Weak Sequencing Specification},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {27--53},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_2},
  doi          = {10.1007/978-3-319-16577-6\_2},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/Bouabana-TebibelRB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/ChamaBS15,
  author       = {Imed Eddine Chama and
                  Nabil Belala and
                  Djamel{-}Eddine Sa{\"{\i}}douni},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Formal Modeling and Analysis of Business Process Timed Constraints},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {149--172},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_7},
  doi          = {10.1007/978-3-319-16577-6\_7},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/ChamaBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/Gregoire15,
  author       = {{\'{E}}ric Gr{\'{e}}goire},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Any-Time Knowledge Revision and Inconsistency Handling},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {279--294},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_12},
  doi          = {10.1007/978-3-319-16577-6\_12},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/Gregoire15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/LouatiBJ15,
  author       = {Aymen Louati and
                  Kamel Barkaoui and
                  Chadlia Jerad},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Temporal Properties Verification of Real-Time Systems Using {UML/MARTE/OCL-RT}},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_6},
  doi          = {10.1007/978-3-319-16577-6\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/LouatiBJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/McDowellFM15,
  author       = {Luke K. McDowell and
                  Aaron Fleming and
                  Zane Markel},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Evaluating and Extending Latent Methods for Link-Based Classification},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {227--256},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_10},
  doi          = {10.1007/978-3-319-16577-6\_10},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/McDowellFM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/MoseleyAR15,
  author       = {Nathaniel Moseley and
                  Cecilia Ovesdotter Alm and
                  Manjeet Rege},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {On Utilizing Nonstandard Abbreviations and Lexicon to Infer Demographic
                  Attributes of Twitter Users},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {257--278},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_11},
  doi          = {10.1007/978-3-319-16577-6\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/asc/MoseleyAR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/NellenAW15,
  author       = {Johanna Nellen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Benedikt Wolters},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {A {CEGAR} Tool for the Reachability Analysis of PLC-Controlled Plants
                  Using Hybrid Automata},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {55--78},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_3},
  doi          = {10.1007/978-3-319-16577-6\_3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/NellenAW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/SiddiqueT15,
  author       = {Umair Siddique and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {On the Formalization of Cardinal Points of Optical Systems},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {79--102},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_4},
  doi          = {10.1007/978-3-319-16577-6\_4},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/SiddiqueT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/SoomroMF15,
  author       = {Sarfaraz Soomro and
                  Andr{\'{e}}a M. Matsunaga and
                  Jos{\'{e}} A. B. Fortes},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Simplifying Extract-Transform-Load for Ranked Hierarchical Trees via
                  Mapping Specifications},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {203--225},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_9},
  doi          = {10.1007/978-3-319-16577-6\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/SoomroMF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/asc/TanZ15,
  author       = {Li Tan and
                  Bolong Zeng},
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Testing with B{\"{u}}chi Automata: Transition Coverage Metrics,
                  Performance Analysis, and Property Refinement},
  booktitle    = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6\_1},
  doi          = {10.1007/978-3-319-16577-6\_1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/TanZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/asc/2015-346,
  editor       = {Thouraya Bouabana{-}Tebibel and
                  Stuart H. Rubin},
  title        = {Formalisms for Reuse and Systems Integration},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {346},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16577-6},
  doi          = {10.1007/978-3-319-16577-6},
  isbn         = {978-3-319-16576-9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/asc/2015-346.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.