BibTeX records: Ernesto Posse

download as .bib file

@inproceedings{DBLP:conf/ecsa/LatifajCMP21,
  author       = {Malvina Latifaj and
                  Federico Ciccozzi and
                  Mattias Mohlin and
                  Ernesto Posse},
  editor       = {Robert Heinrich and
                  Raffaela Mirandola and
                  Danny Weyns},
  title        = {Towards Automated Support for Blended Modelling of {UML-RT} Embedded
                  Software Architectures},
  booktitle    = {{ECSA} 2021 Companion Volume, Virtual (originally: V{\"{a}}xj{\"{o}},
                  Sweden), 13-17 September, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2978},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2978/industry-paper90.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/LatifajCMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/BagherzadehBDFG18,
  author       = {Mojtaba Bagherzadeh and
                  Francis Bordeleau and
                  Juergen Dingel and
                  Michalis Famelis and
                  Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
                  Raquel Ara{\'{u}}jo de Oliveira and
                  Ernesto Posse and
                  Ed Seidewitz and
                  Bran Selic},
  editor       = {Regina Hebig and
                  Thorsten Berger},
  title        = {Preface to the 2nd International Workshop on Model Driven Engineering
                  Tools (MDETools 2018)},
  booktitle    = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
                  EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
                  ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
                  International Conference on Model Driven Engineering Languages and
                  Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2245},
  pages        = {303--304},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2245/mdetools\_intro.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BagherzadehBDFG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/AhmadiPD18,
  author       = {Reza Ahmadi and
                  Ernesto Posse and
                  Juergen Dingel},
  editor       = {Andrzej Wasowski and
                  Richard F. Paige and
                  {\O}ystein Haugen},
  title        = {Slicing UML-based Models of Real-time Embedded Systems},
  booktitle    = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
                  Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
                  Denmark, October 14-19, 2018},
  pages        = {346--356},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3239372.3239407},
  doi          = {10.1145/3239372.3239407},
  timestamp    = {Wed, 21 Nov 2018 12:44:12 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AhmadiPD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecmdafa/AddaziCLP17,
  author       = {Lorenzo Addazi and
                  Federico Ciccozzi and
                  Philip Langer and
                  Ernesto Posse},
  editor       = {Anthony Anjorin and
                  Hu{\'{a}}scar Espinoza},
  title        = {Towards Seamless Hybrid Graphical-Textual Modelling for {UML} and
                  Profiles},
  booktitle    = {Modelling Foundations and Applications - 13th European Conference,
                  ECMFA@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10376},
  pages        = {20--33},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61482-3\_2},
  doi          = {10.1007/978-3-319-61482-3\_2},
  timestamp    = {Fri, 20 Nov 2020 13:14:49 +0100},
  biburl       = {https://dblp.org/rec/conf/ecmdafa/AddaziCLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/PosseD16,
  author       = {Ernesto Posse and
                  Juergen Dingel},
  title        = {An executable formal semantics for {UML-RT}},
  journal      = {Softw. Syst. Model.},
  volume       = {15},
  number       = {1},
  pages        = {179--217},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10270-014-0399-z},
  doi          = {10.1007/S10270-014-0399-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/PosseD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/Posse15,
  author       = {Ernesto Posse},
  editor       = {Francis Bordeleau and
                  Jean{-}Michel Bruel and
                  Juergen Dingel and
                  Sebastien Gerard and
                  Sebastian Voss},
  title        = {PapyrusRT: Modelling and Code Generation (Invited Presentation)},
  booktitle    = {Proceedings of the International Workshop on Open Source Software
                  for Model Driven Engineering co-located with {ACM/IEEE} 18th International
                  Conference on Model Driven Engineering Languages and Systems {(MODELS}
                  2015), Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1541},
  pages        = {54--63},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1541/OSS4MDE\_2015\_invited3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Posse15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/PosseD14,
  author       = {Ernesto Posse and
                  J{\"{u}}rgen Dingel},
  editor       = {Julien Delange and
                  Peter H. Feiler},
  title        = {Contract-Based Specification and Analysis of {AADL} Models},
  booktitle    = {Proceedings of the First International Workshop on Architecture Centric
                  Virtual Integration co-located with the 17th International Conference
                  on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014,
                  Valencia, Spain, September 29, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1233},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/PosseD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/SaifanDBP11,
  author       = {Ahmad A. Saifan and
                  J{\"{u}}rgen Dingel and
                  Jeremy S. Bradbury and
                  Ernesto Posse},
  title        = {Implementing and Evaluating a Runtime Conformance Checker for Mobile
                  Agent Systems},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
  pages        = {269--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICST.2011.62},
  doi          = {10.1109/ICST.2011.62},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SaifanDBP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bmfa/DingelPPRZ10,
  author       = {J{\"{u}}rgen Dingel and
                  Eyrak Paen and
                  Ernesto Posse and
                  Rezoanoor (Ruben) Rahman and
                  Karolina Zurowska},
  editor       = {Mehmet Aksit and
                  Ekkart Kindler and
                  Ella E. Roubtsova and
                  Ashley T. McNeile},
  title        = {Definition and implementation of a semantic mapping for {UML-RT} using
                  a timed pi-calculus},
  booktitle    = {Proceedings of the Second International Workshop on Behaviour Modelling:
                  Foundation and Applications, Paris, France, June 14, 2010},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1811147.1811148},
  doi          = {10.1145/1811147.1811148},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bmfa/DingelPPRZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsrt/PosseD10,
  author       = {Ernesto Posse and
                  J{\"{u}}rgen Dingel},
  editor       = {Stephen John Turner and
                  David J. Roberts},
  title        = {Kiltera: {A} Language for Timed, Event-Driven, Mobile and Distributed
                  Simulation},
  booktitle    = {{DS-RT} '10 Proceedings of the 2010 {IEEE/ACM} 14th International
                  Symposium on Distributed Simulation and Real Time Applications, Fairfax,
                  Virginia, USA, 17-20 October 2010},
  pages        = {87--96},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DS-RT.2010.19},
  doi          = {10.1109/DS-RT.2010.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/PosseD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/PosseD10,
  author       = {Ernesto Posse and
                  J{\"{u}}rgen Dingel},
  editor       = {John Hatcliff and
                  Elena Zucca},
  title        = {Theory and Implementation of a Real-Time Extension to the \emph{pi}-Calculus},
  booktitle    = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
                  June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6117},
  pages        = {125--139},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13464-7\_11},
  doi          = {10.1007/978-3-642-13464-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PosseD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/SaifanPD09,
  author       = {Ahmad A. Saifan and
                  Ernesto Posse and
                  J{\"{u}}rgen Dingel},
  editor       = {Ganesh Gopalakrishnan and
                  Eitan Farchi and
                  Eric Mercer},
  title        = {Run-time conformance checking of mobile and distributed systems using
                  executable models},
  booktitle    = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
                  USA, July 19-20, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1639622.1639623},
  doi          = {10.1145/1639622.1639623},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SaifanPD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/LiangDDP08,
  author       = {Hongzhi Liang and
                  Zinovy Diskin and
                  J{\"{u}}rgen Dingel and
                  Ernesto Posse},
  editor       = {Krzysztof Czarnecki and
                  Ileana Ober and
                  Jean{-}Michel Bruel and
                  Axel Uhl and
                  Markus V{\"{o}}lter},
  title        = {A General Approach for Scenario Integration},
  booktitle    = {Model Driven Engineering Languages and Systems, 11th International
                  Conference, MoDELS 2008, Toulouse, France, September 28 - October
                  3, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5301},
  pages        = {204--218},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87875-9\_15},
  doi          = {10.1007/978-3-540-87875-9\_15},
  timestamp    = {Fri, 30 Dec 2022 23:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/models/LiangDDP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/anss/PosseV07,
  author       = {Ernesto Posse and
                  Hans Vangheluwe},
  title        = {Kiltera: {A} Simulation Language for Timed, Dynamic Structure Systems},
  booktitle    = {Proceedings 40th Annual Simulation Symposium {(ANSS-40} 2007), 26-28
                  March 2007, Norfolk, Virginia, {USA}},
  pages        = {293--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ANSS.2007.25},
  doi          = {10.1109/ANSS.2007.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/anss/PosseV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/PosseV07,
  author       = {Miriam Zia and
                  Ernesto Posse and
                  Hans Vangheluwe},
  editor       = {Joaquim Filipe and
                  Boris Shishkov and
                  Markus Helfert},
  title        = {Addressing Security Requirements Through Multi-Formalism Modelling
                  and Model Transformation},
  booktitle    = {{ICSOFT} 2007, Proceedings of the Second International Conference
                  on Software and Data Technologies, Volume SE, Barcelona, Spain, July
                  22-25, 2007},
  pages        = {129--137},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Tue, 01 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/PosseV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.