International Symposium on Software Engineering: Theories, Tools, and Applications
SETTA
National
CORE rank
CORE rank (raw)
National:China
Fields of research
Software Engineering · Theory of Computation
Papers indexed
188
2015–2025
Papers per year
201524 peak2025
Most published authors
SETTA papers
188 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2015 | An Application of Temporal Projection to Interleaving Concurrency. | Ben C. Moszkowski, Dimitar P. Guelev |
| 2015 | Inferring Software Behavioral Models with MapReduce. | Chen Luo, Fei He, Carlo Ghezzi |
| 2015 | Formal Verification of the Pastry Protocol Using \mathrmTLA^+. | Tianxiang Lu |
| 2015 | A High-Level Model for an Assembly Language Attacker by Means of Reflection. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | From Requirements Engineering to Safety Assurance: Refinement Approach. | Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky |
| 2015 | Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga |
| 2015 | Towards Verified Faithful Simulation. | Vania Joloboff, Jean-Franois Monin, Xiaomu Shi |
| 2015 | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. | Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang |
| 2015 | Improving Design Decomposition. | David Faitelson, Shmuel S. Tyszberowicz |
| 2015 | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |
| 2015 | Synthesizing Controllers for Multi-lane Traffic Maneuvers. | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog |
| 2015 | Refinement and Proof Based Development of Systems Characterized by Continuous Functions. | Guillaume Babin, Yamine At Ameur, Shin Nakajima, Marc Pantel |
176–188 of 188← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems