The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FORTE"( http://dblp.L3S.de/Venues/FORTE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/forte

Publication years (Num. hits)
1988 (28) 1989 (42) 1990 (58) 1991 (41) 1992 (32) 1993 (31) 1994 (43) 1995 (33) 1996 (34) 1997 (36) 1998 (30) 1999 (29) 2000 (26) 2001 (29) 2002 (27) 2003 (28) 2004 (24) 2005 (45) 2006 (34) 2007 (24) 2008 (22) 2014 (19) 2015 (16) 2016 (19) 2017 (18) 2018 (11)
Publication types (Num. hits)
inproceedings(753) proceedings(26)
Venues (Conferences, Journals, ...)
FORTE(779)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 183 occurrences of 149 keywords

Results
Found 779 publication records. Showing 779 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti A Distributed Coordination Infrastructure for Attribute-Based Interaction. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonas Westman, Mattias Nyberg Preserving Contract Satisfiability Under Non-monotonic Composition. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld Information Flow Tracking for Side-Effectful Libraries. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christel Baier, Luís Caires (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laure Petrucci, Jaco van de Pol Parameter Synthesis Algorithms for Parametric Interval Markov Chains. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim Völlinger, Samira Akili On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira A Calculus for Modeling Floating Authorizations. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruggero Lanotte, Massimo Merro, Andrei Munteanu A Modest Security Analysis of Cyber-Physical Systems: A Case Study. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli Applied Choreographies. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi Monotonic Prefix Consistency in Distributed Systems. Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniele Nantes, Jorge A. Pérez Relating Process Languages for Security and Communication Correctness (Extended Abstract). Search on Bibsonomy FORTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan J. J. Vijzelaar, Wan J. Fokkink Creating Büchi Automata for Multi-valued Model Checking. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Weber 0001, Annette Bieniusa, Arnd Poetzsch-Heffter EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1J. Paul Gibson, Souad Kherroubi, Dominique Méry Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Adameit, Kirstin Peters, Uwe Nestmann Session Types for Link Failures. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer On Futures for Streaming Data in ABS - (Short Paper). Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ruggero Lanotte, Massimo Merro, Simone Tini Weak Simulation Quasimetric in a Gossip Scenario. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabrizio Montesi Classical Higher-Order Processes - (Short Paper). Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith An Observational Approach to Defining Linearizability on Weak Memory Models. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Shang-Wei Lin Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alasdair Armstrong, Brijesh Dongol Modularising Opacity Verification for Hybrid Transactional Memory. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Procedural Choreographic Programming. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alasdair Armstrong, Brijesh Dongol, Simon Doherty Proving Opacity via Linearizability: A Sound and Complete Method. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja Reasoning About Distributed Secrets. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Alexandra Silva 0001 (eds.) 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âtel, Switzerland, June 19-22, 2017, Proceedings Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcel von Maltitz, Cornelius Diekmann, Georg Carle Privacy Assessment Using Static Taint Analysis (Tool Paper). Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Cano, Jaime Arias, Jorge A. Pérez Session-Based Concurrency, Reactively. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson Weak Nominal Modal Logic. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Caires, Jorge A. Pérez Multiparty Session Types Within a Canonical Binary Theory, and Beyond. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio Ransomware Steals Your Phone. Formal Methods Rescue It. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlo Spaccasassi, Vasileios Koutavas Type-Based Analysis for Session Inference (Extended Abstract). Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Fabrizio Montesi Choreographies in Practice. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicola Atzei, Massimo Bartoletti Developing Honest Java Programs with Diogenes. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto Playing with Our CAT and Communication-Centric Applications. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ákos Hajdu, Tamás Tóth, András Vörös 0001, István Majzik A Configurable CEGAR Framework with Interpolation-Based Refinements. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Pierre Corbineau, Stéphane Devismes A Framework for Certified Self-Stabilization. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh Multiple Mutation Testing from FSM. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Eric Madelaine, Min Zhang A Theory for the Composition of Concurrent Processes. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster A Type Theory for Robust Failure Handling in Distributed Systems. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Ivan Lanese (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti On the Power of Attribute-Based Communication. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jorge A. Pérez The Challenge of Typed Expressiveness in Concurrency. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse Branching Bisimulation Games. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hugo A. López, Flemming Nielson, Hanne Riis Nielson Enforcing Availability in Failure-Aware Communicating Systems. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu Fencing Programs with Self-Invalidation and Self-Downgrade. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani Simple Isolation for an Actor Abstract Machine. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Padovani, Luca Novara Types for Deadlock-Free Higher-Order Programs. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alex Horn, Daniel Kroening On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ritwika Ghosh, Sayan Mitra A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alex Horn, Daniel Kroening Faster Linearizability Checking via P-Compositionality. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Michael Isard Timely Dataflow: A Model. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann Dynamic Causality in Event Structures. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Anna Philippou Type Checking Privacy Policies in the π-calculus. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ala-Eddine Ben Salem Extending Testing Automata to All LTL. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Stefan Löwe, Philipp Wendler Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kedar S. Namjoshi, Richard J. Trefler Loop Freedom in AODVv2. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu Compliance and Subtyping in Timed Session Types. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Weifeng Wang, Li Jiao Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Mahesh Viswanathan 0001 (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lili Xu, Konstantinos Chatzikokolakis 0001, Huimin Lin Metrics for Differential Privacy in Concurrent Systems. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle Verifying Security Policies Using Host Attributes. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez Efficient and Generalized Decentralized Monitoring of Regular Languages. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Romero-Hernández, David de Frutos-Escrig Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michele Boreale, Francesca Pampaloni Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Vigo, Flemming Nielson, Hanne Riis Nielson Uniform Protection for Multi-exposed Targets. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Souheib Baarir, Alexandre Duret-Lutz Mechanizing the Minimization of Deterministic Generalized Büchi Automata. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres Effectiveness for Input Output Conformance Simulation iocos̱. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter Formal Specification and Verification of CRDTs. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Graf-Brill, Holger Hermanns, Hubert Garavel A Model-Based Certification Framework for the EnergyBus Standard. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz On the Step Branching Time Closure of Free-Choice Petri Nets. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chen Chen 0019, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo A Program Logic for Verifying Secure Routing Protocols. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dániel Darvas, Borja Fernandez Adiego, András Vörös 0001, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez Formal Verification of Complex Properties on PLC Programs. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shuling Wang, Flemming Nielson, Hanne Riis Nielson Denial-of-Service Security Attack in the Continuous-Time World. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Catuscia Palamidessi (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry Verification of a Hierarchical Generic Mutual Exclusion Algorithm. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets
1Qiang Guo 0001, John Derrick, Csaba Hoch Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
1Margus Veanes, Nikolaj Bjørner, Alexander Raschke An SMT Approach to Bounded Reachability Analysis of Model Programs. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Farn Wang, Chih-Hong Cheng Program Repair Suggestions from Graphical State-Transition Specifications. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF state graph, state transition relation, evaluation, graph theory, cost, bisimulation, equivalence, repair
1Ichiro Satoh A Specification Framework for Earth-Friendly Logistics. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau Adapting Petri Nets Reductions to Promela Specifications. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bogdan Aman, Gabriel Ciobanu Timed Mobile Ambients for Network Protocols. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jing Li, Huibiao Zhu, Jifeng He Specifying and Verifying Web Transactions. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo Checking Correctness of Transactional Behaviors. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence
1Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Webel, Reinhard Gotzhein, Joachim Nicolay NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, extension, Coloured Petri Nets, Contract Net Protocol
1Guoqiang Shu, Yating Hsu, David Lee Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fuzz testing, Security Testing, Protocol Synthesis
1David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonathan Bogdoll, Holger Hermanns, Lijun Zhang 0001 An Experimental Evaluation of Probabilistic Simulation. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Núñez 0001, Luis Fernando Llana Díaz A Hierarchy of Equivalences for Probabilistic Processes. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis Distributed Semantics and Implementation for Systems with Interaction and Priority. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 779 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license