Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/eceasst/eceasst35.bht:"
@article{DBLP:journals/eceasst/AdetoyeP10, author = {Adedayo Oyelakin Adetoye and Nikolaos Papanikolaou}, title = {Static Analysis of Information Release in Interactive Programs}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.544}, doi = {10.14279/TUJ.ECEASST.35.544}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/AdetoyeP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/AlbertiGPRR10, author = {Francesco Alberti and Silvio Ghilardi and Elena Pagani and Silvio Ranise and Gian Paolo Rossi}, title = {Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.543}, doi = {10.14279/TUJ.ECEASST.35.543}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/AlbertiGPRR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BendispostoLR10, author = {Jens Bendisposto and Michael Leuschel and Markus Roggenbach}, title = {Avocs2010 Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.673.688}, doi = {10.14279/TUJ.ECEASST.35.673.688}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BendispostoLR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/Evans10, author = {Neil Evans}, title = {Integrating Formal Methods with Informal Digital Hardware Development}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.546}, doi = {10.14279/TUJ.ECEASST.35.546}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/Evans10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/FeliuJT10, author = {Marco A. Feli{\'{u}} and Christophe Joubert and Fernando Tarin}, title = {Evaluation Strategies for Datalog-based Points-To Analysis}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.545}, doi = {10.14279/TUJ.ECEASST.35.545}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/FeliuJT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/JamesR10, author = {Phillip James and Markus Roggenbach}, title = {Automatically Verifying Railway Interlockings using SAT-based Model Checking}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.547}, doi = {10.14279/TUJ.ECEASST.35.547}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/JamesR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/KozyuraRWW10, author = {Vitaly Kozyura and Andreas Roth and Sebastian Wieczorek and Wei Wei}, title = {Checking Consistency Between Message Choreographies And Their Implementation Models}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.566}, doi = {10.14279/TUJ.ECEASST.35.566}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/KozyuraRWW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/RiponM10, author = {Shamim Ripon and Alice Miller}, title = {Verification of Symmetry Detection using {PVS}}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.555}, doi = {10.14279/TUJ.ECEASST.35.555}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/RiponM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/RosaMQ10, author = {Cristian Daniel Rosa and Stephan Merz and Martin Quinson}, title = {A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.562}, doi = {10.14279/TUJ.ECEASST.35.562}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/RosaMQ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/TounsiMM10, author = {Mohamed Tounsi and Mohamed Mosbah and Dominique M{\'{e}}ry}, title = {Proving Distributed Algorithms by Combining Refinement and Local Computations}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.442}, doi = {10.14279/TUJ.ECEASST.35.442}, timestamp = {Tue, 11 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/TounsiMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/YilmazH10, author = {Emre Yilmaz and Thai Son Hoang}, title = {Development of Rabin's Choice Coordination Algorithm in Event-B}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {35}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.35.548}, doi = {10.14279/TUJ.ECEASST.35.548}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/YilmazH10.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.