The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2015 (21) 2016 (21) 2017 (21) 2018 (14)
Publication types (Num. hits)
inproceedings(73) proceedings(4)
Venues (Conferences, Journals, ...)
SETTA(77)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 77 publication records. Showing 77 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tao Xie Intelligent Software Engineering: Synergy Between AI and Software Engineering. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Soumya Paul, Jun Pang, Cui Su Towards the Existential Control of Boolean Networks: A Preliminary Report. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu Identifying Microservices Using Functional Decomposition. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li Automatic Support of the Generation and Maintenance of Assurance Cases. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xinyu Feng, Markus Müller-Olm, Zijiang Yang (eds.) Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao Improvement in JavaMOP by Simplifying Büchi Automaton. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eun-Young Kang 0001, Li Huang Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James Snook, Michael J. Butler, Thai Son Hoang Developing A New Language to Construct Algebraic Hierarchies for Event-B. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhishan Guo, Luca Santinelli, Kecheng Yang Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stephan Adelsberger, Anton Setzer, Eric Walkingshaw Developing GUI Applications in a Verified Setting. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Severin Kann, Richard Schumi Statistical Model Checking of Response Times for Different System Deployments. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Naijun Zhan, Yangjia Li, Qiuye Wang Robust Non-termination Analysis of Numerical Software. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Idress Husien, Sven Schewe, Nicolas Berthier PranCS: A Protocol and Discrete Controller Synthesis Tool. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev Formal Analysis of Information Flow in HOL. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage General Lessons from a Rely/Guarantee Development. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang 0001 On Equivalence Checking of Nondeterministic Finite Automata. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang, Hongyang Qu 0001, Qixia Yuan A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitar P. Guelev, Shuling Wang, Naijun Zhan Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Santinelli, Zhishan Guo On the Criticality of Probabilistic Worst-Case Execution Time Models. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zipeng Zhang, Xinyu Feng AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy Baruah Multi-core Cyclic Executives for Safety-Critical Systems. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng Formalizing SPARCv8 Instruction Set Architecture in Coq. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar 0012, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianxin Xue, Huan Long, Yuxi Fu Remark on Some \pi Variants. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yi Li Termination of Semi-algebraic Loop Programs. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden Construction of Abstract State Graphs for Understanding Event-B Models. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuwei Wang, Guoqiang Li 0001, Shoji Yuen Nested Timed Automata with Invariants. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns Better Automated Importance Splitting for Transient Rare Events. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri Computing Exact Loop Bounds for Bounded Program Verification. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.) Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wanwei Liu, Fu Song, Ge Zhou Reasoning About Periodicity on Infinite Words. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maithily Diwan, Meenakshi D'Souza A Framework for Modeling and Verifying IoT Communication Protocols. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri Computing Specification-Sensitive Abstractions for Program Verification. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wenjie Du, Yuxin Deng, Daniel Gebler Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bingbing Fang, Guoqiang Li 0001, Daniel Sun, Hongming Cai Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Waqar Ahmad, Osman Hasan Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhilin Wu Semipositivity in Separation Logic with Two Variables. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tatsuya Abe 0001, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hao Wu 0013, Xiaoxiao Yang, Joost-Pieter Katoen Performance Evaluation of Concurrent Data Structures. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards Importance Sampling for Stochastic Timed Automata. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu Identifying XML Schema Constraints Using Temporal Logic. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das 0002, Soumyajit Dey Failure Estimation of Behavioral Specifications. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qingguo Xu, Robert de Simone, Julien DeAntoni Divergence Detection for CCSL Specification via Clock Causality Chain. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang, Qixia Yuan GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Deepak Kapur, Naijun Zhan (eds.) Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue A Complete Approximation Theory for Weighted Transition Systems. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang 0001 An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba Distributed Computation of Fixed Points on Dependency Graphs. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaoju Dong, Yuxi Fu, Daniele Varacca Place Bisimulation and Liveness for Open Petri Nets. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qiang Wang Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Babin, Yamine Aït Ameur, Shin Nakajima 0001, Marc Pantel Refinement and Proof Based Development of Systems Characterized by Continuous Functions. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Faitelson, Shmuel S. Tyszberowicz Improving Design Decomposition. Search on Bibsonomy SETTA The full citation details ... 2015 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 SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tianxiang Lu Formal Verification of the Pastry Protocol Using \mathrmTLA^+. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang 0001 Extending Hybrid CSP with Probability and Stochasticity. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog Synthesizing Controllers for Multi-lane Traffic Maneuvers. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juan Zhai, Hanfei Wang, Jianhua Zhao Assertion-Directed Precondition Synthesis for Loops over Data Structures. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chen Luo, Fei He 0001, Carlo Ghezzi Inferring Software Behavioral Models with MapReduce. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 A High-Level Model for an Assembly Language Attacker by Means of Reflection. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li 0031, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001 A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ben C. Moszkowski, Dimitar P. Guelev An Application of Temporal Projection to Interleaving Concurrency. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao Automatic Fault Localization for BIP. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vania Joloboff, Jean-François Monin, Xiaomu Shi Towards Verified Faithful Simulation. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun-xian Zhang, Zhou-jun Li, Xian-chen Zheng PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sandeep Patil, Victor Dubinin, Valeriy Vyatkin Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto Cardinality of UDP Transmission Outcomes. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nathan Wasser Generating Specifications for Recursive Methods by Abstracting Program States. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xuandong Li, Zhiming Liu 0001, Wang Yi 0001 (eds.) Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky From Requirements Engineering to Safety Assurance: Refinement Approach. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #77 of 77 (100 per page; Change: )
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