Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nuno Amálio
@article{DBLP:journals/ese/AmalioBK20,
author = {Nuno Am{\'{a}}lio and
Lionel C. Briand and
Pierre Kelsen},
title = {An experimental scrutiny of visual design modelling: {VCL} up against
{UML+OCL}},
journal = {Empir. Softw. Eng.},
volume = {25},
number = {2},
pages = {1205--1258},
year = {2020},
url = {https://doi.org/10.1007/s10664-019-09784-9},
doi = {10.1007/S10664-019-09784-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/AmalioBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AmalioPCW16,
author = {Nuno Am{\'{a}}lio and
Richard John Payne and
Ana Cavalcanti and
Jim Woodcock},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Checking SysML Models for Co-simulation},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {450--465},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_28},
doi = {10.1007/978-3-319-47846-3\_28},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AmalioPCW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CavalcantiWA16,
author = {Ana Cavalcanti and
Jim Woodcock and
Nuno Am{\'{a}}lio},
editor = {Augusto Sampaio and
Farn Wang},
title = {Behavioural Models for {FMI} Co-simulations},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9965},
pages = {255--273},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46750-4\_15},
doi = {10.1007/978-3-319-46750-4\_15},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/CavalcantiWA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AmalioG15,
author = {Nuno Am{\'{a}}lio and
Christian Glodt},
title = {A tool for visual and formal modelling of software designs},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {52--79},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.002},
doi = {10.1016/J.SCICO.2014.05.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AmalioG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmalioLG15,
author = {Nuno Am{\'{a}}lio and
Juan de Lara and
Esther Guerra},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Fragmenta: {A} theory of fragmentation for {MDE}},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338241},
doi = {10.1109/MODELS.2015.7338241},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/AmalioLG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1305-6114,
author = {Nuno Am{\'{a}}lio},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Relaxing Behavioural Inheritance},
booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013,
Turku, Finland, 11th June 2013},
series = {{EPTCS}},
volume = {115},
pages = {68--83},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.115.5},
doi = {10.4204/EPTCS.115.5},
timestamp = {Sun, 25 Jul 2021 11:39:08 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-6114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/LeemansA12,
author = {J{\'{e}}r{\^{o}}me Leemans and
Nuno Am{\'{a}}lio},
editor = {Martin Erwig and
Gem Stapleton and
Gennaro Costagliola},
title = {Modelling a cardiac pacemaker visually and formally},
booktitle = {2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012},
pages = {257--258},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VLHCC.2012.6344542},
doi = {10.1109/VLHCC.2012.6344542},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/vl/LeemansA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/TobiasRA12,
author = {Eric Tobias and
Eric Ras and
Nuno Am{\'{a}}lio},
editor = {Martin Erwig and
Gem Stapleton and
Gennaro Costagliola},
title = {Suitability of visual modelling languages for modelling tangible user
interface applications},
booktitle = {2012 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2012, Innsbruck, Austria, September 30 - October 4, 2012},
pages = {269--270},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VLHCC.2012.6344548},
doi = {10.1109/VLHCC.2012.6344548},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vl/TobiasRA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/AlferezACFKKKMMRZ11,
author = {Mauricio Alf{\'{e}}rez and
Nuno Am{\'{a}}lio and
Selim Ciraci and
Franck Fleurey and
J{\"{o}}rg Kienzle and
Jacques Klein and
Max E. Kramer and
S{\'{e}}bastien Mosser and
Gunter Mussbacher and
Ella E. Roubtsova and
Gefei Zhang},
editor = {Robert B. France and
Jochen Malte K{\"{u}}ster and
Behzad Bordbar and
Richard F. Paige},
title = {Aspect-Oriented Model Development at Different Levels of Abstraction},
booktitle = {Modelling Foundations and Applications - 7th European Conference,
{ECMFA} 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6698},
pages = {361--376},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21470-7\_25},
doi = {10.1007/978-3-642-21470-7\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/AlferezACFKKKMMRZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AmalioGK11,
author = {Nuno Am{\'{a}}lio and
Christian Glodt and
Pierre Kelsen},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Building {VCL} Models and Automatically Generating {Z} Specifications
from Them},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {149--153},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_13},
doi = {10.1007/978-3-642-21437-0\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AmalioGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmalioGPK11,
author = {Nuno Am{\'{a}}lio and
Christian Glodt and
Frederico Pinto and
Pierre Kelsen},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Norbert Pataki},
title = {Platform-Variant Applications from Platform-Independent Models via
Templates},
booktitle = {Proceedings of the Third Workshop on Generative Technologies, WGT@ETAPS
2011, Saarbr{\"{u}}cken, Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {3},
pages = {3--25},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.035},
doi = {10.1016/J.ENTCS.2011.11.035},
timestamp = {Fri, 10 Mar 2023 14:00:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmalioGPK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/AmalioKMG10,
author = {Nuno Am{\'{a}}lio and
Pierre Kelsen and
Qin Ma and
Christian Glodt},
title = {Using {VCL} as an Aspect-Oriented Approach to Requirements Modelling},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {7},
pages = {151--199},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16086-8\_5},
doi = {10.1007/978-3-642-16086-8\_5},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/AmalioKMG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AmalioKM10,
author = {Nuno Am{\'{a}}lio and
Pierre Kelsen and
Qin Ma},
editor = {Ilia Bider and
Terry A. Halpin and
John Krogstie and
Selmin Nurcan and
Erik Proper and
Rainer Schmidt and
Roland Ukor},
title = {Specifying Structural Properties and Their Constraints Formally, Visually
and Modularly Using {VCL}},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 11th
International Workshop, {BPMDS} 2010, and 15th International Conference,
{EMMSAD} 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {50},
pages = {261--273},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13051-9\_22},
doi = {10.1007/978-3-642-13051-9\_22},
timestamp = {Thu, 02 Aug 2018 16:14:14 +0200},
biburl = {https://dblp.org/rec/conf/caise/AmalioKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/AmalioK10,
author = {Nuno Am{\'{a}}lio and
Pierre Kelsen},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {VCL, a Visual Language for Modelling Software Systems Formally},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {282--284},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_29},
doi = {10.1007/978-3-642-14600-8\_29},
timestamp = {Sun, 02 Jun 2019 21:20:33 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/AmalioK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/AmalioK10,
author = {Nuno Am{\'{a}}lio and
Pierre Kelsen},
editor = {Christopher D. Hundhausen and
Emmanuel Pietriga and
Paloma D{\'{\i}}az and
Mary Beth Rosson},
title = {Modular Design by Contract Visually and Formally Using {VCL}},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2010, Legan{\'{e}}s-Madrid, Spain, 21-25 September 2010,
Proceedings},
pages = {227--234},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VLHCC.2010.39},
doi = {10.1109/VLHCC.2010.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/AmalioK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GlodtKAM09,
author = {Christian Glodt and
Pierre Kelsen and
Nuno Am{\'{a}}lio and
Qin Ma},
editor = {Shail Arora and
Gary T. Leavens},
title = {From platform-independent to platform-specific models using democles},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {795--796},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640019},
doi = {10.1145/1639950.1640019},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GlodtKAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securware/Amalio09,
author = {Nuno Am{\'{a}}lio},
editor = {Rainer Falk and
Wilson Goudalo and
Eric Y. Chen and
Reijo Savola and
Manuela Popescu},
title = {Suspicion-Driven Formal Analysis of Security Requirements},
booktitle = {The Third International Conference on Emerging Security Information,
Systems and Technologies, {SECURWARE} 2009, 18-23 June 2009, Athens/Glyfada,
Greece},
pages = {217--223},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SECURWARE.2009.40},
doi = {10.1109/SECURWARE.2009.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/securware/Amalio09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AmalioPZ08,
author = {Nuno Am{\'{a}}lio and
Fiona Polack and
Jing Zhang},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Autonomous Objects and Bottom-Up Composition in {ZOO} Applied to a
Case Study of Biological Reactivity},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {323--336},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_25},
doi = {10.1007/978-3-540-87603-8\_25},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/AmalioPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securware/AmalioS08,
author = {Nuno Am{\'{a}}lio and
George Spanoudakis},
editor = {Andr{\'{e}} Cotton and
Oana Dini and
Antonio Fernandez G{\'{o}}mez{-}Skarmeta and
Mihaela Ion and
Manuela Popescu and
Masaru Takesue},
title = {From Monitoring Templates to Security Monitoring and Threat Detection},
booktitle = {Proceedings of the Second International Conference on Emerging Security
Information, Systems and Technologies, {SECURWARE} 2008, August 25-31,
2008, Cap Esterel, France},
pages = {185--192},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SECURWARE.2008.58},
doi = {10.1109/SECURWARE.2008.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/securware/AmalioS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AmalioSP06,
author = {Nuno Am{\'{a}}lio and
Susan Stepney and
Fiona Polack},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {A Formal Template Language Enabling Metaproof},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {252--267},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_18},
doi = {10.1007/11813040\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AmalioSP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AmalioPS05,
author = {Nuno Am{\'{a}}lio and
Fiona Polack and
Susan Stepney},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {An Object-Oriented Structuring for {Z} Based on Views},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {262--278},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_16},
doi = {10.1007/11415787\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/AmalioPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmalioPS07,
author = {Nuno Am{\'{a}}lio and
Fiona Polack and
Susan Stepney},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Frameworks Based on Templates for Rigorous Model-driven Development},
booktitle = {Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated
Formal Methods Conference, {IFM} Doctoral Symposium 2005, Eindhoven,
The Netherlands, November 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {191},
pages = {3--23},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.09.002},
doi = {10.1016/J.ENTCS.2007.09.002},
timestamp = {Thu, 09 Feb 2023 10:31:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmalioPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AmalioSP04,
author = {Nuno Am{\'{a}}lio and
Susan Stepney and
Fiona Polack},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Formal Proof from {UML} Models},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {418--433},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_35},
doi = {10.1007/978-3-540-30482-1\_35},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AmalioSP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AmalioP03,
author = {Nuno Am{\'{a}}lio and
Fiona Polack},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Comparison of Formalisation Approaches of {UML} Class Constructs in
{Z} and Object-Z},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {339--358},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_21},
doi = {10.1007/3-540-44880-2\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/AmalioP03.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.
last updated on 2023-09-27 22:51 CEST 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:
