The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/journals/sttt

Publication years (Num. hits)
1997-1998 (28) 1999-2000 (25) 2001 (27) 2002-2003 (46) 2004 (43) 2005 (31) 2006 (47) 2007 (35) 2008 (41) 2009 (38) 2010 (32) 2011 (37) 2012 (37) 2013 (36) 2014 (46) 2015 (46) 2016 (41) 2017 (42) 2018 (40) 2019 (11)
Publication types (Num. hits)
article(729)
Venues (Conferences, Journals, ...)
STTT(729)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 968 occurrences of 485 keywords

Results
Found 729 publication records. Showing 729 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andreas Fellner, Bruno Woltzenlogel Paleo Greedy pebbling for proof space compression. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Stefan Löwe, Philipp Wendler Reliable benchmarking: requirements and solutions. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone From high-level modeling toward efficient and trustworthy circuits. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maxime Routhier, Richard St.-Denis A qualitative assessment of αRby in the perspective of the supervisory control theory. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stanislav Dashevskyi, Daniel Ricardo dos Santos, Fabio Massacci, Antonino Sabetta TestREx: a framework for repeatable exploits. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chunyan Fu, Kougen Zheng Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André What's decidable about parametric timed automata? Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philipp Zech, Michael Felderer, Ruth Breu Knowledge-based security testing of web applications by logic programming. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gervasio Pérez, Sergio Yovine Formal specification and implementation of an automated pattern-based parallel-code generation framework. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling Hybrid automata: from verification to implementation. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Antti Valmari, Walter Vogler Fair testing and stubborn sets. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco Slicing from formal semantics: Chisel - a tool for generic program slicing. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink Spatio-temporal model checking of vehicular movement in public transport systems. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zheng Cheng, Massimo Tisi Slicing ATL model transformations for scalable deductive verification and fault localization. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bardh Hoxha, Adel Dokhanchi, Georgios E. Fainekos Mining parametric temporal logic properties in model-based design for cyber-physical systems. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp Formal methods and automated verification of critical systems. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez High-level frameworks for the specification and verification of scheduling problems. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Julia Rubin Software quality tools and techniques presented in FASE'17. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gudmund Grov, Yuhui Lin The Tinker tool for graphical tactic development. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sven Schneider, Leen Lambers, Fernando Orejas Automated reasoning for attributed graph properties. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wen-ling Huang, Jan Peleska 0001 Model-based testing strategies and their (in)dependence on syntactic model representations. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto Exact finite-state machine identification from scenarios and temporal properties. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Mateescu 0001, José Ignacio Requeno On-the-fly model checking for extended action-based probabilistic operators. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche The role of user requirements in data repository design. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dragan Bosnacki, Anton Wijs Model checking: recent improvements and applications. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau Integrated formal verification of safety-critical software. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Christoph Greulich A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Somsak Vanit-Anunchai Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Alberto Salmerón Integrating river basin DSSs with model checking. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radu Mateescu 0001 Recent advances in interactive and automated analysis. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp Formal methods for transport systems. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Jaco van de Pol Multi-core symbolic bisimulation minimisation. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo Towards formal methods diversity in railways: an experience report with seven frameworks. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif Qualitative and quantitative analysis of safety-critical systems with s#. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer Tactical contract composition for hybrid system component verification. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias Automated workarounds from Java program specifications based on SAT solving. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron Assessing SMT and CLP approaches for workflow nets verification. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji A high-level modeling language for the efficient design, implementation, and testing of Android applications. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien TSTL: the template scripting testing language. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001 Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jingyi Wang, Jun Sun 0001, Qixia Yuan, Jun Pang Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink Coqoon - An IDE for interactive proof development in Coq. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng Software engineering practices and Simulink: bridging the gap. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba Discrete and continuous strategies for timed-arc Petri net games. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens Automated translation of VDM to JML-annotated Java. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nir Piterman Advances in verification presented in TACAS'13. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The first reactive synthesis competition (SYNTCOMP 2014). Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe The landing gear case study: challenges and experiments. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philipp Zech, Philipp Kalb, Michael Felderer, Colin Atkinson 0001, Ruth Breu Model-based regression testing by OCL. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wen Su, Jean-Raymond Abrial Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Steffen The physics of software tools: SWOT analysis and vision. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda Code generation for Event-B. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ciprian Teodorov, Philippe Dhaussy, Luka Leroux Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Güdemann, Manuel Núñez 0001 Preface of the special issue on formal methods in industrial critical systems. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro Handling loops in bounded model checking of C programs via k-induction. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steffen Herbold, Andreas Hoffmann 0001 Model-based testing as a service. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel Validation of the ABZ landing gear system using ProB. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessio Lomuscio, Hongyang Qu 0001, Franco Raimondi MCMAS: an open-source model checker for the verification of multi-agent systems. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran Require, test, and trace IT. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lom-Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, Riccardo Fontanelli, Sergio Di Bona, Davide Guerri, Libero Maesano Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Kamel Tari A correct-by-construction model for asynchronously communicating systems. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tatsuya Abe 0001, Toshiyuki Maeda A general model checking framework for various memory consistency models. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig VerifyThis 2015 - A program verification competition. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron Peled Synthesizing, correcting and improving code, using model checking-based genetic programming. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Jaco van de Pol Sylvan: multi-core framework for decision diagrams. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kangfeng Ye, Jim Woodcock Model checking of state-rich formalism Circus by linking to CSP ‖ B. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers Analyzing execution traces: critical-path analysis and distance analysis. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Richard Banach The landing gear system in multi-machine Hybrid Event-B. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen AutoProof: auto-active functional verification of object-oriented programs. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora Schmidt, Ryan Gardner, Stefan Mitsch, André Platzer A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Variations on parallel explicit emptiness checks for generalized Büchi automata. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steffen Herbold, Patrick Harms, Jens Grabowski Combining usage-based and model-based testing for service-oriented architectures in the industrial practice. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina Flexible SAT-based framework for incremental bounded upgrade checking. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Radu Iosif, Filip Konecný Underapproximation of procedure summaries for integer programs. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bogdan Aman, Gabriel Ciobanu Verification of critical systems described in real-time TiMo. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1M. A. Barcelona, Laura García-Borgoñón, G. López-Nicolás Practical experiences in the usage of MIDAS in the logistics domain. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot Improving the numerical accuracy of programs by automatic transformation. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade Testing real-time systems from compositional symbolic specifications. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv Synthesis of circular compositional program proofs via abduction. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey metaSMT: focus on your application and not on solver integration. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amel Mammar, Régine Laleau Modeling a landing gear system in Event-B. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Cesare Tinelli Some advances in tools and algorithms for the construction and analysis of systems. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Reza Meimandi Parizi, Abdul Azim Abdul Ghani, Sai Peck Lee, Saif ur Rehman Khan RAMBUTANS: automatic AOP-specific test generation tool. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Mohamad Jaber Fully automated runtime enforcement of component-based systems with formal and sound recovery. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski Efficient family-based model checking via variability abstractions. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene Rigorous development process of a safety-critical system: from ASM models to Java code. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli On adaptive experiments for nondeterministic finite state machines. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng Counting dynamically synchronizing processes. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giorgio Delzanno A unified view of parameterized verification of abstract models of broadcast communication. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hervé Ménager, Matús Kalas, Kristoffer Rapacki, Jon C. Ison Using registries to integrate bioinformatics tools and services into workbench environments. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nuno P. Lopes, José Monteiro Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard Efficient model-checking of weighted CTL with upper-bound constraints. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe FDR3: a parallel refinement checker for CSP. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 729 (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