Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/forte/0001BP17,
  author       = {Mathias Weber and
                  Annette Bieniusa and
                  Arnd Poetzsch{-}Heffter},
  title        = {{EPTL} - {A} Temporal Logic for Weakly Consistent Systems (Short Paper)},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {236--242},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/AdameitPN17,
  author       = {Manuel Adameit and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Session Types for Link Failures},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/AndreL17,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Shang{-}Wei Lin},
  title        = {Learning-Based Compositional Parameter Synthesis for Event-Recording
                  Automata},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/ArmstrongD17,
  author       = {Alasdair Armstrong and
                  Brijesh Dongol},
  title        = {Modularising Opacity Verification for Hybrid Transactional Memory},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {33--49},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/ArmstrongDD17,
  author       = {Alasdair Armstrong and
                  Brijesh Dongol and
                  Simon Doherty},
  title        = {Proving Opacity via Linearizability: {A} Sound and Complete Method},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/AzadbakhtBB17,
  author       = {Keyvan Azadbakht and
                  Nikolaos Bezirgiannis and
                  Frank S. de Boer},
  title        = {On Futures for Streaming Data in {ABS} - (Short Paper)},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {67--73},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/BordenabeMMR17,
  author       = {Nicol{\'{a}}s E. Bordenabe and
                  Annabelle McIver and
                  Carroll Morgan and
                  Tahiry M. Rabehaja},
  title        = {Reasoning About Distributed Secrets},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {156--170},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/CanoAP17,
  author       = {Mauricio Cano and
                  Jaime Arias and
                  Jorge A. P{\'{e}}rez},
  title        = {Session-Based Concurrency, Reactively},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {74--91},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/Cruz-FilipeM17,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi},
  title        = {Procedural Choreographic Programming},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/DerrickS17,
  author       = {John Derrick and
                  Graeme Smith},
  title        = {An Observational Approach to Defining Linearizability on Weak Memory
                  Models},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/GibsonKM17,
  author       = {J. Paul Gibson and
                  Souad Kherroubi and
                  Dominique M{\'{e}}ry},
  title        = {Applying a Dependency Mechanism for Voting Protocol Models Using Event-B},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/LanotteMT17,
  author       = {Ruggero Lanotte and
                  Massimo Merro and
                  Simone Tini},
  title        = {Weak Simulation Quasimetric in a Gossip Scenario},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {139--155},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/MaltitzDC17,
  author       = {Marcel von Maltitz and
                  Cornelius Diekmann and
                  Georg Carle},
  title        = {Privacy Assessment Using Static Taint Analysis (Tool Paper)},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {225--235},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/Montesi17,
  author       = {Fabrizio Montesi},
  title        = {Classical Higher-Order Processes - (Short Paper)},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {171--178},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/ParrowWBE17,
  author       = {Joachim Parrow and
                  Tjark Weber and
                  Johannes Borgstr{\"{o}}m and
                  Lars{-}Henrik Eriksson},
  title        = {Weak Nominal Modal Logic},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/PreoteasaDT17,
  author       = {Viorel Preoteasa and
                  Iulia Dragomir and
                  Stavros Tripakis},
  title        = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {194--209},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/forte/VijzelaarF17,
  author       = {Stefan J. J. Vijzelaar and
                  Wan J. Fokkink},
  title        = {Creating B{\"{u}}chi Automata for Multi-valued Model Checking},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {2017}
}

@proceedings{DBLP:conf/forte/2017,
  editor       = {Ahmed Bouajjani and
                  Alexandra Silva},
  title        = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
                  as Part of the 12th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
                  June 19-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  publisher    = {Springer},
  year         = {2017}
}