default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicolas Guelfi
@inproceedings{DBLP:conf/models/SousaRG24,
author = {Tiago Sousa and
Beno{\^{\i}}t Ries and
Nicolas Guelfi},
editor = {Manuel Wimmer and
Alexander Egyed and
Beno{\^{\i}}t Combemale and
Marsha Chechik},
title = {Model-Driven Software Product Line Engineering of AI-Based Applications
for Achieving Sustainable Development Goals: Vision Paper},
booktitle = {Proceedings of the {ACM/IEEE} 27th International Conference on Model
Driven Engineering Languages and Systems, {MODELS} Companion 2024,
Linz, Austria, September 22-27, 2024},
pages = {523--527},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652620.3687798},
doi = {10.1145/3652620.3687798},
timestamp = {Mon, 04 Nov 2024 09:52:27 +0100},
biburl = {https://dblp.org/rec/conf/models/SousaRG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-20722,
author = {Tiago Sousa and
Beno{\^{\i}}t Ries and
Nicolas Guelfi},
title = {Formal Verification of Ecosystem Restoration Requirements using {UML}
and Alloy},
journal = {CoRR},
volume = {abs/2405.20722},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.20722},
doi = {10.48550/ARXIV.2405.20722},
eprinttype = {arXiv},
eprint = {2405.20722},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-20722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-06218,
author = {Tiago Sousa and
Beno{\^{\i}}t Ries and
Nicolas Guelfi},
title = {Data Augmentation in Earth Observation: {A} Diffusion Model Approach},
journal = {CoRR},
volume = {abs/2406.06218},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.06218},
doi = {10.48550/ARXIV.2406.06218},
eprinttype = {arXiv},
eprint = {2406.06218},
timestamp = {Sat, 13 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-06218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/JahicGR23,
author = {Benjamin Jahic and
Nicolas Guelfi and
Beno{\^{\i}}t Ries},
title = {{SEMKIS-DSL:} {A} Domain-Specific Language to Support Requirements
Engineering of Datasets and Neural Network Recognition},
journal = {Inf.},
volume = {14},
number = {4},
pages = {213},
year = {2023},
url = {https://doi.org/10.3390/info14040213},
doi = {10.3390/INFO14040213},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/JahicGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/RiesGJ21,
author = {Beno{\^{\i}}t Ries and
Nicolas Guelfi and
Benjamin Jahic},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz and
Richard Soley},
title = {An {MDE} Method for Improving Deep Learning Dataset Requirements Engineering
using Alloy and {UML}},
booktitle = {Proceedings of the 9th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2021, Online Streaming, February
8-10, 2021},
pages = {41--52},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010216600410052},
doi = {10.5220/0010216600410052},
timestamp = {Tue, 07 May 2024 20:13:16 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/RiesGJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esse/JahicGR20,
author = {Benjamin Jahic and
Nicolas Guelfi and
Beno{\^{\i}}t Ries},
title = {Specifying Key-properties to Improve the Recognition Skills of Neural
Networks},
booktitle = {{ESSE} 2020: 2020 European Symposium on Software Engineering, Rome,
Italy, November 6-8, 2020},
pages = {60--71},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3393822.3432332},
doi = {10.1145/3393822.3432332},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esse/JahicGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/BobrovBCGMNS20,
author = {Evgeny Bobrov and
Antonio Bucchiarone and
Alfredo Capozucca and
Nicolas Guelfi and
Manuel Mazzara and
Alexandr Naumchev and
Larisa Safina},
editor = {Antonio Bucchiarone and
Nicola Dragoni and
Schahram Dustdar and
Patricia Lago and
Manuel Mazzara and
Victor Rivera and
Andrey Sadovykh},
title = {DevOps and Its Philosophy: Education Matters!},
booktitle = {Microservices, Science and Engineering},
pages = {349--361},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-31646-4\_14},
doi = {10.1007/978-3-030-31646-4\_14},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/sp/20/BobrovBCGMNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/KhanKG19,
author = {Yasir Imtiaz Khan and
Alexandros Konios and
Nicolas Guelfi},
title = {A Survey of Petri Nets Slicing},
journal = {{ACM} Comput. Surv.},
volume = {51},
number = {5},
pages = {109:1--109:32},
year = {2019},
url = {https://doi.org/10.1145/3241736},
doi = {10.1145/3241736},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/KhanKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/devops-ws/BobrovBCGMM19,
author = {Evgeny Bobrov and
Antonio Bucchiarone and
Alfredo Capozucca and
Nicolas Guelfi and
Manuel Mazzara and
Sergey Masyagin},
editor = {Jean{-}Michel Bruel and
Manuel Mazzara and
Bertrand Meyer},
title = {Teaching DevOps in Academia and Industry: Reflections and Vision},
booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms
of Software Production and Deployment - Second International Workshop,
{DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12055},
pages = {1--14},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-39306-9\_1},
doi = {10.1007/978-3-030-39306-9\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/devops-ws/BobrovBCGMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fisee/CapozuccaG19,
author = {Alfredo Capozucca and
Nicolas Guelfi},
editor = {Jean{-}Michel Bruel and
Alfredo Capozucca and
Manuel Mazzara and
Bertrand Meyer and
Alexandr Naumchev and
Andrey Sadovykh},
title = {Analysing the {SWECOM} Standard for Designing a DevOps Education Programme},
booktitle = {Frontiers in Software Engineering Education - First International
Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {12271},
pages = {133--150},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57663-9\_10},
doi = {10.1007/978-3-030-57663-9\_10},
timestamp = {Mon, 05 Feb 2024 20:35:26 +0100},
biburl = {https://dblp.org/rec/conf/fisee/CapozuccaG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07468,
author = {Evgeny Bobrov and
Antonio Bucchiarone and
Alfredo Capozucca and
Nicolas Guelfi and
Manuel Mazzara and
Sergey Masyagin},
title = {Teaching DevOps in academia and industry: reflections and vision},
journal = {CoRR},
volume = {abs/1903.07468},
year = {2019},
url = {http://arxiv.org/abs/1903.07468},
eprinttype = {arXiv},
eprint = {1903.07468},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02469,
author = {Evgeny Bobrov and
Antonio Bucchiarone and
Alfredo Capozucca and
Nicolas Guelfi and
Manuel Mazzara and
Alexandr Naumchev and
Larisa Safina},
title = {DevOps and its Philosophy : Education Matters!},
journal = {CoRR},
volume = {abs/1904.02469},
year = {2019},
url = {http://arxiv.org/abs/1904.02469},
eprinttype = {arXiv},
eprint = {1904.02469},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Guelfi18,
author = {Nicolas Guelfi},
editor = {Tung Bui},
title = {Please ... . draw me a Software Engineer},
booktitle = {51st Hawaii International Conference on System Sciences, {HICSS} 2018,
Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018},
pages = {1--5},
publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)},
year = {2018},
url = {https://hdl.handle.net/10125/50590},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/Guelfi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/CapozuccaGR18,
author = {Alfredo Capozucca and
Nicolas Guelfi and
Beno{\^{\i}}t Ries},
editor = {Jean{-}Michel Bruel and
Manuel Mazzara and
Bertrand Meyer},
title = {Design of a (Yet Another?) DevOps Course},
booktitle = {Software Engineering Aspects of Continuous Development and New Paradigms
of Software Production and Deployment - First International Workshop,
{DEVOPS} 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11350},
pages = {1--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-06019-0\_1},
doi = {10.1007/978-3-030-06019-0\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/laser/CapozuccaGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/RiesCG18,
author = {Beno{\^{\i}}t Ries and
Alfredo Capozucca and
Nicolas Guelfi},
editor = {David J. Pearce and
Tanja Mayerhofer and
Friedrich Steimann},
title = {Messir: a text-first DSL-based approach for {UML} requirements engineering
(tool demo)},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2018, Boston, MA, USA, November
05-06, 2018},
pages = {103--107},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276604.3276614},
doi = {10.1145/3276604.3276614},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/RiesCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/GuelfiJR17,
author = {Nicolas Guelfi and
Benjamin Jahic and
Beno{\^{\i}}t Ries},
title = {{TESMA:} Requirements and Design of a Tool for Educational Programs},
journal = {Inf.},
volume = {8},
number = {1},
pages = {37},
year = {2017},
url = {https://doi.org/10.3390/info8010037},
doi = {10.3390/INFO8010037},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/GuelfiJR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Guelfi15,
author = {Nicolas Guelfi},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke and
Harald St{\"{o}}rrle},
title = {Software Engineering and Modeling Education: Problems and Solutions},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'15), including the International Workshop on Petri
Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
satellite event of the conferences: 36th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2015 and 15th International Conference on Application of Concurrency
to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1372},
pages = {17},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1372/paper0.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/Guelfi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KhanG14,
author = {Yasir Imtiaz Khan and
Nicolas Guelfi},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Slicing High-level Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {201--220},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/apn/KhanG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KhanG14a,
author = {Yasir Imtiaz Khan and
Nicolas Guelfi},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke},
title = {{SLAPN} : {A} Tool for Slicing Algebraic Petri Nets},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, co-located with 35th International Conference on Application
and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th
International Conference on Application of Concurrency to System Design
{(ACSD} 2014), Tunis, Tunisia, June 23-24, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1160},
pages = {343--345},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1160/paper24.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/KhanG14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/LiLAGA14,
author = {Zengyang Li and
Peng Liang and
Paris Avgeriou and
Nicolas Guelfi and
Apostolos Ampatzoglou},
editor = {Lionel Seinturier and
Tom{\'{a}}s Bures and
John D. McGregor},
title = {An empirical investigation of modularity metrics for indicating architectural
technical debt},
booktitle = {QoSA'14, Proceedings of the 10th International {ACM} {SIGSOFT} Conference
on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul,
Lille, France, June 30 - July 04, 2014},
pages = {119--128},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602576.2602581},
doi = {10.1145/2602576.2602581},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/LiLAGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsse/SaidaneG12,
author = {Ayda Sa{\"{\i}}dane and
Nicolas Guelfi},
title = {{SETER:} Towards Architecture-Model Based Security Engineering},
journal = {Int. J. Secur. Softw. Eng.},
volume = {3},
number = {3},
pages = {23--49},
year = {2012},
url = {https://doi.org/10.4018/jsse.2012070102},
doi = {10.4018/JSSE.2012070102},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsse/SaidaneG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejcs/Guelfi11,
author = {Nicolas Guelfi},
title = {A formal framework for dependability and resilience from a software
engineering perspective},
journal = {Central Eur. J. Comput. Sci.},
volume = {1},
number = {3},
pages = {294--328},
year = {2011},
url = {https://doi.org/10.2478/s13537-011-0025-x},
doi = {10.2478/S13537-011-0025-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cejcs/Guelfi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwp/PruskiGR11,
author = {C{\'{e}}dric Pruski and
Nicolas Guelfi and
Chantal Reynaud},
title = {Adaptive Ontology-Based Web Information Retrieval: The {TARGET} Framework},
journal = {Int. J. Web Portals},
volume = {3},
number = {3},
pages = {41--58},
year = {2011},
url = {https://doi.org/10.4018/jwp.2011070104},
doi = {10.4018/JWP.2011070104},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwp/PruskiGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MussbacherAAABBBCCFFGGIJKKLMMPT11,
author = {Gunter Mussbacher and
Wisam Al Abed and
Omar Alam and
Shaukat Ali and
Antoine Beugnard and
Valentin Bonnet and
Rolv Br{\ae}k and
Alfredo Capozucca and
Betty H. C. Cheng and
Urooj Fatima and
Robert B. France and
Geri Georg and
Nicolas Guelfi and
Paul Istoan and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
J{\"{o}}rg Kienzle and
Jacques Klein and
Jean{-}Baptiste L{\'{e}}zoray and
Somayeh Malakuti and
Ana Moreira and
An Phung{-}Khac and
Lucy J. Troup},
editor = {J{\"{o}}rg Kienzle},
title = {Comparing Six Modeling Approaches},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {217--243},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_22},
doi = {10.1007/978-3-642-29645-1\_22},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/MussbacherAAABBBCCFFGGIJKKLMMPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/SaidaneG11,
author = {Ayda Sa{\"{\i}}dane and
Nicolas Guelfi},
editor = {Pierangela Samarati and
Sara Foresti and
Jiankun Hu and
Giovanni Livraga},
title = {Towards improving security testability of {AADL} architecture models},
booktitle = {5th International Conference on Network and System Security, {NSS}
2011, Milan, Italy, September 6-8, 2011},
pages = {353--357},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICNSS.2011.6060029},
doi = {10.1109/ICNSS.2011.6060029},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/nss/SaidaneG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eis/CapozuccaG10,
author = {Alfredo Capozucca and
Nicolas Guelfi},
title = {Modelling dependable collaborative time-constrained business processes},
journal = {Enterp. Inf. Syst.},
volume = {4},
number = {2},
pages = {153--214},
year = {2010},
url = {https://doi.org/10.1080/17517571003753266},
doi = {10.1080/17517571003753266},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eis/CapozuccaG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/KienzleGM10,
author = {J{\"{o}}rg Kienzle and
Nicolas Guelfi and
Sadaf Mustafiz},
title = {Crisis Management Systems: {A} Case Study for Aspect-Oriented Modeling},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {7},
pages = {1--22},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16086-8\_1},
doi = {10.1007/978-3-642-16086-8\_1},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/KienzleGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/GuelfiPR10,
author = {Nicolas Guelfi and
C{\'{e}}dric Pruski and
Chantal Reynaud},
editor = {Khalil Drira and
Ahmed Hadj Kacem and
Mohamed Jmaiel},
title = {Experimental assessment of the {TARGET} adaptive ontology-based Web
search framework},
booktitle = {{NOTERE} 2010, Annual International Conference on New Technologies
of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings},
pages = {297--302},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/NOTERE.2010.5536622},
doi = {10.1109/NOTERE.2010.5536622},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/notere/GuelfiPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-1551,
author = {Patrizio Pelliccione and
Henry Muccini and
Nicolas Guelfi and
Alexander B. Romanovsky},
title = {An Introduction to Software Engineering and Fault Tolerance},
journal = {CoRR},
volume = {abs/1011.1551},
year = {2010},
url = {http://arxiv.org/abs/1011.1551},
eprinttype = {arXiv},
eprint = {1011.1551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-1551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CapozuccaGPRZ09,
author = {Alfredo Capozucca and
Nicolas Guelfi and
Patrizio Pelliccione and
Alexander B. Romanovsky and
Avelino Francisco Zorzo},
title = {Frameworks for designing and implementing dependable systems using
Coordinated Atomic Actions: {A} comparative study},
journal = {J. Syst. Softw.},
volume = {82},
number = {2},
pages = {207--228},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2008.05.038},
doi = {10.1016/J.JSS.2008.05.038},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CapozuccaGPRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CapozuccaG09,
author = {Alfredo Capozucca and
Nicolas Guelfi},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Designing reliable real-time concurrent object-oriented software systems},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1996--1997},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529726},
doi = {10.1145/1529282.1529726},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CapozuccaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/GallinaGK09,
author = {Barbara Gallina and
Nicolas Guelfi and
Pierre Kelsen},
editor = {Vera Werneck and
Karin K. Breitman},
title = {Towards an Alloy Formal Model for Flexible Advanced Transactional
Model Development},
booktitle = {33rd Annual {IEEE} Software Engineering Workshop, {SEW} 2009, Sk{\"{o}}vde,
Sweden, 13-14 October, 2009},
pages = {94--103},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEW.2009.13},
doi = {10.1109/SEW.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/GallinaGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BerlizevG09,
author = {Andrey Berlizev and
Nicolas Guelfi},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Fault Tolerance Requirements Analysis Using Deviations in the {CORRECT}
Development Process},
booktitle = {Methods, Models and Tools for Fault Tolerance},
series = {Lecture Notes in Computer Science},
volume = {5454},
pages = {275--296},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00867-2\_13},
doi = {10.1007/978-3-642-00867-2\_13},
timestamp = {Sun, 02 Jun 2019 20:42:25 +0200},
biburl = {https://dblp.org/rec/series/lncs/BerlizevG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/GuelfiMPR08,
author = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Special issue: Engineering Fault Tolerant Systems},
journal = {Comput. Syst. Sci. Eng.},
volume = {23},
number = {5},
year = {2008},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csse/GuelfiMPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/BalbastroCG08,
author = {Florencia Balbastro and
Alfredo Capozucca and
Nicolas Guelfi},
title = {Analysis and framework-based design of a fault-tolerant web information
system for m-health},
journal = {Serv. Oriented Comput. Appl.},
volume = {2},
number = {2-3},
pages = {111--144},
year = {2008},
url = {https://doi.org/10.1007/s11761-008-0026-3},
doi = {10.1007/S11761-008-0026-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/BalbastroCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SilveiraGBPSW08,
author = {Marcos Da Silveira and
Nicolas Guelfi and
Jerry{-}David Baldacchino and
Pierre Plumer and
Marc Seil and
Anke Wienecke},
editor = {Lu{\'{\i}}s Azevedo and
Ana Rita Londral},
title = {A Survey of Interoperability in E-Health Systems - The European Approach},
booktitle = {Proceedings of the First International Conference on Health Informatics,
{HEALTHINF} 2008, Funchal, Madeira, Portugal, January 28-31, 2008,
Volume 1},
pages = {172--175},
publisher = {{INSTICC} - Institute for Systems and Technologies of Information,
Control and Communication},
year = {2008},
timestamp = {Thu, 10 Apr 2008 15:34:45 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SilveiraGBPSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SilveiraG08,
author = {Marcos Da Silveira and
Nicolas Guelfi},
editor = {Lu{\'{\i}}s Azevedo and
Ana Rita Londral},
title = {Exploiting Service Oriented Architectures for the Design of E-Health
Systems},
booktitle = {Proceedings of the First International Conference on Health Informatics,
{HEALTHINF} 2008, Funchal, Madeira, Portugal, January 28-31, 2008,
Volume 2},
pages = {219--224},
publisher = {{INSTICC} - Institute for Systems and Technologies of Information,
Control and Communication},
year = {2008},
timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SilveiraG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GallinaG08,
author = {Barbara Gallina and
Nicolas Guelfi},
title = {A Product Line Perspective for Quality Reuse of Development Frameworks
for Distributed Transactional Applications},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {739--744},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.32},
doi = {10.1109/COMPSAC.2008.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GallinaG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BerlizevG08,
author = {Andrey Berlizev and
Nicolas Guelfi},
editor = {Ivica Crnkovic and
Jerzy R. Nawrocki},
title = {Correct analysis for embedded system modeling: an outcome of east-west
scientific cooperation},
booktitle = {Proceedings of the 2008 International Workshop on Software Engineering
in East and South Europe, {SEESE} '08, Leipzig, Germany, May 13, 2008},
pages = {23--30},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370868.1370873},
doi = {10.1145/1370868.1370873},
timestamp = {Wed, 26 Jan 2022 13:24:04 +0100},
biburl = {https://dblp.org/rec/conf/icse/BerlizevG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/GallinaG08,
author = {Barbara Gallina and
Nicolas Guelfi},
title = {{SPLACID:} An SPL-Oriented, ACTA-Based, Language for Reusing (Varying)
{ACID} Properties},
booktitle = {32nd Annual {IEEE} Software Engineering Workshop, {SEW} 2008, Kassandra,
Greece, October 15-16, 2008},
pages = {115--124},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEW.2008.15},
doi = {10.1109/SEW.2008.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/GallinaG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PerrouinKGJ08,
author = {Gilles Perrouin and
Jacques Klein and
Nicolas Guelfi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
title = {Reconciling Automation and Flexibility in Product Derivation},
booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
Limerick, Ireland, September 8-12, 2008, Proceedings},
pages = {339--348},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SPLC.2008.38},
doi = {10.1109/SPLC.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/PerrouinKGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2008,
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-60558-275-7},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SerugendoFRG08,
author = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald and
Alexander B. Romanovsky and
Nicolas Guelfi},
editor = {Kirstie L. Bellman and
Michael G. Hinchey and
Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Rolf P. W{\"{u}}rtz},
title = {A Generic Framework for the Engineering of Self-Adaptive and Self-Organising
Systems},
booktitle = {Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08141},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1563/},
timestamp = {Thu, 10 Jun 2021 13:02:08 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SerugendoFRG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GuelfiR08,
author = {Nicolas Guelfi and
Beno{\^{\i}}t Ries},
title = {{SESAME:} {A} Model-Driven Test Selection Process for Safety-Critical
Embedded Systems},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/sesame-a-model-driven-test-selection-process-for-safety-critical-embedded-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GuelfiR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BalbastroCG07,
author = {Florencia Balbastro and
Alfredo Capozucca and
Nicolas Guelfi},
title = {On the Integration of Mobility in a Fault-Tolerant e-Health Web Information
System},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), Workshops Proceedings, Volume 2, May 21-23,
2007, Niagara Falls, Canada},
pages = {629--634},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINAW.2007.270},
doi = {10.1109/AINAW.2007.270},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/BalbastroCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-ic/GuelfiPR07,
author = {Nicolas Guelfi and
C{\'{e}}dric Pruski and
Chantal Reynaud},
editor = {Francky Trichet},
title = {Les ontologies pour la recherche cibl{\'{e}}e d'information sur
le Web : une utilisation et extension d'OWL pour l'expansion de requ{\^{e}}tes},
booktitle = {{IC} 2007: Ing{\'{e}}nierie des connaissances 2007 (Proceedings
of the 18th French Knowledge Engineering Conference), Grenoble, France,
July 4-6, 2007},
pages = {61--73},
publisher = {Cepadues},
year = {2007},
url = {http://www.irit.fr/GRACQ/article.php3?id\_article=227},
timestamp = {Fri, 16 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/f-ic/GuelfiPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GallinaGR07,
author = {Barbara Gallina and
Nicolas Guelfi and
Alexander B. Romanovsky},
title = {Coordinated Atomic Actions for Dependable Distributed Systems: the
Current State in Concepts, Semantics and Verification Means},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {29--38},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.10},
doi = {10.1109/ISSRE.2007.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GallinaGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/GallinaG07,
author = {Barbara Gallina and
Nicolas Guelfi},
editor = {Peter Sawyer and
Barbara Paech and
Patrick Heymans},
title = {A Template for Requirement Elicitation of Dependable Product Lines},
booktitle = {Requirements Engineering: Foundation for Software Quality, 13th International
Working Conference, {REFSQ} 2007, Trondheim, Norway, June 11-12, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4542},
pages = {63--77},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73031-6\_5},
doi = {10.1007/978-3-540-73031-6\_5},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/refsq/GallinaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/GuelfiP07,
author = {Nicolas Guelfi and
Gilles Perrouin},
editor = {Peter Sawyer and
Barbara Paech and
Patrick Heymans},
title = {A Flexible Requirements Analysis Approach for Software Product Lines},
booktitle = {Requirements Engineering: Foundation for Software Quality, 13th International
Working Conference, {REFSQ} 2007, Trondheim, Norway, June 11-12, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4542},
pages = {78--92},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73031-6\_6},
doi = {10.1007/978-3-540-73031-6\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refsq/GuelfiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SerugendoFRG07,
author = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald and
Alexander B. Romanovsky and
Nicolas Guelfi},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {A metadata-based architectural model for dynamically resilient systems},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {566--572},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244132},
doi = {10.1145/1244002.1244132},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SerugendoFRG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GuelfiPR07,
author = {Nicolas Guelfi and
C{\'{e}}dric Pruski and
Chantal Reynaud},
editor = {Liming Chen and
Philippe Cudr{\'{e}}{-}Mauroux and
Peter Haase and
Andreas Hotho and
Ernie Ong},
title = {Understanding Supporting Ontology Evolution by Observing the {WWW}
Conference},
booktitle = {Proceedings of the First International Workshop on Emergent Semantics
and Ontology Evolution, {ESOE} 2007, co-located with {ISWC} 2007 +
{ASWC} 2007, Busan, Korea, November 12th, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {292},
pages = {19--32},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-292/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GuelfiPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuelfiMPR07,
author = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {{EFTS} 2007: the 2nd international workshop on engineering fault tolerant
systems},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {617--618},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287728},
doi = {10.1145/1287624.1287728},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuelfiMPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rise/2006,
editor = {Nicolas Guelfi and
Didier Buchs},
title = {Rapid Integration of Software Engineering Techniques, Third International
Workshop, {RISE} 2006, Geneva, Switzerland, September 13-15, 2006.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4401},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71876-5},
doi = {10.1007/978-3-540-71876-5},
isbn = {978-3-540-71875-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rise/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007efts,
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems,
{EFTS} 2007, Dubrovnik, Croatia, September 4, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316550},
doi = {10.1145/1316550},
isbn = {978-1-59593-725-4},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2007efts.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdim/GuelfiP06,
author = {Nicolas Guelfi and
C{\'{e}}dric Pruski},
title = {On the Use of Ontologies for an Optimal Representation and Exploration
of the Web},
journal = {J. Digit. Inf. Manag.},
volume = {4},
number = {3},
pages = {159--168},
year = {2006},
url = {http://www.dirf.org/jdim/abstractv4i3.htm\#01},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdim/GuelfiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CapozuccaGPRZ06,
author = {Alfredo Capozucca and
Nicolas Guelfi and
Patrizio Pelliccione and
Alexander B. Romanovsky and
Avelino F. Zorzo},
title = {{CAA-DRIP:} a framework for implementing Coordinated Atomic Actions},
booktitle = {17th International Symposium on Software Reliability Engineering {(ISSRE}
2006), 7-10 November 2006, Raleigh, North Carolina, {USA}},
pages = {385--394},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISSRE.2006.18},
doi = {10.1109/ISSRE.2006.18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CapozuccaGPRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/CapozuccaGP06,
author = {Alfredo Capozucca and
Nicolas Guelfi and
Patrizio Pelliccione},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {The Fault-Tolerant Insulin Pump Therapy},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {59--79},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_3},
doi = {10.1007/11916246\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rodin/CapozuccaGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GuelfiM06,
author = {Nicolas Guelfi and
Amel Mammar},
editor = {Hisham Haddad},
title = {A formal framework to generate {XPDL} specifications from {UML} activity
diagrams},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1224--1231},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141566},
doi = {10.1145/1141277.1141566},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/GuelfiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2006fo,
editor = {Nacer Boudjlida and
Dong Cheng and
Nicolas Guelfi},
title = {The 18th Conference on Advanced Information Systems Engineering (CAiSE
'06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg,
June 5-9, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {231},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-231},
urn = {urn:nbn:de:0074-231-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/2006fo.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rise/2005,
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11751113},
doi = {10.1007/11751113},
isbn = {3-540-34063-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rise/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/GuelfiM05,
author = {Nicolas Guelfi and
Amel Mammar},
title = {A Formal Semantics of Timed Activity Diagrams and its {PROMELA} Translation},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {283--290},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.7},
doi = {10.1109/APSEC.2005.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/GuelfiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MammarRGSG05,
author = {Amel Mammar and
Sophie Ramel and
Bertrand Gr{\'{e}}goire and
Michael Schmitt and
Nicolas Guelfi},
editor = {Oscar Pastor and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Efficient: {A} Toolset for Building Trusted {B2B} Transactions},
booktitle = {Advanced Information Systems Engineering, 17th International Conference,
CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3520},
pages = {430--445},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11431855\_30},
doi = {10.1007/11431855\_30},
timestamp = {Mon, 18 Jan 2021 08:56:37 +0100},
biburl = {https://dblp.org/rec/conf/caise/MammarRGSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbss/AvgeriouG05,
author = {Paris Avgeriou and
Nicolas Guelfi},
editor = {Xavier Franch and
Daniel Port},
title = {Resolving Architectural Mismatches of {COTS} Through Architectural
Reconciliation},
booktitle = {COTS-Based Software Systems, 4th International Conference, {ICCBSS}
2005, Bilbao, Spain, February 7-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3412},
pages = {248--257},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30587-3\_34},
doi = {10.1007/978-3-540-30587-3\_34},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iccbss/AvgeriouG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fidji/2004,
editor = {Nicolas Guelfi and
Gianna Reggio and
Alexander B. Romanovsky},
title = {Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop,
{FIDJI} 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3409},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b106620},
doi = {10.1007/B106620},
isbn = {3-540-25053-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fidji/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rise/2004,
editor = {Nicolas Guelfi},
title = {Rapid Integration of Software Engineering Techniques, First International
Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
26, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3475},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136153},
doi = {10.1007/B136153},
isbn = {3-540-25812-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rise/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/AvgeriouGR04,
author = {Paris Avgeriou and
Nicolas Guelfi and
Reza Razavi},
editor = {Klaus Marquardt and
Dietmar Sch{\"{u}}tz},
title = {A Pattern Language for Documenting Software Architectures},
booktitle = {Proceedings of the 9th European Conference on Pattern Languages of
Programms (EuroPLoP '2004), Irsee, Germany, July 7-11, 2004},
pages = {673--694},
publisher = {{UVK} - Universitaetsverlag Konstanz},
year = {2004},
url = {http://hillside.net/europlop/HillsideEurope/Papers/EuroPLoP2004/2004\_AvgeriouEtAl\_APatternLanguage.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/AvgeriouGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmas/RazaviPG04,
author = {Reza Razavi and
Jean{-}Fran{\c{c}}ois Perrot and
Nicolas Guelfi},
editor = {Toru Ishida and
Les Gasser and
Hideyuki Nakashima},
title = {Adaptive Modeling: An Approach and a Method for Implementing Adaptive
Agents},
booktitle = {Massively Multi-Agent Systems I, First International Workshop, {MMAS}
2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3446},
pages = {136--148},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11512073\_10},
doi = {10.1007/11512073\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/mmas/RazaviPG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/GuelfiCR04,
author = {Nicolas Guelfi and
Guillaume Le Cousin and
Beno{\^{\i}}t Ries},
editor = {Robert Meersman and
Zahir Tari and
Angelo Corsaro},
title = {Engineering of Dependable Complex Business Processes Using {UML} and
Coordinated Atomic Actions},
booktitle = {On the Move to Meaningful Internet Systems 2004: {OTM} 2004 Workshops:
{OTM} Confederated International Workshops and Posters, GADA, JTRES,
MIOS, WORM, WOSE, PhDS, and {INTEROP} 2004, Agia Napa, Cyprus, October
25-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3292},
pages = {468--482},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30470-8\_61},
doi = {10.1007/978-3-540-30470-8\_61},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/GuelfiCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AvgeriouGM04,
author = {Paris Avgeriou and
Nicolas Guelfi and
Nenad Medvidovic},
editor = {Nuno Jardim Nunes and
Bran Selic and
Alberto Rodrigues da Silva and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {Software Architecture Description and {UML}},
booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3297},
pages = {23--32},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31797-5\_3},
doi = {10.1007/978-3-540-31797-5\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/AvgeriouGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AvgeriouGP05,
author = {Paris Avgeriou and
Nicolas Guelfi and
Gilles Perrouin},
editor = {Reiko Heckel and
Tom Mens},
title = {Evolution Through Architectural Reconciliation},
booktitle = {Proceedings of the Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions, SETra@ICGT 2004, Rome,
Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {3},
pages = {165--181},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.042},
doi = {10.1016/J.ENTCS.2004.08.042},
timestamp = {Mon, 12 Dec 2022 14:43:05 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AvgeriouGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fidji/2003,
editor = {Nicolas Guelfi and
Egidio Astesiano and
Gianna Reggio},
title = {Scientific Engineering of Distributed Java Applications, Third International
Workshop, {FIDJI} 2003, Luxembourg-Kirchberg, Luxembourg, November
27-28, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2952},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95352},
doi = {10.1007/B95352},
isbn = {3-540-21091-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fidji/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swste/GuelfiRS03,
author = {Nicolas Guelfi and
Beno{\^{\i}}t Ries and
Paul Sterges},
title = {{MEDAL:} {A} {CASE} Tool Extension for Model-Driven Software Engineering},
booktitle = {2003 {IEEE} International Conference on Software - Science, Technology
and Engineering (SwSTE 2003), 4-5 November 2003, Herzelia, Israel},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SWSTE.2003.1245422},
doi = {10.1109/SWSTE.2003.1245422},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swste/GuelfiRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fidji/2002,
editor = {Nicolas Guelfi and
Egidio Astesiano and
Gianna Reggio},
title = {Scientific Engineering for Distributed Java Applications, International
Workshop, {FIDJI} 2002, Luxembourg-Kirchberg, Luxembourg, November
28-29, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2604},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36520-6},
doi = {10.1007/3-540-36520-6},
isbn = {3-540-00679-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fidji/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SerugendoMBG02,
author = {Giovanna Di Marzo Serugendo and
Dino Mandrioli and
Didier Buchs and
Nicolas Guelfi},
editor = {Javier Esparza and
Charles Lakos},
title = {Real-Time Synchronised Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {142--162},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_10},
doi = {10.1007/3-540-48068-4\_10},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/SerugendoMBG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cooppn/BibersteinBG01,
author = {O. Biberstein and
Didier Buchs and
Nicolas Guelfi},
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {Object-Oriented Nets with Algebraic Specifications: The {CO-OPN/2}
Formalism},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
pages = {73--130},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0\_3},
doi = {10.1007/3-540-45397-0\_3},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/BibersteinBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BuchsG00,
author = {Didier Buchs and
Nicolas Guelfi},
title = {A Formal Specification Framework for Object-Oriented Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {7},
pages = {635--652},
year = {2000},
url = {https://doi.org/10.1109/32.859532},
doi = {10.1109/32.859532},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BuchsG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doa/VachonGR00,
author = {Julie Vachon and
Nicolas Guelfi and
Alexander B. Romanovsky},
title = {Using {COALA} to Develop a Distributed Object-Based Application},
booktitle = {International Symposium on Distributed Objects and Applications, {DOA}
2000, Antwerp, Belgium, September 21-23, 2000},
pages = {195--208},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/DOA.2000.874191},
doi = {10.1109/DOA.2000.874191},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doa/VachonGR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SerugendoGRZ99,
author = {Giovanna Di Marzo Serugendo and
Nicolas Guelfi and
Alexander B. Romanovsky and
Avelino F. Zorzo},
title = {Formal Development and Validation of Java Dependable Distributed Systems},
booktitle = {5th International Conference on Engineering of Complex Computer Systems
{(ICECCS} '99), October 18-22, 1999, Las Vegas, NV, {USA}},
pages = {98--108},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICECCS.1999.802854},
doi = {10.1109/ICECCS.1999.802854},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SerugendoGRZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SerugendoG98,
author = {Giovanna Di Marzo Serugendo and
Nicolas Guelfi},
title = {Using Object-Oriented Algebraic Nets for the Reverse Engineering of
Java Programs: {A} Case Study},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {166--176},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657549},
doi = {10.1109/CSD.1998.657549},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SerugendoG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SerugendoG98,
author = {Giovanna Di Marzo Serugendo and
Nicolas Guelfi},
title = {Formal Development of Java Based Web Parallel Applications},
booktitle = {Thirty-First Annual Hawaii International Conference on System Sciences,
Kohala Coast, Hawaii, USA, January 6-9, 1998},
pages = {604--613},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HICSS.1998.649261},
doi = {10.1109/HICSS.1998.649261},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/SerugendoG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BuchsG93,
author = {Didier Buchs and
Nicolas Guelfi},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {Formal Development of Actor Programs Using Structured Algebraic Petri
Nets},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {353--366},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_28},
doi = {10.1007/3-540-56891-3\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BuchsG93.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.
last updated on 2024-11-05 21:01 CET 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:
