default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "formal analysis technique"
download as .bib file
@inproceedings{DBLP:conf/isqed/KajaGZLHKPSKE24,
author = {Endri Kaja and
Nicolas Gerlin and
Bihan Zhao and
Daniela Sanchez Lopera and
Jad Al Halabi and
Azam Sher Khan and
Sebastian Prebeck and
Dominik Stoffel and
Wolfgang Kunz and
Wolfgang Ecker},
title = {An Automated Exhaustive Fault Analysis Technique guided by Processor
Formal Verification Methods},
booktitle = {25th International Symposium on Quality Electronic Design, {ISQED}
2024, San Francisco, CA, USA, April 3-5, 2024},
pages = {1--8},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ISQED60706.2024.10528697},
doi = {10.1109/ISQED60706.2024.10528697},
timestamp = {Wed, 05 Jun 2024 21:25:50 +0200},
biburl = {https://dblp.org/rec/conf/isqed/KajaGZLHKPSKE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Sun22a,
author = {Tithnara Nicolas Sun},
title = {Mod{\'{e}}lisation et Analyse Formelle de Mod{\`{e}}les Syst{\`{e}}me
pour les Menaces Persistantes Avanc{\'{e}}es. (Systems Modeling
and Formal Analysis for Advanced Persistent Threats)},
school = {{\'{E}}cole nationale sup{\'{e}}rieure de techniques avanc{\'{e}}es
Bretagne, Brest, France},
year = {2022},
url = {https://tel.archives-ouvertes.fr/tel-03889800},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Sun22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/missaoui2022/DurrschnabelHS22,
author = {Dominik D{\"{u}}rrschnabel and
Tom Hanika and
Maximilian Stubbemann},
editor = {Rokia Missaoui and
L{\'{e}}onard Kwuida and
Talel Abdessalem},
title = {{FCA2VEC:} Embedding Techniques for Formal Concept Analysis},
booktitle = {Complex Data Analytics with Formal Concept Analysis},
pages = {47--74},
publisher = {Springer International Publishing},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93278-7\_3},
doi = {10.1007/978-3-030-93278-7\_3},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/missaoui2022/DurrschnabelHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AbdelghanyT21,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
title = {Cause-Consequence Diagram Reliability Analysis Using Formal Techniques
With Application to Electrical Power Networks},
journal = {{IEEE} Access},
volume = {9},
pages = {23929--23943},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3051968},
doi = {10.1109/ACCESS.2021.3051968},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/AbdelghanyT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BoucheritCHK21,
author = {Ammar Boucherit and
Laura M. Castro and
Osman Hasan and
Abdallah Khababa},
title = {Towards a hybrid formal analysis technique for safety-critical software
architectures},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {10},
number = {2},
pages = {95--119},
year = {2021},
url = {https://doi.org/10.1504/IJCCBS.2021.117993},
doi = {10.1504/IJCCBS.2021.117993},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BoucheritCHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/Karmakar21,
author = {Rahul Karmakar},
editor = {Ajith Abraham and
Niketa Gandhi and
Thomas Hanne and
Tzung{-}Pei Hong and
Tatiane Nogueira Rios and
Weiping Ding},
title = {Formal Verification Techniques: {A} Comparative Analysis for Critical
System Design},
booktitle = {Intelligent Systems Design and Applications - 21st International Conference
on Intelligent Systems Design and Applications {(ISDA} 2021) Held
During December 13-15, 2021},
series = {Lecture Notes in Networks and Systems},
volume = {418},
pages = {93--102},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-96308-8\_9},
doi = {10.1007/978-3-030-96308-8\_9},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isda/Karmakar21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/JungYL20a,
author = {Sejin Jung and
Junbeom Yoo and
Young{-}Jun Lee},
title = {A Software Fault Tree Analysis Technique for Formal Requirement Specifications
of Nuclear Reactor Protection Systems},
journal = {Reliab. Eng. Syst. Saf.},
volume = {203},
pages = {107064},
year = {2020},
url = {https://doi.org/10.1016/j.ress.2020.107064},
doi = {10.1016/J.RESS.2020.107064},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/JungYL20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/Kreinovich20,
author = {Vladik Kreinovich},
editor = {Francisco J. Valverde{-}Albacete and
Martin Trnecka},
title = {Formal Concept Analysis Techniques Can Help in Intelligent Control,
Deep Learning, etc},
booktitle = {Proceedings of the Fifthteenth International Conference on Concept
Lattices and Their Applications, Tallinn, Estonia, June 29-July 1,
2020},
series = {{CEUR} Workshop Proceedings},
volume = {2668},
pages = {9--17},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2668/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:10 +0100},
biburl = {https://dblp.org/rec/conf/cla/Kreinovich20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmhi/Li20,
author = {Guoxuan Li},
title = {DeepFCA: Matching Biomedical Ontologies Using Formal Concept Analysis
Embedding Techniques},
booktitle = {{ICMHI} 2020: 4th International Conference on Medical and Health Informatics,
Kamakura City, Japan, August, 2020},
pages = {259--265},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3418094.3418121},
doi = {10.1145/3418094.3418121},
timestamp = {Wed, 03 Nov 2021 13:17:13 +0100},
biburl = {https://dblp.org/rec/conf/icmhi/Li20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlis/AzibiMM20,
author = {Hayfa Azibi and
Nida Meddouri and
Mondher Maddouri},
editor = {Antonio J. Tall{\'{o}}n{-}Ballesteros and
Chi{-}Hua Chen},
title = {Survey on Formal Concept Analysis Based Supervised Classification
Techniques},
booktitle = {Machine Learning and Artificial Intelligence - Proceedings of {MLIS}
2020, Virtual Event, October 25-28, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {332},
pages = {21--29},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200762},
doi = {10.3233/FAIA200762},
timestamp = {Wed, 19 May 2021 08:31:37 +0200},
biburl = {https://dblp.org/rec/conf/mlis/AzibiMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/SilvaSV20,
author = {Jos{\'{e}} Reinaldo Silva and
Javier Martinez Silva and
Tiago Stegun Vaquero},
editor = {Mauro Vallati and
Diane E. Kitchin},
title = {Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis},
booktitle = {Knowledge Engineering Tools and Techniques for {AI} Planning},
pages = {47--65},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-38561-3\_3},
doi = {10.1007/978-3-030-38561-3\_3},
timestamp = {Tue, 07 Apr 2020 16:05:28 +0200},
biburl = {https://dblp.org/rec/books/sp/20/SilvaSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Ropertz19,
author = {Thorsten Ropertz},
title = {Design and Analysis of Behavior-Based Systems using Formal Techniques},
school = {Kaiserslautern University of Technology, Germany},
year = {2019},
url = {http://www.dr.hut-verlag.de/978-3-8439-4189-1.html},
urn = {urn:nbn:de:101:1-2019110122333976290827},
isbn = {978-3-8439-4189-1},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Ropertz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/RamosNBF19,
author = {J. Guadalupe Ramos and
Isela Navarro{-}Alatorre and
Georgina Flores Becerra and
Omar Flores{-}S{\'{a}}nchez},
title = {A Formal Technique for Text Summarization from Web Pages by using
Latent Semantic Analysis},
journal = {Res. Comput. Sci.},
volume = {148},
number = {3},
pages = {11--22},
year = {2019},
url = {https://rcs.cic.ipn.mx/2019\_148\_3/A\%20Formal\%20Technique\%20for\%20Text\%20Summarization\%20from\%20Web\%20Pages\%20by\%20using\%20Latent\%20Semantic\%20Analysis.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/RamosNBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HarrisonFDCMMW19,
author = {Michael D. Harrison and
Leo Freitas and
Michael J. Drinnan and
Jos{\'{e}} Creissac Campos and
Paolo Masci and
Costanzo di Maria and
Michael Whitaker},
title = {Formal techniques in the safety analysis of software components of
a new dialysis machine},
journal = {Sci. Comput. Program.},
volume = {175},
pages = {17--34},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.02.003},
doi = {10.1016/J.SCICO.2019.02.003},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HarrisonFDCMMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarrellBFDDYM19,
author = {Marie Farrell and
Matthew Bradbury and
Michael Fisher and
Louise A. Dennis and
Clare Dixon and
Hu Yuan and
Carsten Maple},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Using Threat Analysis Techniques to Guide Formal Verification: {A}
Case Study of Cooperative Awareness Messages},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {471--490},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_25},
doi = {10.1007/978-3-030-30446-1\_25},
timestamp = {Sat, 30 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FarrellBFDDYM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11496,
author = {Dominik D{\"{u}}rrschnabel and
Tom Hanika and
Maximilian Stubbemann},
title = {{FCA2VEC:} Embedding Techniques for Formal Concept Analysis},
journal = {CoRR},
volume = {abs/1911.11496},
year = {2019},
url = {http://arxiv.org/abs/1911.11496},
eprinttype = {arXiv},
eprint = {1911.11496},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-11496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/AffeldtCR18,
author = {Reynald Affeldt and
Cyril Cohen and
Damien Rouhling},
title = {Formalization Techniques for Asymptotic Reasoning in Classical Analysis},
journal = {J. Formaliz. Reason.},
volume = {11},
number = {1},
pages = {43--76},
year = {2018},
url = {https://doi.org/10.6092/issn.1972-5787/8124},
doi = {10.6092/ISSN.1972-5787/8124},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/AffeldtCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/Kester16,
author = {Quist{-}Aphetsi Kester},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Sanjay Misra and
Ana Maria A. C. Rocha and
Carmelo Maria Torre and
David Taniar and
Bernady O. Apduhan and
Elena N. Stankova and
Shangguang Wang},
title = {Using Formal Concepts Analysis Techniques in Mining Data from Criminal
Databases and Profiling Events Based on Factors to Understand Criminal
Environments},
booktitle = {Computational Science and Its Applications - {ICCSA} 2016 - 16th International
Conference, Beijing, China, July 4-7, 2016, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {9790},
pages = {480--496},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42092-9\_37},
doi = {10.1007/978-3-319-42092-9\_37},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/Kester16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Latella16,
author = {Diego Latella},
editor = {Maurice H. ter Beek and
Michele Loreti},
title = {On Formal Methods for Collective Adaptive System Engineering. \{Scalable
Approximated, Spatial\} Analysis Techniques. Extended Abstract},
booktitle = {Proceedings of the Workshop on FORmal methods for the quantitative
Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
Austria, 8 July 2016},
series = {{EPTCS}},
volume = {217},
pages = {53--61},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.217.7},
doi = {10.4204/EPTCS.217.7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Latella16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MotallebiA15,
author = {Hassan Motallebi and
Mohammad Abdollahi Azgomi},
title = {Parametric multisingular hybrid Petri nets: Formal definitions and
analysis techniques},
journal = {Inf. Comput.},
volume = {241},
pages = {321--348},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2014.11.001},
doi = {10.1016/J.IC.2014.11.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MotallebiA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Heyman13,
author = {Thomas Heyman},
title = {A Formal Analysis Technique for Secure Software Architectures (Een
formele analysetechniek voor veilige softwarearchitecturen)},
school = {Katholieke Universiteit Leuven, Belgium},
year = {2013},
url = {https://lirias.kuleuven.be/handle/123456789/389365},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Heyman13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/PoelmansKID13,
author = {Jonas Poelmans and
Sergei O. Kuznetsov and
Dmitry I. Ignatov and
Guido Dedene},
title = {Formal Concept Analysis in knowledge processing: {A} survey on models
and techniques},
journal = {Expert Syst. Appl.},
volume = {40},
number = {16},
pages = {6601--6623},
year = {2013},
url = {https://doi.org/10.1016/j.eswa.2013.05.007},
doi = {10.1016/J.ESWA.2013.05.007},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/PoelmansKID13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/Brughmans13,
author = {Tom Brughmans},
title = {Networks of networks: a citation network analysis of the adoption,
use, and adaptation of formal network techniques in archaeology},
journal = {Lit. Linguistic Comput.},
volume = {28},
number = {4},
pages = {538--562},
year = {2013},
url = {https://doi.org/10.1093/llc/fqt048},
doi = {10.1093/LLC/FQT048},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/Brughmans13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/KybartasV13,
author = {Ben Anderson Kybartas and
Clark Verbrugge},
editor = {Marc Cavazza and
Mei Si and
Alexander Zook},
title = {Integrating Formal Qualitative Analysis Techniques within a Procedural
Narrative Generation System},
booktitle = {Intelligent Narrative Technologies VI, Papers from the 2013 {AIIDE}
Workshop, Boston, MA, USA, October 14-15, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-21}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE13/paper/view/7437},
timestamp = {Tue, 08 Feb 2022 18:32:58 +0100},
biburl = {https://dblp.org/rec/conf/aiide/KybartasV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GayN13,
author = {Simon J. Gay and
Rajagopal Nagarajan},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Techniques for Formal Modelling and Analysis of Quantum Systems},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {264--276},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_18},
doi = {10.1007/978-3-642-38164-5\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GayN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Testylier12,
author = {Romain Testylier},
title = {Techniques pour l'analyse formelle de syst{\`{e}}mes dynamiques non-lin{\'{e}}aires.
(Techniques for the formal analysis of non-linear dynamical systems)},
school = {Grenoble Alpes University, France},
year = {2012},
url = {https://tel.archives-ouvertes.fr/tel-00910330},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Testylier12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/ChenBY11,
author = {Rung{-}Ching Chen and
Cho Tsan Bau and
Chun{-}Ju Yeh},
title = {Merging domain ontologies based on the WordNet system and Fuzzy Formal
Concept Analysis techniques},
journal = {Appl. Soft Comput.},
volume = {11},
number = {2},
pages = {1908--1923},
year = {2011},
url = {https://doi.org/10.1016/j.asoc.2010.06.007},
doi = {10.1016/J.ASOC.2010.06.007},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/ChenBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/11/Schneider11,
author = {Steve A. Schneider},
editor = {V{\'{e}}ronique Cortier and
Steve Kremer},
title = {Security Analysis using Rank Functions in {CSP}},
booktitle = {Formal Models and Techniques for Analyzing Security Protocols},
series = {Cryptology and Information Security Series},
volume = {5},
pages = {258--276},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-714-7-258},
doi = {10.3233/978-1-60750-714-7-258},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ios/11/Schneider11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Cheminod10,
author = {Manuel Cheminod},
title = {Formal techniques for the analysis and verification of security properties
in distributed systems},
school = {Polytechnic University of Turin, Italy},
year = {2010},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=CFI0771930},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Cheminod10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-3629,
author = {Dhouha Grissa and
Sylvie Guillaume and
Engelbert Mephu Nguifo},
title = {Combining Clustering techniques and Formal Concept Analysis to characterize
Interestingness Measures},
journal = {CoRR},
volume = {abs/1008.3629},
year = {2010},
url = {http://arxiv.org/abs/1008.3629},
eprinttype = {arXiv},
eprint = {1008.3629},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-3629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KoutnyR09,
author = {Maciej Koutny and
Brian Randell},
title = {Structured Occurrence Nets: {A} Formalism for Aiding System Failure
Prevention and Analysis Techniques},
journal = {Fundam. Informaticae},
volume = {97},
number = {1-2},
pages = {41--91},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-192},
doi = {10.3233/FI-2009-192},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KoutnyR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CacheraP09,
author = {David Cachera and
David Pichardie},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {Comparing Techniques for Certified Static Analysis},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {111--115},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CacheraP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Koenen-Dresp2008,
author = {Alexander Koenen{-}Dresp},
title = {Applying the engineering statechart formalism to the evaluation of
soft real-time in operating systems: a use case tailored modeling
and analysis technique},
school = {Saarland University},
year = {2008},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2009/2076/},
urn = {urn:nbn:de:bsz:291-scidok-20766},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Koenen-Dresp2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmsec/WilliamsTHC08,
author = {David M. Williams and
Helen Treharne and
Anthony T. S. Ho and
Chris Culnane},
editor = {Andrew D. Ker and
Jana Dittmann and
Jessica J. Fridrich},
title = {Using a formal analysis technique to identify an unbinding attack
on a buyer-seller watermarking protocol},
booktitle = {Proceedings of the 10th workshop on Multimedia {\&} Security,
MM{\&}Sec 2008, Oxford, UK, September 22-23, 2008},
pages = {205--214},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411328.1411363},
doi = {10.1145/1411328.1411363},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmsec/WilliamsTHC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HillstonK07,
author = {Jane Hillston and
Le{\"{\i}}la Kloul},
title = {Formal techniques for performance analysis: blending {SAN} and {PEPA}},
journal = {Formal Aspects Comput.},
volume = {19},
number = {1},
pages = {3--33},
year = {2007},
url = {https://doi.org/10.1007/s00165-006-0011-6},
doi = {10.1007/S00165-006-0011-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HillstonK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/BakhshiBFH07,
author = {Rena Bakhshi and
Fran{\c{c}}ois Bonnet and
Wan J. Fokkink and
Boudewijn R. Haverkort},
title = {Formal analysis techniques for gossiping protocols},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {41},
number = {5},
pages = {28--36},
year = {2007},
url = {https://doi.org/10.1145/1317379.1317385},
doi = {10.1145/1317379.1317385},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/BakhshiBFH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SchmidtP07,
author = {Rodrigo Schmidt and
Fernando Pedone},
editor = {Eduardo Tovar and
Philippas Tsigas and
Hac{\`{e}}ne Fouchal},
title = {A Formal Analysis of the Deferred Update Technique},
booktitle = {Principles of Distributed Systems, 11th International Conference,
{OPODIS} 2007, Guadeloupe, French West Indies, December 17-20, 2007.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4878},
pages = {16--30},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77096-1\_2},
doi = {10.1007/978-3-540-77096-1\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/SchmidtP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SchmidtP07,
author = {Rodrigo Schmidt and
Fernando Pedone},
editor = {Andrzej Pelc},
title = {A Formal Analysis of the Deferred Update Technique},
booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
Lemesos, Cyprus, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4731},
pages = {499--500},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75142-7\_44},
doi = {10.1007/978-3-540-75142-7\_44},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/SchmidtP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/MasteikaS06,
author = {Saulius Masteika and
Rimvydas Simutis},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Stock Trading System Based on Formalized Technical Analysis and Ranking
Technique},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3994},
pages = {332--339},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758549\_49},
doi = {10.1007/11758549\_49},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/MasteikaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/JaiswalIKT06,
author = {Sharad Jaiswal and
Gianluca Iannaccone and
James F. Kurose and
Donald F. Towsley},
title = {Formal Analysis of Passive Measurement Inference Techniques},
booktitle = {{INFOCOM} 2006. 25th {IEEE} International Conference on Computer Communications,
Joint Conference of the {IEEE} Computer and Communications Societies,
23-29 April 2006, Barcelona, Catalunya, Spain},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/INFOCOM.2006.282},
doi = {10.1109/INFOCOM.2006.282},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/JaiswalIKT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/McIverF06,
author = {A. K. McIver and
Ansgar Fehnker},
title = {Formal Techniques for the Analysis of Wireless Networks},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.51},
doi = {10.1109/ISOLA.2006.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/McIverF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ZhangYC06,
author = {Zhuopeng Zhang and
Hongji Yang and
William C. Chu},
title = {Extracting Reusable Object-Oriented Legacy Code Segments with Combined
Formal Concept Analysis and Slicing Techniques for Service Integration},
booktitle = {Sixth International Conference on Quality Software {(QSIC} 2006),
26-28 October 2006, Beijing, China},
pages = {385--392},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QSIC.2006.29},
doi = {10.1109/QSIC.2006.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/ZhangYC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Nocco05,
author = {Sergio Nocco},
title = {Symbolic reachability analysis techniques within the fields of formal
verification and automated scheduling},
school = {Polytechnic University of Turin, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0018667},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Nocco05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KooSYCY05,
author = {Seo Ryong Koo and
Poong{-}Hyun Seong and
Junbeom Yoo and
Sung Deok Cha and
Yeong Jae Yoo},
title = {An effective technique for the software requirements analysis of {NPP}
safety-critical systems, based on software inspection, requirements
traceability, and formal specification},
journal = {Reliab. Eng. Syst. Saf.},
volume = {89},
number = {3},
pages = {248--260},
year = {2005},
url = {https://doi.org/10.1016/j.ress.2004.08.024},
doi = {10.1016/J.RESS.2004.08.024},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KooSYCY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2004,
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100824},
doi = {10.1007/B100824},
isbn = {3-540-23167-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LeeYC02,
author = {Ji{-}Hyun Lee and
Cheol{-}Jung Yoo and
Ok{-}Bae Chang},
title = {Analysis of object interaction during the enterprise javabeans lifecycle
using formal specification technique},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {6},
pages = {82--92},
year = {2002},
url = {https://doi.org/10.1145/571727.571738},
doi = {10.1145/571727.571738},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LeeYC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pris/OommenR02,
author = {B. John Oommen and
Lu{\'{\i}}s G. Rueda},
editor = {Jos{\'{e}} Manuel I{\~{n}}esta Quereda and
Luisa Mic{\'{o}}},
title = {Using Pattern Recognition Techniques to Derive a Formal Analysis of
Why Heuristics Functions Work},
booktitle = {Pattern Recognition in Information Systems, Proceedings of the 2nd
International Workshop on Pattern Recognition in Information Systems,
{PRIS} 2002, In conjunction with {ICEIS} 2002, Ciudad Real, Spain,
April 2002},
pages = {45--58},
publisher = {{ICEIS} Press},
year = {2002},
timestamp = {Fri, 14 Nov 2003 12:29:23 +0100},
biburl = {https://dblp.org/rec/conf/pris/OommenR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Diaz-AgudoG01,
author = {Bel{\'{e}}n D{\'{\i}}az{-}Agudo and
Pedro A. Gonz{\'{a}}lez{-}Calero},
title = {Formal concept analysis as a support technique for {CBR}},
journal = {Knowl. Based Syst.},
volume = {14},
number = {3-4},
pages = {163--171},
year = {2001},
url = {https://doi.org/10.1016/S0950-7051(01)00093-4},
doi = {10.1016/S0950-7051(01)00093-4},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Diaz-AgudoG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/idea/siau2001/LiuDMS01,
author = {Jing Liu and
Jin Song Dong and
Brendan P. Mahony and
Kun Shi},
editor = {Keng Siau and
Terry A. Halpin},
title = {Linking {UML} with Integrated Formal Techniques},
booktitle = {Unified Modeling Language: Systems Analysis, Design and Development
Issues},
pages = {210--223},
publisher = {Idea Group},
year = {2001},
timestamp = {Tue, 06 Aug 2019 10:03:14 +0200},
biburl = {https://dblp.org/rec/books/idea/siau2001/LiuDMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeR00,
author = {Kees M. van Hee and
Hajo A. Reijers},
editor = {Wil M. P. van der Aalst and
J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Using Formal Analysis Techniques in Business Process Redesign},
booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
series = {Lecture Notes in Computer Science},
volume = {1806},
pages = {142--160},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45594-9\_10},
doi = {10.1007/3-540-45594-9\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacis/Smith00,
author = {Neil Smith},
title = {Introducing Formal Qualitative Reasoning Techniques to System Dynamics
Modelling and Analysis},
booktitle = {The Fourth Pacific Asia Conference on Information Systems, {PACIS}
2000, Hong Kong, China, June 1-3, 2000},
pages = {61},
publisher = {AISeL},
year = {2000},
url = {http://aisel.aisnet.org/pacis2000/61},
timestamp = {Sat, 03 Mar 2012 13:54:28 +0100},
biburl = {https://dblp.org/rec/conf/pacis/Smith00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LemosS99,
author = {Rog{\'{e}}rio de Lemos and
Amer Saeed},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Safety Analysis Techniques for Validating Formal Models During Verification},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {58--66},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_6},
doi = {10.1007/3-540-48249-0\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LemosS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SureeratS98,
author = {Saeeiab Sureerat and
Motoshi Saeki},
title = {Integration of Software Analysis and Design Methods with Formal Description
Techniques},
booktitle = {5th Asia-Pacific Software Engineering Conference {(APSEC} '98), 2-4
December 1998, Taipei, Taiwan, {ROC}},
pages = {46--53},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/APSEC.1998.733581},
doi = {10.1109/APSEC.1998.733581},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SureeratS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/Gurgens97,
author = {Sigrid G{\"{u}}rgens},
editor = {Bruce Christianson and
Bruno Crispo and
T. Mark A. Lomas and
Michael Roe},
title = {{SG} Logic- {A} Formal Analysis Technique for Authentication Protocols},
booktitle = {Security Protocols, 5th International Workshop, Paris, France, April
7-9, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1361},
pages = {159--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028167},
doi = {10.1007/BFB0028167},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/spw/Gurgens97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/WieringaS96,
author = {Roel J. Wieringa and
Gunter Saake},
title = {Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of
Formal and Informal Requirements Specification Techniques},
journal = {Requir. Eng.},
volume = {1},
number = {2},
pages = {106--131},
year = {1996},
url = {https://doi.org/10.1007/BF01235905},
doi = {10.1007/BF01235905},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/WieringaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MoreiraC94,
author = {Ana M. D. Moreira and
Robert G. Clark},
editor = {Mario Tokoro and
Remo Pareschi},
title = {Combining Object-Oriented Analysis and Formal Description Techniques},
booktitle = {Object-Oriented Programming, Proceedings of the 8th European Conference,
{ECOOP} '94, Bologna, Italy, July 4-8, 1994},
series = {Lecture Notes in Computer Science},
volume = {821},
pages = {344--364},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0052191},
doi = {10.1007/BFB0052191},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MoreiraC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SemmensFD92,
author = {Lesley Semmens and
Robert B. France and
Thomas W. G. Docker},
title = {Integrated Structured Analysis and Formal Specification Techniques},
journal = {Comput. J.},
volume = {35},
number = {6},
pages = {600--610},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.6.600},
doi = {10.1093/COMJNL/35.6.600},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/SemmensFD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/GaarderS91,
author = {Klaus Gaarder and
Einar Snekkenes},
title = {Applying a Formal Analysis Technique to the {CCITT} {X.509} Strong
Two-Way Authentication Protocol},
journal = {J. Cryptol.},
volume = {3},
number = {2},
pages = {81--98},
year = {1991},
url = {https://doi.org/10.1007/BF00196790},
doi = {10.1007/BF00196790},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/GaarderS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Jeremaes90,
author = {P. Jeremaes},
editor = {Dan Diaper and
David J. Gilmore and
Gilbert Cockton and
Brian Shackel},
title = {Formal analysis of co-operative problem solving dialogues: Tools and
techniques},
booktitle = {Human-Computer Interaction, {INTERACT} '90, Proceedings of the {IFIP}
{TC13} Third Interantional Conference on Human-Computer Interaction,
Cambridge, UK, 27-31 August, 1990},
pages = {155--161},
publisher = {North-Holland},
year = {1990},
timestamp = {Mon, 07 Jan 2002 11:09:13 +0100},
biburl = {https://dblp.org/rec/conf/interact/Jeremaes90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Palmer78,
author = {I. R. Palmer},
editor = {S. Bing Yao and
Shamkant B. Navathe and
Jay{-}Louise Weldon and
Tosiyasu L. Kunii},
title = {Practicalities in Applying a Formal Methodology to Data Analysis},
booktitle = {Data Base Design Techniques {I:} Requirements and Logical Structures,
{NYU} Symposium, New York, USA, May 1978, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {132},
pages = {147--171},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-11214-6\_7},
doi = {10.1007/3-540-11214-6\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/Palmer78.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.
retrieved on 2024-09-21 17:18 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:
