Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/bmfa:"
download as .bib file
@proceedings{DBLP:conf/bmfa/2014s,
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21912-7},
doi = {10.1007/978-3-319-21912-7},
isbn = {978-3-319-21911-0},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/2014s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/AbedSAK14,
author = {Wisam Al Abed and
Matthias Sch{\"{o}}ttle and
Abir Ayed and
J{\"{o}}rg Kienzle},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol
Models},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {250--278},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_10},
doi = {10.1007/978-3-319-21912-7\_10},
timestamp = {Sat, 19 Oct 2019 20:12:40 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/AbedSAK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/El-SaberB14,
author = {Nissreen A. S. El{-}Saber and
Artur Boronat},
title = {{BPMN} Formalization and Verification using Maude},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630769},
doi = {10.1145/2630768.2630769},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/El-SaberB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/GogollaHHS14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Matthias Sedlmeier},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Modeling Behavior with Interaction Diagrams in a {UML} and {OCL} Tool},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {31--58},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_2},
doi = {10.1007/978-3-319-21912-7\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/GogollaHHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/GogollaHHSN14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Matthias Sedlmeier and
Quang Dung Nguyen},
title = {Behavior Modeling with Interaction Diagrams in a {UML} and {OCL} Tool},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630772},
doi = {10.1145/2630768.2630772},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/GogollaHHSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/HarelN14,
author = {David Harel and
Shani Nitzan},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Programming Animation Using Behavioral Programming},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {113--132},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_5},
doi = {10.1007/978-3-319-21912-7\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/HarelN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/JepsenK14,
author = {Jesper Jepsen and
Ekkart Kindler},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {The Event Coordination Notation: Behaviour Modelling Beyond Mickey
Mouse},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {133--164},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_6},
doi = {10.1007/978-3-319-21912-7\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/JepsenK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Kilov14,
author = {Haim Kilov},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Business Modelling: Understandable Patterns, Practices, and Tools},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {3--27},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_1},
doi = {10.1007/978-3-319-21912-7\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/Kilov14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/KonersmannG14,
author = {Marco Konersmann and
Michael Goedicke},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Integrating Protocol Contracts with Program Code - {A} Leightweight
Approach for Applied Behaviour Models that Respect Their Execution
Context},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {197--219},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_8},
doi = {10.1007/978-3-319-21912-7\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/KonersmannG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/KonersmannKG14,
author = {Marco Konersmann and
Noyan Kurt and
Michael Goedicke},
title = {Integrating Protocol Contracts with Java Code},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {3},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630771},
doi = {10.1145/2630768.2630771},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/KonersmannKG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/McNeile14,
author = {Ashley T. McNeile},
title = {The Principle of Comprehensive Modelling Applied to Data and Behaviour},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630773},
doi = {10.1145/2630768.2630773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/McNeile14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/McNeileS14,
author = {Ashley T. McNeile and
Nicholas Simons},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Protocol Modelling},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {167--196},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_7},
doi = {10.1007/978-3-319-21912-7\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/McNeileS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Poulin14,
author = {Michael Poulin},
title = {A Task of Behaviour Modelling in Execution Context},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630776},
doi = {10.1145/2630768.2630776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/Poulin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RoubtsovR14,
author = {Serguei A. Roubtsov and
Ella E. Roubtsova},
title = {Implementation of Decision Modules},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630775},
doi = {10.1145/2630768.2630775},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RoubtsovR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RoubtsovR14a,
author = {Serguei A. Roubtsov and
Ella E. Roubtsova},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {Decision Modules in Models and Implementations},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {220--249},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_9},
doi = {10.1007/978-3-319-21912-7\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RoubtsovR14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RoubtsovaM14,
author = {Ella E. Roubtsova and
Vaughan Michell},
title = {Behaviour Models Clarify Definitions of Affordance and Capability},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630774},
doi = {10.1145/2630768.2630774},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RoubtsovaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/ZhangH14,
author = {Gefei Zhang and
Matthias M. H{\"{o}}lzl},
title = {A Set of Metrics for States and Transitions in {UML} State Machines},
booktitle = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
pages = {2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2630768.2630770},
doi = {10.1145/2630768.2630770},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/ZhangH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/ZhangH14a,
author = {Gefei Zhang and
Matthias M. H{\"{o}}lzl},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {A Set of Metrics of Non-locality Complexity in {UML} State Machines},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {59--81},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_3},
doi = {10.1007/978-3-319-21912-7\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/ZhangH14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/ZurowskaD14,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Ella E. Roubtsova and
Ashley T. McNeile and
Ekkart Kindler and
Christian Gerth},
title = {A Customizable Execution Engine for Models of Embedded Systems},
booktitle = {Behavior Modeling - Foundations and Applications, International Workshops,
{BM-FA} 2009-2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6368},
pages = {82--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21912-7\_4},
doi = {10.1007/978-3-319-21912-7\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/ZurowskaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmfa/2014,
title = {Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations
and Applications, {BM-FA} 2014, York, United Kingdom, July 22-22,
2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2630768},
isbn = {978-1-4503-2791-6},
timestamp = {Mon, 10 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/GreenyerF12,
author = {Joel Greenyer and
Jens Frieben},
editor = {Ella E. Roubtsova and
Ekkart Kindler and
Ashley T. McNeile and
Mehmet Aksit},
title = {Consistency checking scenario-based specifications of dynamic systems
by combining simulation and synthesis},
booktitle = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
pages = {2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325276.2325278},
doi = {10.1145/2325276.2325278},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/GreenyerF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Kindler12,
author = {Ekkart Kindler},
editor = {Ella E. Roubtsova and
Ekkart Kindler and
Ashley T. McNeile and
Mehmet Aksit},
title = {The event coordination notation: execution engine and programming
framework},
booktitle = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
pages = {3},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325276.2325279},
doi = {10.1145/2325276.2325279},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/Kindler12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/LaiC12,
author = {Qinan Lai and
Andy Carpenter},
editor = {Ella E. Roubtsova and
Ekkart Kindler and
Ashley T. McNeile and
Mehmet Aksit},
title = {Defining and verifying behaviour of domain specific language with
fUML},
booktitle = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
pages = {1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325276.2325277},
doi = {10.1145/2325276.2325277},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/LaiC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Roubtsova12,
author = {Ella E. Roubtsova},
editor = {Ella E. Roubtsova and
Ekkart Kindler and
Ashley T. McNeile and
Mehmet Aksit},
title = {Motivation modelling for human-service interaction},
booktitle = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
pages = {4},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325276.2325280},
doi = {10.1145/2325276.2325280},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/Roubtsova12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RutleMWL12,
author = {Adrian Rutle and
Wendy MacCaull and
Hao Wang and
Yngve Lamo},
editor = {Ella E. Roubtsova and
Ekkart Kindler and
Ashley T. McNeile and
Mehmet Aksit},
title = {A metamodelling approach to behavioural modelling},
booktitle = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
pages = {5},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325276.2325281},
doi = {10.1145/2325276.2325281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/RutleMWL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmfa/2012,
editor = {Ella E. Roubtsova and
Ekkart Kindler and
Ashley T. McNeile and
Mehmet Aksit},
title = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2325276},
isbn = {978-1-4503-1187-8},
timestamp = {Mon, 10 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/DialloCL11,
author = {Papa Issa Diallo and
Jo{\"{e}}l Champeau and
Vincent Leilde},
title = {An approach for describing concurrency and communication of heterogeneous
systems},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {56--63},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993964},
doi = {10.1145/1993956.1993964},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/DialloCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Kindler11,
author = {Ekkart Kindler},
title = {Integrating behaviour in software models: an event coordination notation
- concepts and prototype},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {41--48},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993962},
doi = {10.1145/1993956.1993962},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/Kindler11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/McNeile11,
author = {Ashley T. McNeile},
title = {Two paradigms of composition},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {25--32},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993960},
doi = {10.1145/1993956.1993960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/McNeile11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/MullerBG11,
author = {Marco M{\"{u}}ller and
Moritz Balz and
Michael Goedicke},
title = {Enriching Java Enterprise interfaces with formal sequential contracts},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {5--11},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993957},
doi = {10.1145/1993956.1993957},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/MullerBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Poulin11,
author = {Michael Poulin},
title = {Collaboration patterns in the {SOA} ecosystem},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {12--16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993958},
doi = {10.1145/1993956.1993958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/Poulin11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RahimW11,
author = {Lukman Ab. Rahim and
Jon Whittle},
title = {Identifying state space reduction techniques from behavioural design
patterns},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {49--55},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993963},
doi = {10.1145/1993956.1993963},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RahimW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/SanchezBR11,
author = {Alejandro Sanchez and
Lu{\'{\i}}s Soares Barbosa and
Daniel Riesco},
title = {A language for behavioural modelling of architectural patterns},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {17--24},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993959},
doi = {10.1145/1993956.1993959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/SanchezBR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/StuurmanK11,
author = {Gijs Stuurman and
Ivan Kurtev},
title = {Action semantics for defining dynamic semantics of modeling languages},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {64--71},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993965},
doi = {10.1145/1993956.1993965},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/StuurmanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/VerheulR11,
author = {Jaco Verheul and
Ella E. Roubtsova},
title = {An executable and changeable reference model for the health insurance
industry},
booktitle = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
pages = {33--40},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993956.1993961},
doi = {10.1145/1993956.1993961},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/VerheulR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmfa/2011,
title = {Proceedings of the Third Workshop on Behavioural Modelling, Birmingham,
United Kingdom, June 6, 2011},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=1993956},
isbn = {978-1-4503-0617-1},
timestamp = {Mon, 10 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/2011.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/bmfa/KessentiniWSB10,
author = {Marouane Kessentini and
Manuel Wimmer and
Houari A. Sahraoui and
Mounir Boukadoum},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {Generating transformation rules from examples for behavioral models},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {2},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811149},
doi = {10.1145/1811147.1811149},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/KessentiniWSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/Kindler10,
author = {Ekkart Kindler},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {Model-based software engineering: the challenges of modelling behaviour},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {4},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811151},
doi = {10.1145/1811147.1811151},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/Kindler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/McNeile10,
author = {Ashley T. McNeile},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {A framework for the semantics of behavioral contracts},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {3},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811150},
doi = {10.1145/1811147.1811150},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmfa/McNeile10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RiccobeneS10,
author = {Elvinia Riccobene and
Patrizia Scandurra},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {An ASM-based executable formal model of service-oriented component
interactions and orchestration},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {5},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811152},
doi = {10.1145/1811147.1811152},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RiccobeneS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RoubtsovaJW10,
author = {Ella E. Roubtsova and
Stef Joosten and
Lex Wedemeijer},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {Behavioural model for a business rules based approach to model services},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811153},
doi = {10.1145/1811147.1811153},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RoubtsovaJW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmfa/2010,
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1811147},
isbn = {978-1-60558-961-9},
timestamp = {Mon, 10 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/2010.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-06-27 05:41 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:
