The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Formal Aspects Comput."( http://dblp.L3S.de/Venues/Formal_Aspects_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 (33) 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 (33) 2020 (17) 2021 (49)
Publication types (Num. hits)
article(998)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 881 occurrences of 480 keywords

Results
Found 998 publication records. Showing 998 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei Model-based Safety Assessment of a Triple Modular Generator with xSAP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Bjørnar Luteberget, Christian Johansen Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi 0002, Paola Spoletini TOrPEDO: witnessing model correctness with topological proofs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jordi Cabot, Heike Wehrheim, Eerke A. Boiten Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Reinhard Wilhelm Foundations of programming languages. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang Inferring Switched Nonlinear Dynamical Systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Annabelle McIver, Maurice H. ter Beek Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim Verifying correctness of persistent concurrent data structures: a sound and complete method. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet Modular verification of programs with effects and effects handlers. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky A refinement-based development of a distributed signalling system. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Blair Archibald, Géza Kulcsár, Michele Sevegnani A tale of two graph models: a case study in wireless sensor networks. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger Efficient data validation for geographical interlocking systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock Learning safe neural network controllers with barrier certificates. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu 0001, Xin Chen 0027, Xuandong Li Machine learning steered symbolic execution framework for complex software code. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Davide G. Cavezza, Dalal Alrajeh, András György 0001 A Weakness Measure for GR(1) Formulae. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001 Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan Enhancing Probabilistic Model Checking with Ontologies. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michele Loreti Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gal Amram, Shahar Maoz, Or Pistiner GR(1)*: GR(1) specifications extended with existential guarantees. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Signe Geisler, Anne Elisabeth Haxthausen Stepwise development and model checking of a distributed interlocking system using RAISE. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier Optimal and robust controller synthesis using energy timed automata with uncertainty. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Juan de Lara, Esther Guerra Language Family Engineering with Product Lines of Multi-level Models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zhibin Yang, Yang Bao 0007, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu 0001 Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mario Gleirscher, Radu Calinescu, Jim Woodcock RiskStructures: A design algebra for risk-aware machines. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder From generic partition refinement to weighted tree automata minimization. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen L*-based learning of Markov decision processes (extended version). Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen Counterexample-guided inductive synthesis for probabilistic systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Matteo Rossi Modeling and analysis of communicating systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nils Weidmann, Anthony Anjorin Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rolf Hennicker, Alexander Knapp, Alexandre Madeira Hybrid dynamic logic institutions for event/data-based systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gerard Ekembe Ngondi Denotational semantics of channel mobility in UTP-CSP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink UNITY and Büchi automata. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xiaoping Chen, Zhiming Liu 0001, Ji Wang, Jim Woodcock Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Marcello M. Bonsangue Symbolic execution formally explained. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Simon Foster 0001, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yong Kiam Tan, André Platzer An axiomatic approach to existence and liveness for differential equations. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot Formal analysis of the compact position reporting algorithm. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wanling Xie, Huibiao Zhu, Qiwen Xu A process calculus BigrTiMo of mobile systems and its formal semantics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Erik P. de Vink, Ana Cavalcanti 0001 Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Davide Basile 0001, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alexandros Evangelidis, David Parker 0001 Quantitative verification of Kalman filters. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wenbo Zhang 0004, Xian Xu 0001, Qiang Yin, Huan Long On the Interactive Power of Higher-order Processes Extended with Parameterization. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael Legislation-driven development of a Gift Aid system using Event-B. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller 0001, Gethin Norman Collaborative models for autonomous systems controller synthesis. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alexander Knapp, Markus Roggenbach André Platzer: Logical foundations of cyber-physical systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi PuRSUE -from specification of robotic environments to synthesis of controllers. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Haiping Pang, Jianqi Shi Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xilong Zhuo, Chenyi Zhang TFA: an efficient and precise virtual method call resolution for Java. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Waqar Ahmad, Osman Hasan, Sofiène Tahar Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi Using formal verification to evaluate the execution time of Spark applications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jonathan P. Bowen Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Adnan Rashid, Osman Hasan Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Graeme Smith 0001, Kirsten Winter, Robert J. Colvin Linearizability on hardware weak memory models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Shanyan Chen, Guohui Wang, Ximeng Li 0003, Qianying Zhang, Zhi-Ping Shi 0002, Yong Guan Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti 0001, Pedro Ribeiro 0002 Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Feng Sheng, Huibiao Zhu, Jifeng He 0001, Zongyuan Yang, Jonathan P. Bowen Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Zinovy Diskin, Harald König, Mark Lawford Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Matthieu Renard, Antoine Rollet, Yliès Falcone Runtime enforcement of timed properties using games. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb An Event-B based approach for cloud composite services verification. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mingsheng Ying Toward automatic verification of quantum programs. Search on Bibsonomy Formal Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones, José Oliveira Editorial. Search on Bibsonomy Formal Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Ernst-Rüdiger Olderog Fifty years of Hoare's logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi A verification-driven framework for iterative design of controllers. Search on Bibsonomy Formal Aspects 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 Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Greg Michaelson Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches - Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99), ISBN: 978-3030098339 (Paperback, £27.99). Search on Bibsonomy Formal Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandra Russo, Andy Schürr, Heike Wehrheim Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Haigh Assembling a prehistory for formal methods: a personal view. Search on Bibsonomy Formal Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Richard Waldinger Zohar Manna (1939-2018). Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel From LCF to Isabelle/HOL. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Andrea Corradini 0001, Jacopo Soldani Estimating costs of multi-component enterprise applications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefania Gnesi, Ana Cavalcanti 0001, John S. Fitzgerald, Constance L. Heitmeyer Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Richard Banach John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Damien Pous, Davide Sangiorgi Bisimulation and Coinduction Enhancements: A Historical Perspective. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gavin Lowe Discovering and correcting a deadlock in a channel implementation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Si Liu 0003, Peter Csaba Ölveczky, Qi Wang 0017, Indranil Gupta, José Meseguer Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Igor Konnov 0001 Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan GPU-accelerated steady-state computation of large probabilistic Boolean networks. Search on Bibsonomy Formal Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler, Habtom Kahsay Gidey Interactive verification of architectural design patterns in FACTum. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaoju Dong, Yuxi Fu, Daniele Varacca Extensional Petri net. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zinovy Diskin, Harald König, Mark Lawford Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Search on Bibsonomy Formal Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1J. Strother Moore Milestones from the Pure Lisp theorem prover to ACL2. Search on Bibsonomy Formal Aspects 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 Aspects 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 Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhiping Shi 0002, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song Formal analysis of the kinematic Jacobian in screw theory. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 998 (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