The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1999 (25) 2000 (25) 2002 (22) 2004 (29) 2005 (23) 2007 (34) 2009 (25) 2010 (24) 2012 (25) 2013 (30) 2014 (24) 2016 (34) 2017 (29) 2018 (24)
Publication types (Num. hits)
inproceedings(359) proceedings(14)
Venues (Conferences, Journals, ...)
IFM(373)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 249 occurrences of 167 keywords

Results
Found 373 publication records. Showing 373 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back A Precise Pictorial Language for Array Invariants. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huu-Vu Nguyen, Tayssir Touili Branching Temporal Logic of Calls and Returns for Pushdown Systems. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dimitri Bohlender, Stefan Kowalewski Design and Verification of Restart-Robust Industrial Control Software. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal Analysing AWN-Specifications Using mCRL2 (Extended Abstract). Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick Making Linearizability Compositional for Partially Ordered Executions. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hendrik Simon, Stefan Kowalewski Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eun-Young Kang 0001, Dongrui Mu, Li Huang Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zheng Cheng, Jean-Claude Royer, Massimo Tisi Efficiently Characterizing the Undefined Requests of a Rule-Based System. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruggero Lanotte, Massimo Merro, Simone Tini Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joshua Schmidt, Sebastian Krings, Michael Leuschel Repair and Generation of Formal Models Using Synthesis. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito Resource-Aware Virtually Timed Ambients. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Matt Luckcuck, Michael Fisher 0001 Robotics and Integrated Formal Methods: Necessity Meets Opportunity. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro 0002, Jon Timmis Modelling and Verification for Swarm Robotics. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Kirsten Winter (eds.) Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric Study of Integrating Random and Symbolic Testing for Object-Oriented Software. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Leofante, Erika Ábrahám, Armando Tacchella Task Planning with OMT: An Application to Production Logistics. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eduard Kamburjan, Tzu-Chun Chen Stateful Behavioral Types for Active Objects. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vashti Galpin Formal Modelling of Software Defined Networking. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten Reasoning About JML: Differences Between KeY and OpenJML. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Körner, Michael Leuschel, Jeroen Meijer State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif Modular Verification of Order-Preserving Write-Back Caches. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi Hoare-Style Reasoning from Multiple Contracts. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva BTS: A Tool for Formal Component-Based Development. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hao Wu 0017 MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich SemSlice: Exploiting Relational Verification for Automatic Program Slicing. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuting Chen, Carlo A. Furia Triggerless Happy - Intermediate Verification with a First-Order Prover. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn The VerCors Tool Set: Verification of Parallel and Concurrent Software. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Murat Moran, Dan S. Wallach Verification of STAR-Vote and Evaluation of FDR and ProVerif. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wei Ji, Farn Wang, Peng Wu 0002 Synthesizing Coalitions for Multi-agent Games. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simone Silvetti, Alberto Policriti, Luca Bortolussi An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ajay Krishna 0001, Pascal Poizat, Gwen Salaün VBPMN: Automated Verification of BPMN Processes (Tool Paper). Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin Transient and Steady-State Statistical Analysis for Discrete Event Simulators. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Baxter, Ana Cavalcanti Algebraic Compilation of Safety-Critical Java Bytecode. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fahrurrozi Rahman, Juliana Küster Filipe Bowles Formal Verification of CNL Health Recommendations. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sven Linker Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mark Utting, David J. Pearce, Lindsay Groves Making Whiley Boogie! Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dominic Steinhöfel, Nathan Wasser A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Barbara Kordy, Wojciech Widel How Well Can I Secure My System? Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Ribeiro 0002, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis Modelling and Verification of Timed Robotic Controllers. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea Analysis of Synchronisations in Stateful Active Objects. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl Generalised Test Tables: A Practical Specification Language for Reactive Systems. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nadia Polikarpova, Steve Schneider (eds.) Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Florian Frohn, Jürgen Giesl Complexity Analysis for Java with AProVE. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Krings, Michael Leuschel SMT Solvers for Validation of B and Event-B Models. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrii Kovalov, Juliana Küster Filipe Bowles Avoiding Medication Conflicts for Patients with Multimorbidities. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost Probabilistic Formal Analysis of App Usage to Inform Redesign. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield Symbolic Reachability Analysis of B Through ProB and LTSmin. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer A Component-Based Approach to Hybrid Systems Safety Verification. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz Monitoring Multi-threaded Component-Based Systems. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Juan Rodríguez-Hortalá Temporal Random Testing for Spark Streaming. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Ameri, Carlo A. Furia Why Just Boogie? - Translating Between Intermediate Verification Languages. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olaf Owe Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Viorel Preoteasa Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Prehofer Property Preservation for Extension Patterns of State Transition Diagrams. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim Towards a Thread-Local Proof Technique for Starvation Freedom. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Hentschel 0002, Reiner Hähnle, Richard Bubel Can Formal Methods Improve the Efficiency of Code Reviews? Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sascha Fendrich, Gerald Lüttgen A Generalised Theory of Interface Automata, Component Compatibility and Error. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Kovács Symbolic Computation and Automated Reasoning for Program Analysis. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings A Formal Model of the Safety-Critical Java Level 2 Paradigm. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bjørnar Luteberget, Christian Johansen, Martin Steffen Rule-Based Consistency Checking of Railway Infrastructure Designs. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Marieke Huisman (eds.) Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dániel Darvas, István Majzik, Enrique Blanco Viñuela Formal Verification of Safety PLC Based Control Software. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber 0001 Perspectives of Model Transformation Reuse. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Combining Static Analysis and Testing for Deadlock Detection. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephan Barth 0001 Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wei Chen, David Aspinall 0001, Andrew D. Gordon, Charles A. Sutton, Igor Muttik On Robust Malware Classifiers by Verifying Unwanted Behaviours. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ferruccio Damiani, Michael Lienhardt On Type Checking Delta-Oriented Product Lines. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Renáta Hodován, Ákos Kiss 0001 Fuzzing JavaScript Engine APIs. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ian Cassar, Adrian Francalanza On Implementing a Monitor-Oriented Programming Framework for Actor Systems. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lubos Korenciak, Vojtech Rehák, Adrian Farmadin Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Petra van den Bos, Rick Smetsers, Frits W. Vaandrager Enhancing Automata Learning by Log-Based Metrics. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco Towards a Formal Semantics-Based Technique for Interprocedural Slicing. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Hentschel 0002, Stefan Käsdorf, Reiner Hähnle, Richard Bubel An Interactive Verification Tool Meets an IDE. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho Model-Checking Circus State-Rich Specifications. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Barbara Kordy, Marc Pouly, Patrick Schweitzer A Probabilistic Framework for Security Scenarios with Dependent Actions. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, James Noble 0001 How to Break the Bank: Semantics of Capability Policies. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson Formal Security Analysis of the MaCAN Protocol. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki Code Generation for Event-B. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe A Hybrid Analysis for Security Protocols with State. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo Modeling UML Template Classes with FoCaLiZe. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema Integrating Software and Hardware Verification. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 373 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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