The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Formal Asp. Comput."( http://dblp.L3S.de/Venues/Formal_Asp._Comput. )

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

Publication years (Num. hits)
1989 (15) 1990 (16) 1991-1992 (43) 1993 (21) 1994 (37) 1995 (32) 1996 (31) 1997 (24) 1998 (31) 1999 (30) 2000 (36) 2001-2002 (36) 2003 (29) 2004 (27) 2005 (23) 2006 (25) 2007 (30) 2008 (31) 2009 (31) 2010 (32) 2011 (37) 2012 (42) 2013 (37) 2014 (44) 2015 (39) 2016 (40) 2017 (44) 2018 (32) 2019 (16)
Publication types (Num. hits)
article(911)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 882 occurrences of 481 keywords

Results
Found 911 publication records. Showing 911 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mingsheng Ying Toward automatic verification of quantum programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin Automated mutual induction proof in separation logic. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden Consistency-preserving refactoring of refinement structures in Event-B models. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones, Nisansala Yatapanage Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger Battery-aware scheduling in low orbit: the GomX-3 case. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang, Qixia Yuan GPU-accelerated steady-state computation of large probabilistic Boolean networks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Formal reliability analysis of redundancy architectures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Yusuke Kawamoto 0001, Axel Legay, Louis-Marie Traonouez Hybrid statistical estimation of mutual information and its application to information flow. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaoju Dong, Yuxi Fu, Daniele Varacca Extensional Petri net. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar A modeling and verification framework for optical quantum circuits. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski Finding suitable variability abstractions for lifted analysis. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean Automating Event-B invariant proofs by rippling and proof patching. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song Formal analysis of the kinematic Jacobian in screw theory. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier ProFeat: feature-oriented engineering for family-based probabilistic model checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan P. Bowen Egon Börger and Alexander Raschke: Modeling companion for software practitioners - Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filipe Santos, Krystian Kwiecinski, Ana de Almeida, Sara Eloy, Bruno Taborda Alternative shaper: a model for automatic design generation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Model-based testing of probabilistic systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nadia Polikarpova, Julian Tschannen, Carlo A. Furia A fully verified container library. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yaping Jing, Andrew S. Miner Computation tree measurement language (CTML). Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Shuangqing Xiang, Huibiao Zhu A UTP approach for rTiMo. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuyan Bao, Gary T. Leavens, Gidon Ernst Unifying separation logic and region logic to allow interoperability. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Schneider 0001, Michael Leuschel, Tobias Witt Model-based problem solving for university timetable validation and improvement. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Hallerstede Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL - Springer Verlag, 2014, x + 289 pp, € 63, 29 (Hardback), ISBN 978-3-319-10542-0, http: //www.concrete-semantics.org/. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Perdita Stevens, Andrzej Wasowski Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Lijun Zhang 0001, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He An explicit transition system construction approach to LTL satisfiability checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons Special section of Tests and Proofs 2016. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson 0001 A formal approach for detection of security flaws in the android permission system. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sander de Putter, Anton Wijs A formal verification technique for behavioural model-to-model transformations. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Catherine Dubois, Alain Giorgetti Tests and proofs for custom data generators. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti 0001 Formally sound implementations of security protocols with JavaSPI. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham Automated circular assume-guarantee reasoning. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hui Zhang, Jinzhao Wu Formal verification and quantitative metrics of MPSoC data dynamics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Bækgaard Pedersen, Peter H. Welch The symbiosis of concurrency and verification: teaching and case studies. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Strüber 0001, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger Variability-based model transformation: formal foundation and application. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel Parameterized verification of monotone information systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim Mechanized proofs of opacity: a comparison of two techniques. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand How testing helps to diagnose proof failures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Roberto Giacobazzi, Roberta Gori Code obfuscation against abstraction refinement attacks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rosemary Monahan Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, 2016, XXI, +356 ISBN 978-3-662-50496-3 (Hardback, €69, 67), http: //www.decision-procedures.org/. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata A verification and deployment approach for elastic component-based applications. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Amílcar Sernadas. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre Simulation relations for fault-tolerance. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Kazuhiro Ogata 0001, Kokichi Futatsugi A Maude environment for CafeOBJ. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hirohisa Seki On dual programs in co-logic programming and the Horn μ -calculus. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Faitelson, Shmuel S. Tyszberowicz Improving design decomposition (extended version). Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dines Bjørner Manifest domains: analysis and description. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Transforming Boolean equalities into constraints. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rumyana Neykova, Laura Bocchi, Nobuko Yoshida Timed runtime monitoring for multiparty conversations. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, James Lipton, Julio Mariño Constraint logic programming with a relational machine. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Smith, Kirsten Winter Relating trace refinement and linearizability. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental bounded model checking for embedded software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dipak L. Chaudhari, Om P. Damani Assumption propagation through annotated programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 Proof checking and logic programming. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp Optimizing sorting algorithms by using sorting networks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ben C. Moszkowski, Dimitar P. Guelev An application of temporal projection to interleaving concurrency. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henning Christiansen 0001, Maja H. Kirkeby On proving confluence modulo equivalence for Constraint Handling Rules. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog Synthesizing and verifying controllers for multi-lane traffic maneuvers. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peng Fu 0001, Ekaterina Komendantskaya Operational semantics of resolution and productivity in Horn clause logic. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aziem Chawdhary, Ranjeet Singh, Andy King Partial evaluation of string obfuscations for Java malware detection. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Michael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948-22 August 2017). Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Augusto Sampaio Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Jancík, Jan Kofron On partial state matching. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda Maximal incompleteness as obfuscation potency. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke Designing a semantic model for a wide-spectrum language with concurrency. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones The Turing Guide - By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99). Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva A program analysis framework for tccp based on abstract interpretation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi Modeling and efficient verification of wireless ad hoc networks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vincent Nys, Danny De Schreye Abstract conjunctive partial deduction for the analysis and compilation of coroutines. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qin Li 0002, Graeme Smith Refining autonomous agents with declarative beliefs and desires. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Proving completeness of logic programs with the cut. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xuandong Li, Zhiming Liu 0001 Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wen-ling Huang, Jan Peleska 0001 Complete model-based equivalence class testing for nondeterministic systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Meseguer, Stephen Skeirik Equational formulas and pattern operations in initial order-sorted algebras. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shuling Wang, Naijun Zhan, Lijun Zhang 0001 A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Gâinâ Birkhoff style calculi for hybrid logics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga Fault trees on a diet: automated reduction by graph rewriting. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Eggert, Ron van der Meyden Dynamic intransitive noninterference revisited. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal Deriving bisimulation relations from path based equivalence checkers. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink Tournaments for mutual exclusion: verification and concurrent complexity. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Hirohisa Seki, Jim Woodcock Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu A language-independent proof system for full program equivalence. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe Rigorous development of component-based systems using component metadata and patterns. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene ASM-based formal design of an adaptivity component for a Cloud system. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila Analysing sanity of requirements for avionics systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hamid Bagheri, Kevin J. Sullivan Model-driven synthesis of formally precise, stylized software architectures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cinzia Di Giusto, Jorge A. Pérez Event-based run-time adaptation in communication-centric systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonatan Wiik, Pontus Boström Contract-based verification of MATLAB-style matrix programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink Correctness and concurrent complexity of the Black-White Bakery Algorithm. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 911 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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