Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

 
   volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             1146 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 AATT+: Effectively manifesting concurrency bugs in Android apps Wang, Jue
 2018
 141-142 C p. 1-18
 artikel
2 A big step from finite to infinite computations Ancona, Davide
141-142 C p.
 artikel
3 Abstracting gradual references Toro, Matías
141-142 C p.
 artikel
4 Abstraction models for verifying resource adequacy of IMA systems at concept level Saar de Moraes, Rodrigo
141-142 C p.
 artikel
5 Abstract machines for Open Call-by-Value Accattoli, Beniamino
 2019
 141-142 C p.
 artikel
6 Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018) Butler, Michael
141-142 C p.
 artikel
7 A calculus for dynamic architectures Marmsoler, Diego
141-142 C p. 1-41
 artikel
8 A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users (Weber) Dupree, Janna-Lynn
 2018
 141-142 C p. 1-37
 artikel
9 Accelerating error-tolerant applications with approximate function reuse Brandalero, Marcelo
 2018
 141-142 C p. 54-67
 artikel
10 A clock-based dynamic logic for schedulability analysis of CCSL specifications Zhang, Yuanrui
141-142 C p.
 artikel
11 A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems Zhang, Yuanrui
141-142 C p.
 artikel
12 A component-based framework for certification of components in a cloud of HPC services de Oliveira Dantas, Allberson Bruno
141-142 C p.
 artikel
13 A Configurable Software Model of a Self-Adaptive Robotic System Päßler, Juliane
141-142 C p.
 artikel
14 A coordination model of pervasive service ecosystems Viroli, Mirko
 2015
 141-142 C p. 3-22
20 p.
 artikel
15 A Coq library for internal verification of running-times McCarthy, Jay
 2018
 141-142 C p. 49-65
 artikel
16 A critical analysis of string APIs: The case of Pharo Pollet, Damien
141-142 C p. 89-104
 artikel
17 ACSmt: A plugin for eclipse papyrus to model systems of systems Remond Harbo, Sean Kristian
141-142 C p.
 artikel
18 Actionable code smell identification with fusion learning of metrics and semantics Yu, Dongjin
141-142 C p.
 artikel
19 Actor-based macroscopic modeling and simulation for smart urban planning de Berardinis, Jacopo
 2018
 141-142 C p. 142-164
 artikel
20 Adaptability checking in complex systems Merelli, Emanuela
 2016
 141-142 C p. 23-46
24 p.
 artikel
21 Adaptation impact and environment models for architecture-based self-adaptive systems Cámara, Javier
 2016
 141-142 C p. 50-75
26 p.
 artikel
22 Adaptive just-in-time value class optimization for lowering memory consumption and improving execution time performance Pape, Tobias
 2017
 141-142 C p. 17-29
13 p.
 artikel
23 Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study Pecorelli, Fabiano
141-142 C p.
 artikel
24 A debugging approach for live Big Data applications Marra, Matteo
141-142 C p.
 artikel
25 A decentralized analysis of multiparty protocols van den Heuvel, Bas
141-142 C p.
 artikel
26 A declarative enhancement of JavaScript programs by leveraging the Java metadata infrastructure Wang, Yuchen
 2019
 141-142 C p. 27-46
 artikel
27 A dependently typed calculus with polymorphic subtyping Xue, Mingqi
141-142 C p.
 artikel
28 A derivation of a distributed implementation of Warshall's algorithm van de Snepscheut, Jan L.A.
 1986
 141-142 C p. 55-60
6 p.
 artikel
29 A design-by-contract approach to recover the architectural style from run-time misbehaviour Poyias, Kyriakos
 2015
 141-142 C p. 2-27
26 p.
 artikel
30 A didactic object-oriented, prototype-based visual programming environment García Perez-Schofield, Baltasar
 2019
 141-142 C p. 1-13
 artikel
31 A domain-specific language for verifying software requirement constraints Vidal, Marzina
141-142 C p.
 artikel
32 AdSiF: Agent driven simulation framework paradigm and ontological view Hocaoğlu, Mehmet F.
 2018
 141-142 C p. 70-90
 artikel
33 Advances in Dynamic Languages Etien, Anne
141-142 C p. 1
 artikel
34 Advances in Smalltalk technologies Lagadec, Loïc
141-142 C p.
 artikel
35 Advances of proof scores in CafeOBJ Futatsugi, Kokichi
141-142 C p.
 artikel
36 AErlang: Empowering Erlang with attribute-based communication De Nicola, Rocco
 2018
 141-142 C p. 71-93
 artikel
37 A fairness-based refinement strategy to transform liveness properties in Event-B models Zhu, Chenyang
141-142 C p.
 artikel
38 A family of heuristic search algorithms for feature model optimization Sánchez, Luis Emiliano
 2019
 141-142 C p. 264-293
 artikel
39 A family of multi-concept program synthesisers in Alloy⁎ Correia, Alexandre
141-142 C p.
 artikel
40 A family of test selection criteria for Timed Input-Output Symbolic Transition System models Moraes, Alan
 2016
 141-142 C p. 52-72
21 p.
 artikel
41 A feature-oriented model-driven engineering approach for the early validation of feature-based applications Cavarlé, Glenn
141-142 C p. 18-33
 artikel
42 A finite alternation result for reversible boolean circuits Selinger, Peter
141-142 C p. 2-17
 artikel
43 A formal actor-based model for streaming the future Azadbakht, Keyvan
141-142 C p.
 artikel
44 A formal approach for managing component-based architecture evolution Mokni, Abderrahman
 2016
 141-142 C p. 24-49
26 p.
 artikel
45 A formal approach to modeling and verification of business process collaborations Corradini, Flavio
 2018
 141-142 C p. 35-70
 artikel
46 A formal framework capturing real-time and stochastic behavior in connectors Li, Yi
 2019
 141-142 C p. 19-40
 artikel
47 A formal model for Multi Software Product Lines Damiani, Ferruccio
 2019
 141-142 C p. 203-231
 artikel
48 A formal model of data access for multicore architectures with multilevel caches Bijo, Shiji
 2019
 141-142 C p. 24-53
 artikel
49 A formal model of service-oriented dynamic object groups Johnsen, Einar Broch
 2016
 141-142 C p. 3-22
20 p.
 artikel
50 A formal, scalable approach to semantic interoperability Davies, Jim
141-142 C p.
 artikel
51 A formal validation of the RBAC ANSI 2012 standard using B Huynh, Nghi
 2016
 141-142 C p. 76-93
18 p.
 artikel
52 A framework for assume-guarantee regression verification of evolving software Tran, Hoang-Viet
141-142 C p.
 artikel
53 A framework for automated conflict detection and resolution in medical guidelines Bowles, J.
141-142 C p. 42-63
 artikel
54 A framework for defining coupling metrics Tempero, Ewan
 2018
 141-142 C p. 214-230
 artikel
55 A framework for exploring unifying theories of empirical software engineering Perry, Dewayne E.
 2015
 141-142 C p. 99-123
25 p.
 artikel
56 A framework for higher-order effects & handlers van den Berg, Birthe
141-142 C p.
 artikel
57 A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP Lima, Lucas
141-142 C p.
 artikel
58 A general incremental evaluator for attrbiute grammars Jalili, Fahimeh
 1985
 141-142 C p. 83-96
14 p.
 artikel
59 Aggregate centrality measures for IoT-based coordination Audrito, Giorgio
141-142 C p.
 artikel
60 Agile effort estimation in Colombia: An assessment and opportunities for improvement Cubillos, Juan
141-142 C p.
 artikel
61 Agile validation of model transformations using compound F-Alloy specifications Gammaitoni, Loïc
 2018
 141-142 C p. 55-75
 artikel
62 A graphical editor for the SMUIML multimodal user interaction description language Dumas, Bruno
 2014
 141-142 C p. 30-42
13 p.
 artikel
63 A Haskell-embedded DSL for secure information-flow Manzino, Cecilia
141-142 C p.
 artikel
64 A hierarchical verification approach to verify complex safety control systems based on STAMP Han, Xiao
 2019
 141-142 C p. 117-134
 artikel
65 A hybrid approach to extract conceptual diagram from software requirements Shweta,
141-142 C p.
 artikel
66 A JastAdd implementation of Oberon-0 Fors, Niklas
 2015
 141-142 C p. 74-84
11 p.
 artikel
67 A Java typestate checker supporting inheritance Image 1 Bacchiani, Lorenzo
141-142 C p.
 artikel
68 A language of specified programs Tarlecki, Andrzej
 1985
 141-142 C p. 59-81
23 p.
 artikel
69 A Larch Shared Language handbook Guttag, J.V.
 1986
 141-142 C p. 135-157
23 p.
 artikel
70 A large-scale empirical exploration on refactoring activities in open source software projects Vassallo, Carmine
 2019
 141-142 C p. 1-15
 artikel
71 Algebraic graph transformations with inheritance and abstraction Löwe, Michael
 2015
 141-142 C p. 2-18
17 p.
 artikel
72 Algebraic implementations preserve program correctness Broy, Manfred
 1986
 141-142 C p. 35-53
19 p.
 artikel
73 Algebraic specification and verification of communication protocols Koomen, C.J.
 1985
 141-142 C p. 1-36
36 p.
 artikel
74 Algorithmic verification of procedural programs in the presence of code variability Soleimanifard, Siavash
 2016
 141-142 C p. 76-102
27 p.
 artikel
75 A lightweight API recommendation method for App development based on multi-objective evolutionary algorithm Li, Xun
141-142 C p.
 artikel
76 A lightweight deadlock analysis for programs with threads and reentrant locks Laneve, Cosimo
 2019
 141-142 C p. 64-81
 artikel
77 All roads lead to Rome: Commuting strategies for product-line reliability analysis Castro, Thiago
 2018
 141-142 C p. 116-160
 artikel
78 AllSynth: A BDD-based approach for network update synthesis Larsen, Kim G.
141-142 C p.
 artikel
79 A logic for reflective ASMs Schewe, Klaus-Dieter
141-142 C p.
 artikel
80 A machine-checked correctness proof for Pastry Azmy, Noran
 2018
 141-142 C p. 64-80
 artikel
81 AmbieGen: A search-based framework for autonomous systems testing Image 1 Humeniuk, Dmytro
141-142 C p.
 artikel
82 Ambiguity and constrained polymorphism Camarão, Carlos
 2016
 141-142 C p. 1-19
19 p.
 artikel
83 A mechanized semantics for component-based systems in the HAMR AADL runtime Hallerstede, Stefan
141-142 C p.
 artikel
84 A method and a language for constructing iterative programs Finance, Jean-Pierre
 1985
 141-142 C p. 201-218
18 p.
 artikel
85 A method and tool for tracing requirements into specifications Hallerstede, Stefan
 2014
 141-142 C p. 2-21
20 p.
 artikel
86 A method for identifying references between projects in GitHub Liu, Baochuan
141-142 C p.
 artikel
87 A method of test case set generation in the commutativity test of reduce functions Mu, Xiangyu
141-142 C p.
 artikel
88 A methodological approach for mobile applications development: MethApp4Mob Galeano, Iris
141-142 C p.
 artikel
89 A method to identify overfitting program repair patches based on expression tree Dong, Yukun
141-142 C p.
 artikel
90 A modal specification theory for components with data Bauer, Sebastian S.
 2014
 141-142 C p. 106-128
23 p.
 artikel
91 A model-checker exploiting structural reductions even with stutter sensitive LTL Image 1 Thierry-Mieg, Yann
141-142 C p.
 artikel
92 A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric Chaabane, Mariam
 2019
 141-142 C p.
 artikel
93 A modular foreign function interface Yallop, Jeremy
 2018
 141-142 C p. 82-97
 artikel
94 A modular specification of Oberon0 using the Silver attribute grammar system Kaminski, Ted
 2015
 141-142 C p. 33-44
12 p.
 artikel
95 A monadic semantics for quantum computing in an object oriented language Feitosa, Samuel da Silva
 2019
 141-142 C p. 37-55
 artikel
96 A multiple camera calibration and point cloud fusion tool for Kinect V2 Córdova-Esparza, Diana-Margarita
 2017
 141-142 C p. 1-8
8 p.
 artikel
97 An adaptive pairwise testing algorithm based on deep reinforcement learning Wen, Linlin
141-142 C p.
 artikel
98 Analysing a class of distributive partitioning sort algorithms van der Nat, M.
 1986
 141-142 C p. 23-33
11 p.
 artikel
99 Analysis and formal specification of OpenJDK's BitSet: Proof files Tatman, Andy S.
141-142 C p.
 artikel
100 Analyzing best practices on Web development frameworks: The lift approach Salas-Zárate, María del Pilar
 2015
 141-142 C p. 1-19
19 p.
 artikel
101 Analyzing MoWebA's adaptability across architectures González, Magalí
141-142 C p.
 artikel
102 Analyzing novice and competent programmers' problem-solving behaviors using an automated evaluation system Chuang, Yung-Ting
141-142 C p.
 artikel
103 Analyzing the performance of two COSMIC approximation sizing techniques at the functional process level Valdés-Souto, Francisco
 2017
 141-142 C p. 105-121
17 p.
 artikel
104 An approach to the integration of accessibility requirements into a user interface development method Miñón, Raúl
 2014
 141-142 C p. 58-73
16 p.
 artikel
105 An architecture for modular grading and feedback generation for complex exercises Striewe, Michael
 2016
 141-142 C p. 35-47
13 p.
 artikel
106 An aspect-oriented model-driven approach for building adaptable context-aware service-based applications Boudaa, Boudjemaa
 2017
 141-142 C p. 17-42
26 p.
 artikel
107 A nearest-neighbor divide-and-conquer approach for adaptive random testing Huang, Rubing
141-142 C p.
 artikel
108 An effective software cross-project fault prediction model for quality improvement Khatri, Yogita
141-142 C p.
 artikel
109 An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models Khamespanah, Ehsan
 2018
 141-142 C p. 1-29
 artikel
110 Anemone: A workbench for the Multi-Bach coordination language Jacquet, Jean-Marie
141-142 C p.
 artikel
111 An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces Parra, Otto
 2019
 141-142 C p. 232-263
 artikel
112 An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning Vermaelen, Jan
141-142 C p.
 artikel
113 An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring Santana, Railana
141-142 C p.
 artikel
114 An empirical study of code clones: Density, entropy, and patterns Hu, Bin
141-142 C p.
 artikel
115 An empirical study to evaluate the impact of mindfulness on helpdesk employees Bernárdez, Beatriz
141-142 C p.
 artikel
116 An evolutionary approach to translating operational specifications into declarative specifications Molina, Facundo
 2019
 141-142 C p. 47-63
 artikel
117 A new decomposition-based method for detecting attractors in synchronous Boolean networks Yuan, Qixia
 2019
 141-142 C p. 18-35
 artikel
118 A new modular implementation for stateful traits Tesone, Pablo
141-142 C p.
 artikel
119 A new roadmap for linking theories of programming and its applications on GCL and CSP He, Jifeng
 2018
 141-142 C p. 3-34
 artikel
120 A new type-checker for a functional language Fairbairn, Jon
 1986
 141-142 C p. 273-290
18 p.
 artikel
121 An experimental comparison of edge, edge-pair, and prime path criteria Durelli, Vinicius H.S.
 2018
 141-142 C p. 99-115
 artikel
122 An exploratory study on automatic identification of assumptions in the development of deep learning frameworks Yang, Chen
141-142 C p.
 artikel
123 An exploratory study on the usage of quantum programming languages Ferreira, Felipe
141-142 C p.
 artikel
124 An expressive stateful aspect language Leger, Paul
 2015
 141-142 C p. 108-141
34 p.
 artikel
125 An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Zhang, Zhen
 2016
 141-142 C p. 24-39
16 p.
 artikel
126 An industrial experience of using reference architectures for mapping features to code Ignaim, Karam
141-142 C p.
 artikel
127 An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI Nistala, Padmalata
141-142 C p.
 artikel
128 Announcement 1985
 141-142 C p. 231-
1 p.
 artikel
129 An ontology-based approach for integrating tools supporting the software measurement process Fonseca, Vinícius Soares
 2017
 141-142 C p. 20-44
25 p.
 artikel
130 An ontology-based approach with which to assign human resources to software projects Paredes-Valverde, Mario Andrés
 2018
 141-142 C p. 90-103
 artikel
131 An optimal cut-off algorithm for parameterised refinement checking Siirtola, Antti
141-142 C p.
 artikel
132 API comparison based on the non-functional information mined from Stack Overflow Chen, Zhiqi
141-142 C p.
 artikel
133 API recommendation for the development of Android App features based on the knowledge mined from App stores Gao, Shanquan
141-142 C p.
 artikel
134 A polymorphic RPC calculus Choi, Kwanghoon
141-142 C p.
 artikel
135 Application of fuzzy Delphi technique to identify analytical lenses for determining the preparation of free and open source software projects for user experience maturity Namayala, Phesto P.
141-142 C p.
 artikel
136 Applying graph-based knowledge representation to capture insights from discussions forum in software engineering Rodrigo Da Silva, Patrick
141-142 C p.
 artikel
137 Applying large language models to issue classification: Revisiting with extended data and new models Aracena, Gabriel
141-142 C p.
 artikel
138 Applying the Isabelle Insider framework to airplane security Kammüller, Florian
141-142 C p.
 artikel
139 A practical approach for detecting multi-tenancy data interference Furda, Andrei
 2018
 141-142 C p. 160-173
 artikel
140 A pragma based C++ framework for hybrid quantum/classical computation Gazda, Arnaud
141-142 C p.
 artikel
141 A procedure for splitting data-aware processes and its application to coordination Jongmans, S.-S.T.Q.
 2016
 141-142 C p. 47-78
32 p.
 artikel
142 A process-theoretic approach to supervisory coordination under partial observation Markovski, Jasen
 2016
 141-142 C p. 127-145
19 p.
 artikel
143 A program logic for fresh name generation Eliott, Harold Pancho
141-142 C p.
 artikel
144 A proposal for modelling usability in a holistic MDD method Panach, Jose Ignacio
 2014
 141-142 C p. 74-88
15 p.
 artikel
145 A provably safe controller for the needle-steering problem using online strategy synthesis Lehmann, Sascha
141-142 C p.
 artikel
146 A Python framework for programming autonomous robots using a declarative approach Fichera, Loris
 2017
 141-142 C p. 36-55
20 p.
 artikel
147 Architectural pattern to improve the definition and implementation of eLearning ecosystems García-Holgado, Alicia
 2016
 141-142 C p. 20-34
15 p.
 artikel
148 Architecture-level configuration of industrial control systems: Foundations for an efficient approach Behjati, Razieh
 2018
 141-142 C p. 30-47
 artikel
149 Architecture of a concept-based information retrieval system for educational resources Pérez-Rodríguez, Roberto
 2016
 141-142 C p. 72-91
20 p.
 artikel
150 A refinement development approach for enhancing the safety of PLC programs with Event-B Mao, Xia
141-142 C p.
 artikel
151 Are requirements elicitation sessions influenced by participants' gender? An empirical experiment Díaz, Eduardo
141-142 C p.
 artikel
152 A review of code reviewer recommendation studies: Challenges and future directions Çetin, H. Alperen
141-142 C p.
 artikel
153 A rewriting logic approach to resource allocation analysis in business process models Durán, Francisco
 2019
 141-142 C p.
 artikel
154 A rewriting logic approach to the formal specification and verification of web applications Alpuente, María
 2014
 141-142 C p. 79-107
29 p.
 artikel
155 A rewriting logic semantics for NCL dos Santos, Joel
 2015
 141-142 C p. 64-92
29 p.
 artikel
156 Are you of value to me? A partner selection reference method for software ecosystem orchestrators Beelen, Luc
141-142 C p.
 artikel
157 A rule-based system for automatic decidability and combinability Tushkanova, E.
 2015
 141-142 C p. 3-23
21 p.
 artikel
158 A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services de Carvalho Silva, Jefferson
 2019
 141-142 C p. 95-127
 artikel
159 A semantic analysis of key management protocols for wireless sensor networks Macedonio, Damiano
 2014
 141-142 C p. 53-78
26 p.
 artikel
160 A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs Elias, Endhe
 2017
 141-142 C p. 43-59
17 p.
 artikel
161 AspectMaps: Extending Moose to visualize AOP software Fabry, Johan
 2014
 141-142 C p. 6-22
17 p.
 artikel
162 Assertion-based monitoring in practice – Checking correctness of an automotive sensor interface Nguyen, Thang
 2016
 141-142 C p. 40-59
20 p.
 artikel
163 Assessing the coverage of W-based conformance testing methods over code faults El-Fakih, Khaled
141-142 C p.
 artikel
164 ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment Yu, Yaoshen
141-142 C p.
 artikel
165 A study of mutable checkpointing and related algorithms Kiehn, Astrid
 2018
 141-142 C p. 78-92
 artikel
166 A study of risk-aware program transformation Murta, Daniel
 2015
 141-142 C p. 51-77
27 p.
 artikel
167 A symbolic model checking approach to verifying satellite onboard software Gan, Xiang
 2014
 141-142 C p. 44-55
12 p.
 artikel
168 Asynchronous sessions with implicit functions and messages Jeffery, Alex
 2019
 141-142 C p. 36-70
 artikel
169 Asynchronous synthesis techniques for coordinating autonomic managers in the cloud Abid, Rim
 2017
 141-142 C p. 87-103
17 p.
 artikel
170 Asynchronous unfold/fold transformation for fixpoint logic Faisal Al Ameen, Mahmudul
141-142 C p.
 artikel
171 A systematic literature review on dynamic testing of blockchain oriented software Lahami, Mariam
141-142 C p.
 artikel
172 A tag contract framework for modeling heterogeneous systems Le, Thi Thieu Hoa
 2016
 141-142 C p. 225-246
22 p.
 artikel
173 A text-based syntax completion method using LR parsing and its evaluation Sasano, Isao
141-142 C p.
 artikel
174 A text classification approach to API type resolution for incomplete code snippets Velázquez-Rodríguez, Camilo
141-142 C p.
 artikel
175 A theory of integrating tamper evidence with stabilization Hajisheykhi, Reza
 2018
 141-142 C p. 93-114
 artikel
176 A theory of retractable and speculative contracts Barbanera, Franco
 2018
 141-142 C p. 25-50
 artikel
177 A toolchain for domestic heat-pump control using Uppaal Stratego Hasrat, Imran Riaz
141-142 C p.
 artikel
178 A tool for domain-independent model mutation Gómez-Abajo, Pablo
 2018
 141-142 C p. 85-92
 artikel
179 A tool for publishing reproducible algorithms & A reproducible, elegant algorithm for sequential experiments Thimbleby, Harold
 2018
 141-142 C p. 45-67
 artikel
180 A two-level formal model for Big Data processing programs de Souza Neto, João Batista
141-142 C p.
 artikel
181 A two-step approach for pattern-based API-call constraint checking Kim, Dongwoo
 2018
 141-142 C p. 19-41
 artikel
182 A type-directed algorithm to generate random well-typed Java 8 programs Feitosa, Samuel
141-142 C p.
 artikel
183 A type-sound calculus of computational fields Damiani, Ferruccio
 2016
 141-142 C p. 17-44
28 p.
 artikel
184 A type system for first-class layers with inheritance, subtyping, and swapping Inoue, Hiroaki
 2019
 141-142 C p. 54-86
 artikel
185 A unified view of monadic and applicative non-determinism Rivas, Exequiel
 2018
 141-142 C p. 70-98
 artikel
186 Author index 1986
 141-142 C p. 321-322
2 p.
 artikel
187 Author index volume 6 (1986) 1986
 141-142 C p. 323-
1 p.
 artikel
188 Author index volume 5 (1985) 1985
 141-142 C p. 323-
1 p.
 artikel
189 Auto-active verification of distributed systems and specification refinements with Why3-do Belo Lourenço, Cláudio
141-142 C p.
 artikel
190 AutoCRUD: Automatic generation of CRUD specifications in interaction flow modelling language Rodriguez-Echeverria, Roberto
 2018
 141-142 C p. 165-168
 artikel
191 Automated amortised resource analysis for term rewrite systems Moser, Georg
 2020
 141-142 C p.
 artikel
192 Automated code transformation for distributed training of TensorFlow deep learning models Sim, Yusung
141-142 C p.
 artikel
193 Automated compositional importance splitting Budde, Carlos E.
 2019
 141-142 C p. 90-108
 artikel
194 Automated evolution of feature logging statement levels using Git histories and degree of interest Tang, Yiming
141-142 C p.
 artikel
195 Automated model extraction: From non-deterministic C code to active objects Wasser, Nathan
141-142 C p.
 artikel
196 Automated reasoning framework for traceability management of system of systems Tekinerdogan, Bedir
141-142 C p.
 artikel
197 Automated replication of tuple spaces via static analysis De Nicola, Rocco
141-142 C p.
 artikel
198 Automated specification inference in a combined domain via user-defined predicates Qin, Shengchao
 2017
 141-142 C p. 189-212
 artikel
199 Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution He, Weigang
141-142 C p.
 artikel
200 Automated testing of an industrial stock market trading platform based on functional specification Zakeriyan, Arvin
141-142 C p.
 artikel
201 Automated UI evaluation based on a cognitive architecture and UsiXML Gonzalez-Calleros, Juan
 2014
 141-142 C p. 43-57
15 p.
 artikel
202 Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem Banach, Richard
141-142 C p.
 artikel
203 Automatically refining partial specifications for heap-manipulating programs Qin, Shengchao
 2014
 141-142 C p. 56-76
21 p.
 artikel
204 Automatic construction of CSP programs from sequential non-deterministic programs Moitra, Abha
 1985
 141-142 C p. 277-307
31 p.
 artikel
205 Automatic detection of infeasible paths in large-scale program based on program summaries Dong, Yukun
141-142 C p.
 artikel
206 Automatic parallelization of recursive functions with rewriting rules Rocha, Rodrigo C.O.
 2019
 141-142 C p. 128-152
 artikel
207 Automation and consistency analysis of test cases written in natural language: An industrial context Arruda, Filipe
141-142 C p.
 artikel
208 A Vigorous and Open SCP 2018
 141-142 C p. iii
 artikel
209 Avoiding code pitfalls in Aspect-Oriented Programming Santos, Adriano
 2016
 141-142 C p. 31-50
20 p.
 artikel
210 A zoom-declarative debugger for sequential Erlang programs Caballero, Rafael
 2015
 141-142 C p. 104-118
15 p.
 artikel
211 Baital: Sampling configurable systems with high t-wise coverage Baranov, Eduard
141-142 C p.
 artikel
212 Basic behavioral models for software product lines: Expressiveness and testing pre-orders Beohar, Harsh
 2016
 141-142 C p. 42-60
19 p.
 artikel
213 Basic behavioral models for software product lines: Revisited Varshosaz, Mahsa
 2018
 141-142 C p. 171-185
 artikel
214 BEAPI: A tool for bounded exhaustive input generation from APIs Politano, Mariano
141-142 C p.
 artikel
215 Behavioral model identification and classification of multi-component systems Sabahi-Kaviani, Zeynab
 2019
 141-142 C p. 41-66
 artikel
216 Behavioural theory of reflective algorithms I: Reflective sequential algorithms Schewe, Klaus-Dieter
141-142 C p.
 artikel
217 Benchmarking IT operations cost based on working time and unit cost Tsunoda, Masateru
 2017
 141-142 C p. 75-87
13 p.
 artikel
218 Beyond connected cars: A systems of systems perspective Pelliccione, Patrizio
141-142 C p.
 artikel
219 Bidirectionality in flow-sensitive demand-driven analysis Jaiswal, Swati
141-142 C p.
 artikel
220 Bisimilarity of open terms in stream GSOS Bonchi, Filippo
 2019
 141-142 C p. 1-26
 artikel
221 Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks Jacquet, Jean-Marie
 2016
 141-142 C p. 79-99
21 p.
 artikel
222 B model quality assessments on automated reachability repair with ISO/IEC 25010 Cai, Cheng-Hao
141-142 C p.
 artikel
223 Boolean constraints in SWI-Prolog: A comprehensive system description Triska, Markus
 2018
 141-142 C p. 98-115
 artikel
224 BoundWarden: Thread-enforced spatial memory safety through compile-time transformations Dhumbumroong, Smith
141-142 C p.
 artikel
225 Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language Barboni, Eric
 2014
 141-142 C p. 3-29
27 p.
 artikel
226 BSP abstract state machines capture bulk synchronous parallel computations Ferrarotti, Flavio
 2019
 141-142 C p.
 artikel
227 BURST: Benchmarking uniform random sampling techniques Acher, Mathieu
141-142 C p.
 artikel
228 Call for papers 1985
 141-142 C p. 321-
1 p.
 artikel
229 Call for papers 1986
 141-142 C p. 321-322
2 p.
 artikel
230 Candidate test set reduction for adaptive random testing: An overheads reduction technique Huang, Rubing
141-142 C p.
 artikel
231 CAN-Verify: Automated analysis for BDI agents Xu, Mengwei
141-142 C p.
 artikel
232 Castor: Programming with extensible generative visitors Zhang, Weixin
141-142 C p.
 artikel
233 Causal program dependence analysis Lee, Seongmin
141-142 C p.
 artikel
234 Centralized coordination vs. partially-distributed coordination with Reo and constraint automata Jongmans, S.-S.T.Q.
 2018
 141-142 C p. 48-77
 artikel
235 Certified control for train sign classification Roßbach, Jan
141-142 C p.
 artikel
236 cf4ocl: A C framework for OpenCL Fachada, Nuno
 2017
 141-142 C p. 9-19
11 p.
 artikel
237 Characterization of continuous experimentation in software engineering: Expressions, models, and strategies Erthal, Vladimir M.
141-142 C p.
 artikel
238 Checking business process evolution Krishna, Ajay
 2019
 141-142 C p. 1-26
 artikel
239 Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions Pittou, Maria
 2018
 141-142 C p. 1-24
 artikel
240 Choreographies in the wild Bartoletti, Massimo
 2015
 141-142 C p. 36-60
25 p.
 artikel
241 Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates Autili, Marco
 2018
 141-142 C p. 3-29
 artikel
242 CHOReVOLUTION: Service choreography in practice Autili, Marco
141-142 C p.
 artikel
243 Cigale: A tool for interactive grammar construction and expression parsing Voisin, Frédéric
 1986
 141-142 C p. 61-86
26 p.
 artikel
244 CLG-Trans: Contrastive learning for code summarization via graph attention-based transformer Zeng, Jianwei
141-142 C p.
 artikel
245 CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs Smajevic, Muhamed
141-142 C p.
 artikel
246 Co-evolving meta-models and their instance models: A formal approach based on graph transformation Mantz, Florian
 2015
 141-142 C p. 2-43
42 p.
 artikel
247 Combinators and type-driven transformers in Objective Caml Boulytchev, Dmitry
 2015
 141-142 C p. 57-73
17 p.
 artikel
248 Combining range and inequality information for pointer disambiguation Maalej, Maroua
 2018
 141-142 C p. 161-184
 artikel
249 Combining state- and event-based semantics to verify highly available applications Zeller, Peter
141-142 C p.
 artikel
250 Comparing differentiable logics for learning with logical constraints Flinkow, Thomas
141-142 C p.
 artikel
251 Comparing the performance of concurrent hash tables implemented in Haskell Duarte, Rodrigo Medeiros
 2019
 141-142 C p. 56-70
 artikel
252 Compatibility checking for asynchronously communicating software Ouederni, Meriem
141-142 C p.
 artikel
253 Compiling and optimizing methods for the functional language ASL/F Inoue, Katsuro
 1986
 141-142 C p. 297-312
16 p.
 artikel
254 Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes Boreale, Michele
141-142 C p.
 artikel
255 Compositional compiler construction: Oberon0 Viera, Marcos
 2015
 141-142 C p. 45-56
12 p.
 artikel
256 Compositional model checking with divergence preserving branching bisimilarity is lively de Putter, Sander
141-142 C p.
 artikel
257 Compositional noninterference on hardware weak memory models Coughlin, Nicholas
141-142 C p.
 artikel
258 Compositional workflow modeling with priority constraints Changizi, Behnaz
141-142 C p.
 artikel
259 Computing end-to-end delays in stream query processing Kakkad, Vasvi
 2015
 141-142 C p. 124-144
21 p.
 artikel
260 Computing maximum fixed point solutions over feasible paths in data flow analyses Pathade, Komal
141-142 C p.
 artikel
261 Computing (optimal) embeddings of directed bigraphs Chiapperini, Alessio
141-142 C p.
 artikel
262 Concolic testing for functional languages Giantsios, Aggelos
 2017
 141-142 C p. 109-134
26 p.
 artikel
263 Concurrency control generation for dynamic threads using discrete-event systems Auer, Anthony
 2014
 141-142 C p. 22-43
22 p.
 artikel
264 Conditional transition systems with upgrades Beohar, Harsh
141-142 C p.
 artikel
265 Constrained synthesis from component libraries Iannopollo, Antonio
 2019
 141-142 C p. 21-41
 artikel
266 Constraint automata with memory cells and their composition Jongmans, S.-S.T.Q.
 2017
 141-142 C p. 50-86
37 p.
 artikel
267 Constraint specialisation in Horn clause verification Kafle, Bishoksan
 2017
 141-142 C p. 125-140
16 p.
 artikel
268 Construction of Data Processing Software Jackson, Michael
 1985
 141-142 C p. 317-318
2 p.
 artikel
269 Context-aware reconfiguration in evolving software product lines Mauro, Jacopo
 2018
 141-142 C p. 139-159
 artikel
270 ContextErlang: A language for distributed context-aware self-adaptive applications Salvaneschi, Guido
 2015
 141-142 C p. 20-43
24 p.
 artikel
271 Continuous quality assessment with inCode Ganea, George
 2017
 141-142 C p. 19-36
18 p.
 artikel
272 Contract Automata Library Image 1 Basile, Davide
141-142 C p.
 artikel
273 Controlling timed automata against MTL specifications with TACoS Image 1 Hofmann, Till
141-142 C p.
 artikel
274 CoolTeD: A tool for co-labeling and visual analysis of textual dataset Image 1 Wang, Chong
141-142 C p.
 artikel
275 Coordinated computing: Tools and techniques for distributed software Feldman, Jerome A.
 1985
 141-142 C p. 318-320
3 p.
 artikel
276 Coordination in Socio-technical Systems: Where are we now? Where do we go next? Mariani, Stefano
 2019
 141-142 C p.
 artikel
277 Core Hybrid Event-B III: Fundamentals of a reasoning framework Banach, Richard
141-142 C p.
 artikel
278 Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines Banach, Richard
 2017
 141-142 C p. 1-35
35 p.
 artikel
279 Core Hybrid Event-B I: Single Hybrid Event-B machines Banach, Richard
 2015
 141-142 C p. 92-123
32 p.
 artikel
280 Correct composition in the presence of behavioural conflicts and dephasing Küster Filipe Bowles, Juliana
 2020
 141-142 C p.
 artikel
281 Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems Gu, Rong
141-142 C p.
 artikel
282 Correctness issues on MARTE/CCSL constraints Mallet, Frédéric
 2015
 141-142 C p. 78-92
15 p.
 artikel
283 Cost analysis for a resource sensitive workflow modelling language Ali, Muhammad Rizwan
141-142 C p.
 artikel
284 Cost-effective evolution of research prototypes into end-user tools: The MACH case study Störrle, Harald
 2017
 141-142 C p. 47-60
14 p.
 artikel
285 Cost-effective simulation-based test selection in self-driving cars software Image 1 Birchler, Christian
141-142 C p.
 artikel
286 Counterexample guided inductive optimization based on satisfiability modulo theories Araújo, Rodrigo F.
 2018
 141-142 C p. 3-23
 artikel
287 CPN simulation-based test case generation from controlled natural-language requirements Silva, Bruno Cesar F.
 2019
 141-142 C p. 111-139
 artikel
288 CRAG – a combinatorial testing-based generator of road geometries for ADS testing Arcaini, Paolo
141-142 C p.
 artikel
289 CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection Yang, Huiwen
141-142 C p.
 artikel
290 CSP-based counter abstraction for systems with node identifiers Mazur, Tomasz
 2014
 141-142 C p. 3-52
50 p.
 artikel
291 Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation Yin, Jie
 2019
 141-142 C p. 18-32
 artikel
292 Deciding conformance for bounded responsiveness Müller, Richard
 2017
 141-142 C p. 1-25
25 p.
 artikel
293 Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures Goubault de Brugière, Timothée
141-142 C p.
 artikel
294 Deductive verification of active objects with Crowbar Image 1 Kamburjan, Eduard
141-142 C p.
 artikel
295 Defending against Return-Oriented Programming attacks based on return instruction using static analysis and binary patch techniques Xu, Shenglin
141-142 C p.
 artikel
296 Dependency safety for Java – Implementing and testing failboxes Zhang, Dan
 2019
 141-142 C p.
 artikel
297 Derivation of a distributed algorithm for finding paths in directed networks McCurley, Robert
 1986
 141-142 C p. 1-9
9 p.
 artikel
298 Derivation of algorithmic control structures in Event-B refinement Dalvandi, Mohammadsadegh
 2017
 141-142 C p. 49-65
 artikel
299 Derivation representation using binary subtree sets Scott, Elizabeth
 2019
 141-142 C p. 63-84
 artikel
300 DEScMaker: A tool for automated code generation for discrete event systems controllers Possato, Tiago
141-142 C p.
 artikel
301 DescribeML: A dataset description tool for machine learning Image 1 Giner-Miguelez, Joan
141-142 C p.
 artikel
302 Description and improvement of iterative program transformations Souquières, Jeanine
 1985
 141-142 C p. 233-264
32 p.
 artikel
303 Design and architecture of an interactive eTextbook – The OpenDSA system Fouh, Eric
 2014
 141-142 C p. 22-40
19 p.
 artikel
304 Design and implementation of a cross-layer IoT protocol Resner, Davi
 2018
 141-142 C p. 24-37
 artikel
305 Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study Bae, Kyungmin
 2015
 141-142 C p. 13-50
38 p.
 artikel
306 desync-cc: A research tool for automatically applying disassembly desynchronization during compilation Kargén, Ulf
141-142 C p.
 artikel
307 Detecting broken pointcuts using structural commonality and degree of interest Khatchadourian, Raffi
 2017
 141-142 C p. 56-74
19 p.
 artikel
308 Detecting duplicate vulnerability records across databases Zhu, Kangliang
141-142 C p.
 artikel
309 DevReplay: Linter that generates regular expressions for repeating code changes Ueda, Yuki
141-142 C p.
 artikel
310 Diagnosis of package installation incompatibility via knowledge base Cao, Yulu
141-142 C p.
 artikel
311 DiaSuite: A tool suite to develop Sense/Compute/Control applications Bertran, Benjamin
 2014
 141-142 C p. 39-51
13 p.
 artikel
312 Disnix: A toolset for distributed deployment van der Burg, Sander
 2014
 141-142 C p. 52-69
18 p.
 artikel
313 Dissolving a half century old problem about the implementation of procedures van den Hove, Gauthier
 2017
 141-142 C p. 75-86
12 p.
 artikel
314 Distributed mutual exclusion on a ring of processes Martin, Alain J.
 1985
 141-142 C p. 265-276
12 p.
 artikel
315 DopSteg: Program steganography using data-oriented programming Lv, Jianqiang
141-142 C p.
 artikel
316 DPFuzz: A fuzz testing tool based on the guidance of defect prediction Cui, Zhanqi
141-142 C p.
 artikel
317 DREMS ML: A wide spectrum architecture design language for distributed computing platforms Balasubramanian, Daniel
 2015
 141-142 C p. 3-29
27 p.
 artikel
318 Dynamic creation of source code models for the extraction of code metrics data through grammar querying Nuñez-Varela, Alberto S.
141-142 C p.
 artikel
319 Earley table traversing parsers Scott, Elizabeth
141-142 C p.
 artikel
320 Early knowledge organization assisted by aspects Barra, Eduardo
 2016
 141-142 C p. 34-54
21 p.
 artikel
321 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
322 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
323 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
324 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
325 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
326 Editorial Board 2016
 141-142 C p. IFC-
1 p.
 artikel
327 Editorial Board 2016
 141-142 C p. IFC-
1 p.
 artikel
328 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
329 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
330 Editorial Board
141-142 C p.
 artikel
331 Editorial Board
141-142 C p.
 artikel
332 Editorial Board
141-142 C p.
 artikel
333 Editorial Board
141-142 C p.
 artikel
334 Editorial Board
141-142 C p.
 artikel
335 Editorial Board
141-142 C p.
 artikel
336 Editorial Board
141-142 C p.
 artikel
337 Editorial Board 2015
 141-142 C p. IFC-
1 p.
 artikel
338 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
339 Editorial Board 2016
 141-142 C p. IFC-
1 p.
 artikel
340 Editorial Board 2016
 141-142 C p. IFC-
1 p.
 artikel
341 Editorial Board 2016
 141-142 C p. IFC-
1 p.
 artikel
342 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
343 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
344 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
345 Editorial Board 2016
 141-142 C p. IFC-
1 p.
 artikel
346 Editorial Board 2018
 141-142 C p. ii
 artikel
347 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
348 Editorial Board 2018
 141-142 C p. ii
 artikel
349 Editorial Board 2017
 141-142 C p. IFC
 artikel
350 Editorial Board 2018
 141-142 C p. ii
 artikel
351 Editorial Board 2018
 141-142 C p. ii
 artikel
352 Editorial Board 2018
 141-142 C p. ii
 artikel
353 Editorial Board 2018
 141-142 C p. ii
 artikel
354 Editorial Board 2018
 141-142 C p. ii
 artikel
355 Editorial Board 2018
 141-142 C p. ii
 artikel
356 Editorial Board 2018
 141-142 C p. ii
 artikel
357 Editorial Board 2018
 141-142 C p. IFC
 artikel
358 Editorial Board 2018
 141-142 C p. ii
 artikel
359 Editorial Board 2018
 141-142 C p. ii
 artikel
360 Editorial Board 2018
 141-142 C p. ii
 artikel
361 Editorial Board 2018
 141-142 C p. ii
 artikel
362 Editorial Board 2017
 141-142 C p. IFC-
1 p.
 artikel
363 Editorial Board 1986
 141-142 C p. iii-
1 p.
 artikel
364 Editorial Board 2015
 141-142 C p. IFC-
1 p.
 artikel
365 Editorial Board 2015
 141-142 C p. IFC-
1 p.
 artikel
366 Editorial Board 2015
 141-142 C p. IFC-
1 p.
 artikel
367 Editorial Board 1985
 141-142 C p. iii-
1 p.
 artikel
368 Editorial Board 1986
 141-142 C p. ii-
1 p.
 artikel
369 Editorial Board 2019
 141-142 C p. ii
 artikel
370 Editorial Board 2018
 141-142 C p. ii
 artikel
371 Editorial Board 2019
 141-142 C p. ii
 artikel
372 Editorial Board 2019
 141-142 C p. ii
 artikel
373 Editorial Board 2019
 141-142 C p. ii
 artikel
374 Editorial Board 2019
 141-142 C p. ii
 artikel
375 Editorial Board 2019
 141-142 C p. ii
 artikel
376 Editorial Board 2018
 141-142 C p. ii
 artikel
377 Editorial Board 2019
 141-142 C p. ii
 artikel
378 Editorial Board 2019
 141-142 C p. ii
 artikel
379 Editorial Board 2019
 141-142 C p. ii
 artikel
380 Editorial Board 2019
 141-142 C p. ii
 artikel
381 Editorial Board 2019
 141-142 C p. ii
 artikel
382 Editorial Board 2019
 141-142 C p. ii
 artikel
383 Editorial Board
141-142 C p. ii
 artikel
384 Editorial Board 2019
 141-142 C p.
 artikel
385 Editorial Board
141-142 C p. ii
 artikel
386 Editorial Board 2020
 141-142 C p.
 artikel
387 Editorial Board
141-142 C p.
 artikel
388 Editorial Board
141-142 C p.
 artikel
389 Editorial Board
141-142 C p.
 artikel
390 Editorial Board 2019
 141-142 C p.
 artikel
391 Editorial Board 2019
 141-142 C p. ii
 artikel
392 Editorial Board
141-142 C p.
 artikel
393 Editorial Board
141-142 C p.
 artikel
394 Editorial Board
141-142 C p.
 artikel
395 Editorial Board
141-142 C p.
 artikel
396 Editorial Board
141-142 C p.
 artikel
397 Editorial Board
141-142 C p.
 artikel
398 Editorial Board
141-142 C p.
 artikel
399 Editorial Board
141-142 C p.
 artikel
400 Editorial Board
141-142 C p.
 artikel
401 Editorial Board
141-142 C p.
 artikel
402 Editorial Board
141-142 C p.
 artikel
403 Editorial Board
141-142 C p.
 artikel
404 Editorial Board
141-142 C p.
 artikel
405 Editorial Board
141-142 C p.
 artikel
406 Editorial Board
141-142 C p.
 artikel
407 Editorial Board
141-142 C p. IFC
 artikel
408 Editorial Board
141-142 C p.
 artikel
409 Editorial Board
141-142 C p. IFC
 artikel
410 Editorial Board
141-142 C p.
 artikel
411 Editorial Board
141-142 C p.
 artikel
412 Editorial Board
141-142 C p.
 artikel
413 Editorial Board
141-142 C p.
 artikel
414 Editorial Board
141-142 C p.
 artikel
415 Editorial Board
141-142 C p.
 artikel
416 Editorial Board
141-142 C p.
 artikel
417 Editorial Board
141-142 C p.
 artikel
418 Editorial Board
141-142 C p.
 artikel
419 Editorial Board
141-142 C p.
 artikel
420 Editorial Board
141-142 C p.
 artikel
421 Editorial Board
141-142 C p.
 artikel
422 Editorial Board
141-142 C p.
 artikel
423 Editorial Board
141-142 C p.
 artikel
424 Editorial Board
141-142 C p.
 artikel
425 Editorial Board
141-142 C p.
 artikel
426 Editorial Board
141-142 C p.
 artikel
427 Editorial Board
141-142 C p.
 artikel
428 Editorial Board
141-142 C p.
 artikel
429 Editorial Board
141-142 C p.
 artikel
430 Editorial Board
141-142 C p.
 artikel
431 Editorial Board
141-142 C p.
 artikel
432 Editorial Board
141-142 C p.
 artikel
433 Editorial Board
141-142 C p.
 artikel
434 Editorial Board
141-142 C p.
 artikel
435 Editorial Board
141-142 C p.
 artikel
436 Editorial Board
141-142 C p.
 artikel
437 Editorial Board
141-142 C p.
 artikel
438 Editorial Board
141-142 C p.
 artikel
439 Editorial Board
141-142 C p.
 artikel
440 Editorial Board
141-142 C p.
 artikel
441 Editorial Board
141-142 C p.
 artikel
442 Editorial - Theoretical Aspects of Software Engineering (2017) Mallet, Frederic
141-142 C p.
 artikel
443 Effect capabilities for Haskell: Taming effect interference in monadic programming Figueroa, Ismael
 2016
 141-142 C p. 3-30
28 p.
 artikel
444 Effect-dependent transformations for concurrent programs Benton, Nick
 2018
 141-142 C p. 27-51
 artikel
445 Effectful improvement theory Ceresa, Martín A.
141-142 C p.
 artikel
446 Efficient counter-factual type error debugging Chen, Sheng
141-142 C p.
 artikel
447 Efficient interaction-based offline runtime verification of distributed systems with lifeline removal Mahe, Erwan
141-142 C p.
 artikel
448 Efficiently intertwining widening and narrowing Amato, Gianluca
 2016
 141-142 C p. 1-24
24 p.
 artikel
449 Efficient parsing with parser combinators Kurš, Jan
141-142 C p. 57-88
 artikel
450 Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation Choi, Yunja
 2015
 141-142 C p. 51-70
20 p.
 artikel
451 Efficient testing of GUI applications by event sequence reduction Yan, Jiwei
141-142 C p.
 artikel
452 Embedding the refinement calculus in Coq Alpuim, João
 2018
 141-142 C p. 37-48
 artikel
453 EMIP: The eye movements in programming dataset Bednarik, Roman
141-142 C p.
 artikel
454 Empirical investigation of SEA-based dependence cluster properties Beszédes, Árpád
 2015
 141-142 C p. 3-25
23 p.
 artikel
455 Empirically evaluating Greedy-based test suite reduction methods at different levels of test suite complexity Lin, Chu-Ti
 2017
 141-142 C p. 1-25
25 p.
 artikel
456 Enabling analysis for Event-B Dobrikov, Ivaylo
 2018
 141-142 C p. 81-99
 artikel
457 Enabling PHP software engineering research in Rascal Hills, Mark
 2017
 141-142 C p. 37-46
10 p.
 artikel
458 Encoding TLA+ into unsorted and many-sorted first-order logic Merz, Stephan
 2018
 141-142 C p. 3-20
 artikel
459 Encoding TLA+ proof obligations safely for SMT Defourné, Rosalie
141-142 C p.
 artikel
460 End-user abstractions for meta-control: Reifying the reflectogram Papoulias, N.
 2017
 141-142 C p. 2-16
15 p.
 artikel
461 ESBMC-GPU A context-bounded model checking tool to verify CUDA programs Monteiro, Felipe R.
 2018
 141-142 C p. 63-69
 artikel
462 ESBMC v7.6: Enhanced model checking of C++ programs with clang AST Li, Xianzhiyu
141-142 C p.
 artikel
463 EUD-MARS: End-user development of model-driven adaptive robotics software systems Akiki, Pierre A.
141-142 C p.
 artikel
464 Evaluating a continuous feedback strategy to enhance machine learning code smell detection Cruz, Daniel
141-142 C p.
 artikel
465 Evaluating a graphical notation for modeling collaborative learning activities: A family of experiments Molina, Ana I.
 2014
 141-142 C p. 54-81
28 p.
 artikel
466 Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging Shimari, Kazumasa
141-142 C p.
 artikel
467 Evaluating the impact of feature selection consistency in software prediction Ali, Asad
141-142 C p.
 artikel
468 Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies Yang, Bo
141-142 C p.
 artikel
469 Evaluation of a process for architectural assumption management in software development Yang, Chen
 2018
 141-142 C p. 38-70
 artikel
470 Event-B formalization of a variability-aware component model patterns framework Bodeveix, Jean-Paul
141-142 C p.
 artikel
471 EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems Rahli, Vincent
 2017
 141-142 C p. 26-48
 artikel
472 Evolutionary and collaborative software architecture recovery with Softwarenaut Lungu, Mircea
 2014
 141-142 C p. 204-223
20 p.
 artikel
473 Evolutionary Computing to solve product inconsistencies in Software Product Lines Afzal, Uzma
141-142 C p.
 artikel
474 Evolutionary coupling measurement: Making sense of the current chaos Kirbas, Serkan
 2017
 141-142 C p. 4-19
16 p.
 artikel
475 Evolutionary design of user interfaces for workflow information systems Guerrero-García, Josefina
 2014
 141-142 C p. 89-102
14 p.
 artikel
476 EvoMBT: Evolutionary model based testing Image 1 Ferdous, Raihana
141-142 C p.
 artikel
477 Examining the performance of kernel methods for software defect prediction based on support vector machine Azzeh, Mohammad
141-142 C p.
 artikel
478 Exception handling for copyless messaging Jakšić, Svetlana
 2014
 141-142 C p. 22-51
30 p.
 artikel
479 Executable formal specifications of complex distributed systems with CoreASM Farahbod, Roozbeh
 2014
 141-142 C p. 23-38
16 p.
 artikel
480 Exhaustive property oriented model-based testing with symbolic finite state machines Huang, Wen-ling
141-142 C p.
 artikel
481 Experiences on teaching alloy with an automated assessment platform Macedo, Nuno
141-142 C p.
 artikel
482 Exploration of language specifications by compilation to first-order logic Grewe, Sylvia
 2018
 141-142 C p. 146-172
 artikel
483 Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology Becker, Pablo
141-142 C p.
 artikel
484 Exploring issues of story-based effort estimation in Agile Software Development (ASD) Iqbal, Muhammad
141-142 C p.
 artikel
485 Exploring the frequency and change proneness of dynamic feature pattern instances in PHP applications Kyriakakis, Panos
 2019
 141-142 C p. 1-20
 artikel
486 Extending web-based educational systems with personalised support through User Centred Designed recommendations along the e-learning life cycle Santos, Olga C.
 2014
 141-142 C p. 92-109
18 p.
 artikel
487 Extremo: An Eclipse plugin for modelling and meta-modelling assistance Mora Segura, Ángel
 2019
 141-142 C p. 71-80
 artikel
488 Facilitating professionals' work-based learning with context-aware mobile system Zhang, Bingxue
 2016
 141-142 C p. 3-19
17 p.
 artikel
489 Fast rule-based graph programs Campbell, Graham
141-142 C p.
 artikel
490 FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Song, Jiyoung
 2018
 141-142 C p. 115-137
 artikel
491 FCPP to aggregate them all Image 1 Audrito, Giorgio
141-142 C p.
 artikel
492 Featured games Fahrenberg, Uli
141-142 C p.
 artikel
493 FeatureIDE: An extensible framework for feature-oriented software development Thüm, Thomas
 2014
 141-142 C p. 70-85
16 p.
 artikel
494 Feedback services for stepwise exercises Heeren, Bastiaan
 2014
 141-142 C p. 110-129
20 p.
 artikel
495 Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation Huang, Heji
141-142 C p.
 artikel
496 Finding available services in TOSCA-compliant clouds Brogi, Antonio
 2016
 141-142 C p. 177-198
22 p.
 artikel
497 Finite complete suites for CSP refinement testing Peleska, Jan
 2019
 141-142 C p. 1-23
 artikel
498 Flexible learning itinerary vs. linear learning itinerary Martín-SanJosé, Juan-Fernando
 2014
 141-142 C p. 3-21
19 p.
 artikel
499 FM fact label Horcas, Jose-Miguel
141-142 C p.
 artikel
500 Foreword Kokash, Natallia
 2016
 141-142 C p. 1-2
2 p.
 artikel
501 Formal analysis of a calculus for WSNs from quality perspective Wu, Xi
 2018
 141-142 C p. 134-153
 artikel
502 Formal analysis of feature degradation in fault-tolerant automotive systems Becker, Klaus
 2018
 141-142 C p. 89-133
 artikel
503 Formal architecture modeling of sequential non-recursive C programs Westman, Jonas
 2017
 141-142 C p. 2-27
26 p.
 artikel
504 Formal aspects of component software (FACS 2018) Bae, Kyungmin
141-142 C p.
 artikel
505 Formal design of dynamic reconfiguration protocol for cloud applications Abid, Rim
 2016
 141-142 C p. 1-16
16 p.
 artikel
506 Formal development of multi-agent systems using MAZE Li, Qin
 2016
 141-142 C p. 126-150
25 p.
 artikel
507 Formalizing hierarchical scheduling for refinement of real-time systems Zhu, Chenyang
141-142 C p.
 artikel
508 Formalizing the dependency pair criterion for innermost termination Almeida, Ariane Alves
141-142 C p.
 artikel
509 Formally proved specification of non-nested STL formulas as synchronous observers Bellanger, Céline
141-142 C p.
 artikel
510 Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B Dupont, Guillaume
141-142 C p.
 artikel
511 Formally verifying consistency of sequence diagrams for safety critical systems Chen, Xiaohong
141-142 C p.
 artikel
512 Formal methods and finite element analysis of hurricane storm surge: A case study in software verification Baugh, John
 2018
 141-142 C p. 100-121
 artikel
513 Formal model-driven engineering of critical information systems Davies, Jim
 2015
 141-142 C p. 88-113
26 p.
 artikel
514 Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Fadlisyah, Muhammad
 2015
 141-142 C p. 95-127
33 p.
 artikel
515 Formal modeling and analysis of railway operations with active objects Kamburjan, Eduard
 2018
 141-142 C p. 167-193
 artikel
516 Formal proof of dynamic memory isolation based on MMU Jomaa, Narjes
 2018
 141-142 C p. 76-92
 artikel
517 Formal reasoning about resilient goal-oriented multi-agent systems Laibinis, L.
 2017
 141-142 C p. 66-87
 artikel
518 Formal security analysis for software architecture design: An expressive framework to emerging architectural styles Chondamrongkul, Nacha
141-142 C p.
 artikel
519 Formal specification and SMT verification of quantized neural network for autonomous vehicles Bachiri, Wahiba
141-142 C p.
 artikel
520 Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines Bonfanti, Silvia
141-142 C p.
 artikel
521 Formal specification and verification of TCP extended with the Window Scale Option Lockefeer, Lars
 2016
 141-142 C p. 3-23
21 p.
 artikel
522 Formal Techniques for Safety-Critical Systems (FTSCS 2015) Artho, Cyrille
 2018
 141-142 C p. 1-2
 artikel
523 Formal Techniques for Safety-Critical Systems (FTSCS 2016) Artho, Cyrille
 2019
 141-142 C p. 35-36
 artikel
524 Formal Techniques for Safety-Critical Systems (FTSCS 2018) Artho, Cyrille
141-142 C p.
 artikel
525 Formal techniques in the safety analysis of software components of a new dialysis machine Harrison, Michael D.
 2019
 141-142 C p. 17-34
 artikel
526 Formal verification of autonomous vehicle platooning Kamali, Maryam
 2017
 141-142 C p. 88-106
 artikel
527 Formal verification of input-output mappings of tree ensembles Törnblom, John
141-142 C p.
 artikel
528 Formal verification of IoT applications using rewriting logic: An MDE-based approach Fortas, Abdelouahab
141-142 C p.
 artikel
529 Formal verification of timely knowledge propagation in airborne networks Paul, Saswata
141-142 C p.
 artikel
530 Forward- or reverse-mode automatic differentiation: What's the difference? van den Berg, Birthe
141-142 C p.
 artikel
531 Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models Edwards, Alec
141-142 C p.
 artikel
532 Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing Image 1 Klikovits, Stefan
141-142 C p.
 artikel
533 From CIL to Java bytecode: Semantics-based translation for static analysis leveraging Ferrara, Pietro
141-142 C p.
 artikel
534 FSM quasi-equivalence testing via reduction and observing absences Hierons, Robert M.
 2019
 141-142 C p. 1-18
 artikel
535 FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC Image 1 ter Beek, Maurice H.
141-142 C p.
 artikel
536 Full-abstraction for client testing preorders Bernardi, Giovanni
 2018
 141-142 C p. 94-117
 artikel
537 Functional and logic programming: Selected papers of FLOPS 2022 Hanus, Michael
141-142 C p.
 artikel
538 Functional change impact analysis in use cases: An approach based on COSMIC functional size measurement Haoues, Mariem
 2017
 141-142 C p. 88-104
17 p.
 artikel
539 Functional programming with side-effects Josephs, Mark B.
 1986
 141-142 C p. 279-296
18 p.
 artikel
540 Function translations and search-based transformation for MVL reversible circuit synthesis Miller, D. Michael
141-142 C p.
 artikel
541 Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015) Dastani, Mehdi
 2018
 141-142 C p. 1-2
 artikel
542 Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017) Dastani, Mehdi
141-142 C p. 86-87
 artikel
543 Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019) Hojjat, Hossein
141-142 C p.
 artikel
544 Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021) Hojjat, Hossein
141-142 C p.
 artikel
545 Fuzzing microservices: A series of user studies in industry on industrial systems with EvoMaster Zhang, Man
141-142 C p.
 artikel
546 Gaiwan: A size-polymorphic typesystem for GPU programs Gurdeep Singh, Robbert
141-142 C p.
 artikel
547 Gamifying model-based engineering: The PapyGame tool Bucchiarone, Antonio
141-142 C p.
 artikel
548 GaMoVR: Gamification-based UML learning environment in virtual reality Yigitbas, Enes
141-142 C p.
 artikel
549 Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain Bahr, Patrick
 2017
 141-142 C p. 63-97
35 p.
 artikel
550 Generating C: Heterogeneous metaprogramming system description Kiselyov, Oleg
141-142 C p.
 artikel
551 Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework Champion, Adrien
 2015
 141-142 C p. 71-87
17 p.
 artikel
552 Gitana: A software project inspector Cosentino, Valerio
 2018
 141-142 C p. 30-33
 artikel
553 GLL syntax analysers for EBNF grammars Scott, Elizabeth
 2018
 141-142 C p. 120-145
 artikel
554 Global consensus through local synchronization: A formal basis for partially-distributed coordination Jongmans, S.-S.T.Q.
 2016
 141-142 C p. 199-224
26 p.
 artikel
555 GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation Zong, Xing
141-142 C p.
 artikel
556 Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015) Cornélio, M.L.
 2019
 141-142 C p. 82-83
 artikel
557 Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6) van den Brand, Mark G.J.
 2017
 141-142 C p. 1-3
3 p.
 artikel
558 Guest editors’ introduction to the 4th issue of Experimental Software and Toolkits (EST-4) Mens, Kim
 2014
 141-142 C p. 1-5
5 p.
 artikel
559 Guided just-in-time specialization Lima, Caio
 2020
 141-142 C p.
 artikel
560 Handling B models in the PERF integrated verification framework: Formalised and certified embedding Halchin, Alexandra
141-142 C p.
 artikel
561 HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection Image 1 Huang, Zijie
141-142 C p.
 artikel
562 Hermes: A reversible language for lightweight encryption Mogensen, Torben Ægidius
141-142 C p.
 artikel
563 Heterogeneous verification in the context of model driven engineering Calegari, Daniel
 2016
 141-142 C p. 3-30
28 p.
 artikel
564 HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data Ait, Adem
141-142 C p.
 artikel
565 Hierarchical featured state machines Fragal, Vanderson Hafemann
 2019
 141-142 C p. 67-88
 artikel
566 Higher-order logic programming: An expressive language for representing qualitative preferences Charalambidis, Angelos
 2018
 141-142 C p. 173-197
 artikel
567 High-level axioms for graphical linear algebra Paixão, João
141-142 C p.
 artikel
568 How accessibility affects other quality attributes of software? A case study of GitHub Zhao, Yaxin
141-142 C p.
 artikel
569 How organisation of architecture documentation affects architectural knowledge retrieval de Graaf, K.A.
 2016
 141-142 C p. 75-99
25 p.
 artikel
570 How to benefit from newbies' domain ignorance in software development projects Mehrotra, Gaurav
141-142 C p.
 artikel
571 Hubs for VirtuosoNext: Online verification of real-time coordinators Cledou, Guillermina
141-142 C p.
 artikel
572 Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss? Liu, Xutong
141-142 C p.
 artikel
573 Hybrid dynamical systems logic and its refinements Platzer, André
141-142 C p.
 artikel
574 iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks Chen, Jinfu
141-142 C p.
 artikel
575 Image 1 : Asynchronous global types in co-logic programming Image 2 Bianchini, Riccardo
141-142 C p.
 artikel
576 Image 1 : A tool chain for choreographic design Guanciale, Roberto
141-142 C p.
 artikel
577 Impacts of software community patterns on process and product: An empirical study De Stefano, Manuel
141-142 C p.
 artikel
578 Implementation and design of a service-based framework to integrate personal and institutional learning environments Conde, Miguel Á.
 2014
 141-142 C p. 41-53
13 p.
 artikel
579 Implementing an environment for hybrid software evaluation Díaz-Muñoz, Ana
141-142 C p.
 artikel
580 Implementing record and refinement for debugging timing-dependent communication Felgentreff, T.
 2017
 141-142 C p. 4-18
15 p.
 artikel
581 Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations Schmidt-Schauß, Manfred
 2017
 141-142 C p. 3-26
24 p.
 artikel
582 Improving and comparing performance of machine learning classifiers optimized by swarm intelligent algorithms for code smell detection Jain, Shivani
141-142 C p.
 artikel
583 Improving custom-tailored variability mining using outlier and cluster detection Wille, David
 2018
 141-142 C p. 62-84
 artikel
584 Improving live debugging of concurrent threads through thread histories Leske, Max
141-142 C p. 122-148
 artikel
585 Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection Jain, Shivani
141-142 C p.
 artikel
586 Improving software effort estimation using bio-inspired algorithms to select relevant features: An empirical study Ali, Asad
141-142 C p.
 artikel
587 Improving static analyses of C programs with conditional predicates Blazy, Sandrine
 2016
 141-142 C p. 77-95
19 p.
 artikel
588 Improving the success rate of applying the extract method refactoring Sandoval Alcocer, Juan Pablo
141-142 C p.
 artikel
589 Improving workflow modularity using a concern-specific layer on top of Unify Joncheere, Niels
 2014
 141-142 C p. 62-94
33 p.
 artikel
590 Inclusion algorithms for one-unambiguous regular expressions and their applications Chen, Haiming
141-142 C p.
 artikel
591 Increasing test coverage with Hapao Bergel, Alexandre
 2014
 141-142 C p. 86-100
15 p.
 artikel
592 Incremental computing with data structures Morihata, Akimasa
 2018
 141-142 C p. 18-36
 artikel
593 Incremental evaluation of higher-order attributes Bransen, Jeroen
 2017
 141-142 C p. 98-124
27 p.
 artikel
594 Industrial applications of the PetriDotNet modelling and analysis tool Vörös, András
 2018
 141-142 C p. 17-40
 artikel
595 Inferring linear invariants with parallelotopes Amato, Gianluca
 2017
 141-142 C p. 161-188
 artikel
596 Inferring software behavioral models with MapReduce Luo, Chen
 2017
 141-142 C p. 13-36
24 p.
 artikel
597 Innermost many-sorted term rewriting on GPUs van Eerd, Johri
141-142 C p.
 artikel
598 Institution-based foundations for verification in the context of model-driven engineering Calegari, Daniel
 2015
 141-142 C p. 41-63
23 p.
 artikel
599 Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications Liu, Shuqi
141-142 C p.
 artikel
600 Integrating formal methods into medical software development: The ASM approach Arcaini, Paolo
 2018
 141-142 C p. 148-167
 artikel
601 Integrating software engineering theory and practice using essence: A case study Ng, Pan-Wei
 2015
 141-142 C p. 66-78
13 p.
 artikel
602 Interleaving semantics and verification of UML 2 dynamic interactions using process algebra Belghiat, Aissam
141-142 C p.
 artikel
603 Introduction—the LDTA tool challenge van den Brand, Mark
 2015
 141-142 C p. 1-6
6 p.
 artikel
604 Introduction to reversal fuzzy switch graph Campos, Suene
141-142 C p.
 artikel
605 Introduction to the ABZ 2014 special issue Ait-Ameur, Yamine
 2016
 141-142 C p. 1-2
2 p.
 artikel
606 Introduction to the ABZ 2016 Special issue Butler, Michael
 2018
 141-142 C p. 1-2
 artikel
607 Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue Felderer, Michael
141-142 C p.
 artikel
608 Introduction to the special issue from Petri Nets 2016 Kordon, Fabrice
 2018
 141-142 C p. 1-2
 artikel
609 Introduction to the TASE 2022 Special issue Ait-Ameur, Yamine
141-142 C p.
 artikel
610 Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems Perkowski, Marek
141-142 C p.
 artikel
611 Investigating quality aspects for UX evaluation of IoT-based applications in smart cities: A literature review Choma, Joelma
141-142 C p.
 artikel
612 IOCL: An interactive tool for specifying, validating and evaluating OCL constraints Hammad, Muhammad
141-142 C p. 3-8
 artikel
613 IPFS requested content location service Costa, Pedro Ákos
141-142 C p.
 artikel
614 Irish: A Hidden Markov Model to detect coded information islands in free text Cerulo, Luigi
 2015
 141-142 C p. 26-43
18 p.
 artikel
615 ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis Image 1 Wu, Xiaoxue
141-142 C p.
 artikel
616 Jaccie: A Java-based compiler–compiler for generating, visualizing and debugging compiler components Krebs, Nico
 2014
 141-142 C p. 101-115
15 p.
 artikel
617 JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode Caserta, Pierre
 2014
 141-142 C p. 116-125
10 p.
 artikel
618 jcolibri2: A framework for building Case-based reasoning systems Recio-García, Juan A.
 2014
 141-142 C p. 126-145
20 p.
 artikel
619 JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device Bessa, Tarsila
 2019
 141-142 C p. 21-36
 artikel
620 JoT: A Jolie framework for testing microservices Giallorenzo, Saverio
141-142 C p.
 artikel
621 JPC: A library for categorising and applying inter-language conversions between Java and Prolog Castro, Sergio
 2017
 141-142 C p. 75-99
25 p.
 artikel
622 JP2: Call-site aware calling context profiling for the Java Virtual Machine Sarimbekov, Aibek
 2014
 141-142 C p. 146-157
12 p.
 artikel
623 Kin2. A Kinect 2 toolbox for MATLAB Terven, Juan R.
 2016
 141-142 C p. 97-106
10 p.
 artikel
624 KinZ an Azure Kinect toolkit for Python and Matlab Terven, Juan R.
141-142 C p.
 artikel
625 Knowledge discovery in software teams by means of evolutionary visual software analytics González-Torres, Antonio
 2016
 141-142 C p. 55-74
20 p.
 artikel
626 Knowledge representation and information extraction for analysing architectural patterns Velasco-Elizondo, Perla
 2016
 141-142 C p. 176-189
14 p.
 artikel
627 Kraken: A framework for enabling multi-device interaction-based testing of Android apps Ravelo-Méndez, William
141-142 C p.
 artikel
628 Kraken 2.0: A platform-agnostic and cross-device interaction testing tool Image 1 Ravelo-Méndez, William
141-142 C p.
 artikel
629 Language-integrated provenance Fehrenbach, Stefan
 2018
 141-142 C p. 103-145
 artikel
630 Large-scale system development using Abstract Data Types and refinement Fürst, Andreas
 2016
 141-142 C p. 59-75
17 p.
 artikel
631 Latch: Enabling large-scale automated testing on constrained systems Lauwaerts, Tom
141-142 C p.
 artikel
632 LayoutOptimizer: A layout rendering performance optimizer for Android application Wu, Yue
141-142 C p.
 artikel
633 Lean formalization of bounded grids and computable cellular automata defined thereover Silváši, František
141-142 C p.
 artikel
634 LEMMA2Jolie: A tool to generate microservice APIs from domain models Image 1 Giallorenzo, Saverio
141-142 C p.
 artikel
635 Lessons from Dutch IT-outsourcing success and failure Delen, G.P.A.J.
 2016
 141-142 C p. 37-68
32 p.
 artikel
636 libmg: A Python library for programming graph neural networks in μ G Belenchia, Matteo
141-142 C p.
 artikel
637 Lightweight energy consumption analysis and prediction for Android applications Hu, Yan
 2018
 141-142 C p. 132-147
 artikel
638 Linear dependent types in a call-by-value scenario Dal Lago, Ugo
 2014
 141-142 C p. 77-100
24 p.
 artikel
639 Linked weak reference arrays: A hybrid approach to efficient bulk finalization Valloud, Andrés
141-142 C p.
 artikel
640 Local confluence analysis of hypergraph transformation systems with application conditions based on M -functors and Agg Maximova, Maria
 2015
 141-142 C p. 44-70
27 p.
 artikel
641 Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving Jesus, Joabe
141-142 C p.
 artikel
642 Locally weighted regression with different kernel smoothers for software effort estimation Alqasrawi, Yousef
141-142 C p.
 artikel
643 Local reversibility in a Calculus of Covalent Bonding Kuhn, Stefan
141-142 C p. 18-47
 artikel
644 Log analysis and system monitoring with nfer Image 1 Kauffman, Sean
141-142 C p.
 artikel
645 Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project Ueda, Kazunori
 2018
 141-142 C p. 3-17
 artikel
646 Loop invariance with break and continue Chen, Wei
141-142 C p.
 artikel
647 Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions Decan, Alexandre
141-142 C p.
 artikel
648 Low-code design of collective systems with ScaFi-Blocks Aguzzi, Gianluca
141-142 C p.
 artikel
649 Lub: A pattern for fine grained behavior adaptation at runtime Costiou, Steven
141-142 C p. 149-171
 artikel
650 MacroSwarm: A scala framework for swarm programming Aguzzi, Gianluca
141-142 C p.
 artikel
651 Making explicit domain knowledge in formal system development Ait-Ameur, Yamine
 2016
 141-142 C p. 100-127
28 p.
 artikel
652 Managing facts and resources with the Pica IDE infrastructure library Bagge, Anya Helene
 2017
 141-142 C p. 100-111
12 p.
 artikel
653 Many-to-many information flow policies Baldan, Paolo
 2018
 141-142 C p. 118-141
 artikel
654 Matrix Code van Emden, M.H.
 2014
 141-142 C p. 3-21
19 p.
 artikel
655 Maximizing reachability probabilities in rectangular automata with random events Delicaris, Joanna
141-142 C p.
 artikel
656 Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems Timm, Nils
141-142 C p.
 artikel
657 MDAPW3: MDA-based development of blockchain-enabled decentralized applications Samanipour, Ali
141-142 C p.
 artikel
658 Measurement of key performance indicators of user experience based on software requirements Atoum, Issa
141-142 C p.
 artikel
659 Measuring and analyzing code authorship in 1 + 118 open source projects Avelino, Guilherme
 2019
 141-142 C p. 14-32
 artikel
660 Mechanical incrementalization of typing algorithms Busi, Matteo
141-142 C p.
 artikel
661 Mechanization of coherence and adequacy: Being extrinsic extended to subtyping Gadea, Alejandro
141-142 C p.
 artikel
662 Mediator: A component-based modeling language for concurrent and distributed systems Li, Yi
141-142 C p.
 artikel
663 Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems Freitas, Leo
141-142 C p.
 artikel
664 Memoized zipper-based attribute grammars and their higher order extension Fernandes, João Paulo
 2019
 141-142 C p. 71-94
 artikel
665 Mercury: Using the QuPreSS reference model to evaluate predictive services Martínez-Fernández, S.
 2017
 141-142 C p. 61-74
14 p.
 artikel
666 Merging cloned Alloy models with colorful refactorings Liu, Chong
141-142 C p.
 artikel
667 Message-based functional operating systems Stoye, William
 1986
 141-142 C p. 291-311
21 p.
 artikel
668 Method safety mechanism for asynchronous layer deactivation Kamina, Tetsuo
 2018
 141-142 C p. 104-120
 artikel
669 Microservices simulator: An object-oriented framework for transactional causal consistency Pereira, Pedro
141-142 C p.
 artikel
670 Minimizing Characterizing sets Cengiz Türker, Uraz
141-142 C p.
 artikel
671 Mining inline cache data to order inferred types in dynamic languages Milojković, Nevena
141-142 C p. 105-121
 artikel
672 Mining structured data in natural language artifacts with island parsing Bacchelli, Alberto
 2017
 141-142 C p. 31-55
25 p.
 artikel
673 Mi Superpoder es la Programación: A tool for teaching programming to children and youth Gutiérrez Beltrán, Erika J.
141-142 C p.
 artikel
674 MMINT-A: A framework for model-based safety assurance Di Sandro, Alessio
141-142 C p.
 artikel
675 Modal characterisation of simulation relations in probabilistic concurrent games Zhang, Chenyi
141-142 C p.
 artikel
676 Model based component development and analysis with ComMA Kurtev, Ivan
141-142 C p.
 artikel
677 Model-based mutation testing—Approach and case studies Belli, Fevzi
 2016
 141-142 C p. 25-48
24 p.
 artikel
678 Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations Graics, Bence
141-142 C p.
 artikel
679 Model checking and verification of a rail-side protection system Sarikoc, Fatih
141-142 C p.
 artikel
680 Model checking C++ programs with exceptions Ročkai, P.
 2016
 141-142 C p. 68-85
18 p.
 artikel
681 Model checking linear temporal logic of rewriting formulas under localized fairness Bae, Kyungmin
 2015
 141-142 C p. 193-234
42 p.
 artikel
682 Model checking recursive programs interacting via the heap Asăvoae, I.M.
 2015
 141-142 C p. 61-83
23 p.
 artikel
683 Model checking safety and liveness via k-induction and witness refinement with constraint generation Timm, Nils
141-142 C p.
 artikel
684 Model checking with memoisation for fast overtaking planning Miller, Alice
141-142 C p.
 artikel
685 Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations Bouraoui, Amina
 2019
 141-142 C p. 63-101
 artikel
686 Model-driven processes and tools to design robot-based generative learning objects for computer science education Štuikys, Vytautas
 2016
 141-142 C p. 48-71
24 p.
 artikel
687 Model independent refusal trace testing Gazda, Maciej
141-142 C p.
 artikel
688 Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation Mammar, Amel
141-142 C p.
 artikel
689 Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain Barták, Roman
 2017
 141-142 C p. 54-77
24 p.
 artikel
690 Modeling, manipulating and evolving hybrid polystores with HyDRa Gobert, Maxime
141-142 C p.
 artikel
691 Modelling and analyzing adaptive self-assembly strategies with Maude Bruni, Roberto
 2015
 141-142 C p. 75-94
20 p.
 artikel
692 Modelling and verifying BDI agents under uncertainty Archibald, Blair
141-142 C p.
 artikel
693 Modelling and verifying BDI agents with bigraphs Archibald, Blair
141-142 C p.
 artikel
694 Modelling concurrent objects running on the TSO and ARMv8 memory models Winter, Kirsten
 2019
 141-142 C p.
 artikel
695 Modelling digital avatars: A tuple space approach Pérez-Vereda, Alejandro
141-142 C p.
 artikel
696 Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B Banach, Richard
 2018
 141-142 C p. 21-44
 artikel
697 Model of error propagation in systems of communicating processes Zieliński, Krzysztof
 1986
 141-142 C p. 191-205
15 p.
 artikel
698 ModelSet: A labelled dataset of software models for machine learning López, José Antonio Hernández
141-142 C p.
 artikel
699 Modern methods for COBOL programmers Lesuisse, R.
 1986
 141-142 C p. 319-
1 p.
 artikel
700 Modular, crash-safe refinement for ASMs with submachines Ernst, Gidon
 2016
 141-142 C p. 3-21
19 p.
 artikel
701 Modular encoding of synchronous and asynchronous interactions using open Petri nets Baldan, Paolo
 2015
 141-142 C p. 96-124
29 p.
 artikel
702 Modular grammar specification Johnstone, Adrian
 2014
 141-142 C p. 23-43
21 p.
 artikel
703 Modular language implementation in Rascal – experience report Basten, Bas
 2015
 141-142 C p. 7-19
13 p.
 artikel
704 Modular type checking of anchored exception declarations van Dooren, Marko
 2014
 141-142 C p. 44-61
18 p.
 artikel
705 Modules and transactions: Building blocks for a theory of software engineering Erbas, Cengiz
 2015
 141-142 C p. 6-20
15 p.
 artikel
706 Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data Macías, José A
141-142 C p.
 artikel
707 MoULDyS: Monitoring of autonomous systems in the presence of uncertainties Ghosh, Bineet
141-142 C p.
 artikel
708 Multi-core cyclic executives for safety-critical systems Deutschbein, Calvin
 2019
 141-142 C p. 102-116
 artikel
709 Multi-objective differential evolution in the generation of adversarial examples Bartlett, Antony
141-142 C p.
 artikel
710 Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study Yang, Zhibin
141-142 C p.
 artikel
711 Mutating code annotations: An empirical evaluation on Java and C# programs Pinheiro, Pedro
141-142 C p.
 artikel
712 Mutual exclusion by four shared bits with not more than quadratic complexity Hesselink, Wim H.
 2015
 141-142 C p. 57-75
19 p.
 artikel
713 Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems Kang, Byeongjee
141-142 C p.
 artikel
714 Neighborhood contrastive learning-based graph neural network for bug triaging Dong, Haozhen
141-142 C p.
 artikel
715 NeoEMF: A multi-database model persistence framework for very large models Daniel, Gwendal
141-142 C p. 9-14
 artikel
716 NewWave: Workflow engine Kaplar, Sebastijan
141-142 C p.
 artikel
717 NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace Shimari, Kazumasa
141-142 C p.
 artikel
718 Non-functional requirements in model-driven development of service-oriented architectures Ameller, David
 2018
 141-142 C p. 18-37
 artikel
719 Notes on the maximality of reversible gate sets under borrow and ancilla closure Boykett, Tim
141-142 C p.
 artikel
720 Oberon-0 in Kiama Sloane, Anthony M.
 2015
 141-142 C p. 20-32
13 p.
 artikel
721 OCLVerifer: Automated verification of OCL contracts in requirements models Yang, Peiye
141-142 C p.
 artikel
722 Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP Baranov, Eduard
 2015
 141-142 C p. 2-35
34 p.
 artikel
723 On checking delta-oriented product lines of statecharts Lienhardt, Michael
 2018
 141-142 C p. 3-34
 artikel
724 On interval dynamic logic: Introducing quasi-action lattices Santiago, Regivan
 2019
 141-142 C p. 1-16
 artikel
725 On probabilistic term rewriting Avanzini, Martin
 2020
 141-142 C p.
 artikel
726 On tackling quality threats for the assessment of measurement programs: A case study on the distribution of metric usage and knowledge Hebig, Regina
 2017
 141-142 C p. 45-74
30 p.
 artikel
727 On the expressiveness of modal transition systems with variability constraints ter Beek, Maurice H.
 2019
 141-142 C p. 1-17
 artikel
728 On-the-fly construction of provably correct service compositions – templates and proofs Walther, Sven
 2016
 141-142 C p. 2-23
22 p.
 artikel
729 On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination Latella, Diego
 2015
 141-142 C p. 23-50
28 p.
 artikel
730 On the introduction of density in tuple-space coordination languages Jacquet, Jean-Marie
 2016
 141-142 C p. 149-176
28 p.
 artikel
731 On the random structure of behavioural transition systems Groote, Jan Friso
 2016
 141-142 C p. 51-67
17 p.
 artikel
732 On the semantics and implementation of replicated data types Gadducci, Fabio
 2018
 141-142 C p. 91-113
 artikel
733 On the semantics of parsing actions Thielecke, Hayo
 2014
 141-142 C p. 52-76
25 p.
 artikel
734 On the usage of JavaScript, Python and Ruby packages in Docker Hub images Zerouali, Ahmed
141-142 C p.
 artikel
735 On the value of project productivity for early effort estimation Azzeh, Mohammad
141-142 C p.
 artikel
736 On the verification of mission-related properties in software-intensive systems-of-systems architectural design Silva, Eduardo
141-142 C p.
 artikel
737 OnTrack: Reflecting on domain specific formal methods for railway designs James, Phillip
141-142 C p.
 artikel
738 Open source software and the algorithm visualization community Cooper, Matthew L.
 2014
 141-142 C p. 82-91
10 p.
 artikel
739 Operationally proving memory access violations in Isabelle/HOL Ahmadi, Sharar
141-142 C p.
 artikel
740 Optimal single-path information propagation in gradient-based algorithms Audrito, Giorgio
 2018
 141-142 C p. 146-166
 artikel
741 Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning Liu, Ruibang
141-142 C p.
 artikel
742 Orchestrating incomplete TOSCA applications with Docker Brogi, Antonio
 2018
 141-142 C p. 194-213
 artikel
743 Orchestration for quantum services: The power of load balancing across multiple service providers Alvarado-Valiente, Jaime
141-142 C p.
 artikel
744 Order-sorted equality enrichments modulo axioms Gutiérrez, Raúl
 2015
 141-142 C p. 235-261
27 p.
 artikel
745 Out of step: Code clone detection for mobile apps across different language codebases Jimenez, Stephannie
141-142 C p.
 artikel
746 Pacta sunt servanda: Legal contracts in Stipula Crafa, Silvia
141-142 C p.
 artikel
747 Pallene: A companion language for Lua Gualandi, Hugo Musso
141-142 C p.
 artikel
748 PAMELA: An annotation-based Java modeling framework Guérin, Sylvain
141-142 C p.
 artikel
749 PAMOJA: A component framework for grammar-aware engineering Ssanyu, Jackline
141-142 C p.
 artikel
750 Parallel parameter synthesis algorithm for hybrid CTL Beneš, Nikola
 2020
 141-142 C p.
 artikel
751 Parallel program analysis on path ranges Haltermann, Jan
141-142 C p.
 artikel
752 Parallel set similarity join on big data based on Locality-Sensitive Hashing Sohrabi, Mohammad Karim
 2017
 141-142 C p. 1-12
12 p.
 artikel
753 Parameterised three-valued model checking Timm, Nils
 2016
 141-142 C p. 94-110
17 p.
 artikel
754 Parameterized, concurrent session types for asynchronous multi-actor interactions Charalambides, Minas
 2016
 141-142 C p. 100-126
27 p.
 artikel
755 Parametric ontologies in formal software engineering Brucker, Achim D.
141-142 C p.
 artikel
756 Parglare: A LR/GLR parser for Python Dejanović, Igor
141-142 C p.
 artikel
757 Pattern-based circular reference detection in Python Chen, Jie
141-142 C p.
 artikel
758 pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems Du, Dehui
 2018
 141-142 C p. 71-88
 artikel
759 Periodic scheduling for MARTE/CCSL: Theory and practice Zhang, Min
 2018
 141-142 C p. 42-60
 artikel
760 PN2CCS: A tool to encode Petri nets into calculus of communicating systems Bogø, Benjamin
141-142 C p.
 artikel
761 PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills Bucchiarone, Antonio
141-142 C p.
 artikel
762 Predicting issue types on GitHub Kallis, Rafael
141-142 C p.
 artikel
763 Predicting software effort from use case points: A systematic review Azzeh, Mohammad
141-142 C p.
 artikel
764 Preface Arbab, Farhad
 2014
 141-142 C p. 1-2
2 p.
 artikel
765 Preface Kiselyov, Oleg
 2018
 141-142 C p. 1-2
 artikel
766 Preface Artho, Cyrille
 2015
 141-142 C p. 1-2
2 p.
 artikel
767 Preface Gallagher, John P.
141-142 C p.
 artikel
768 Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022) Artho, Cyrille
141-142 C p.
 artikel
769 Preface for SCP special issue on Principles and Practice of Declarative Programming King, Andy
 2014
 141-142 C p. 1-2
2 p.
 artikel
770 Preface for SCP special issue on Principles and Practice of Declarative Programming Vidal, Germán
 2018
 141-142 C p. 1-2
 artikel
771 Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15) Albert, Elvira
 2017
 141-142 C p. 1-2
2 p.
 artikel
772 Preface for “Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)” Luis de la Vara, Jose
141-142 C p.
 artikel
773 Preface for the special issue of Interaction and Concurrency Experience 2013 Carbone, Marco
 2015
 141-142 C p. 1-
1 p.
 artikel
774 Preface for the special issue of the 6th Brazilian Symposium on Computing System Engineering (SBESC 2016) Gracioli, Giovani
 2018
 141-142 C p. 1-2
 artikel
775 Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020) Lanese, Ivan
141-142 C p.
 artikel
776 Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016) Lanese, Ivan
141-142 C p. 1
 artikel
777 Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software Lanese, Ivan
 2016
 141-142 C p. 1-
1 p.
 artikel
778 Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016) Bonsangue, Marcello
 2018
 141-142 C p. 1-2
 artikel
779 Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013 Ribeiro, Leila
 2015
 141-142 C p. 1-
1 p.
 artikel
780 Preface for the special issue on Interaction and Concurrency Experience 2012 Carbone, Marco
 2015
 141-142 C p. 1-
1 p.
 artikel
781 Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools Gambi, Alessio
141-142 C p.
 artikel
782 Preface for the Special Issue on SBST’22: Search-Based Software Testing - Tools
141-142 C p.
 artikel
783 Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023) Damasceno, Carlos Diego Nascimento
141-142 C p.
 artikel
784 Preface for the special issue on Software Development Concerns in the e-Learning Domain Sierra, José-Luis
 2014
 141-142 C p. 1-2
2 p.
 artikel
785 Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016 Potanin, Alex
 2018
 141-142 C p. 138
 artikel
786 Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021 Audrito, Giorgio
141-142 C p.
 artikel
787 Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019 Inverso, Omar
141-142 C p.
 artikel
788 Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Damiani, Ferruccio
141-142 C p.
 artikel
789 Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021) Lee, Jaejoon
141-142 C p.
 artikel
790 Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering Ruscio, Davide Di
141-142 C p.
 artikel
791 Preface – FTSCS 2019 Hasan, Osman
141-142 C p.
 artikel
792 Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019 Duran, Adolfo
141-142 C p.
 artikel
793 Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010) Bendisposto, Jens
 2014
 141-142 C p. 1-2
2 p.
 artikel
794 Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14) Huisman, Marieke
 2016
 141-142 C p. 1-
1 p.
 artikel
795 Preface of the special issue for AVoCS 2015 Grov, Gudmund
 2017
 141-142 C p. 1-2
 artikel
796 Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020 Carvalho, Gustavo
141-142 C p.
 artikel
797 Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems Canal, Carlos
 2018
 141-142 C p. 169-170
 artikel
798 Preface – Special Issue on selected and extended papers from FACS 2019 Jongmans, Sung-Shik
141-142 C p.
 artikel
799 Preface: Special Issue on Verification of Objects at Runtime Execution Ancona, Davide
141-142 C p. 88-89
 artikel
800 Preface to Formal Coordination and Self-organisation: Special section including selected best papers from CM 2012–2013 Fernandez-Marquez, Jose Luis
 2015
 141-142 C p. 1-2
2 p.
 artikel
801 Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012) Durán, Francisco
 2015
 141-142 C p. 1-2
2 p.
 artikel
802 Preface to SCP special issue with extended selected papers from SBMF 2014 Braga, Christiano
 2016
 141-142 C p. 1-2
2 p.
 artikel
803 Preface to Special issue with extended selected papers from FACS 2015 Braga, Christiano
 2017
 141-142 C p. 1-
1 p.
 artikel
804 Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems Hugues, Jérôme
 2015
 141-142 C p. 1-2
2 p.
 artikel
805 Preface to the special issue on advances in software measurement Staron, Miroslaw
 2017
 141-142 C p. 1-3
3 p.
 artikel
806 Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications Pimentel, Ernesto
141-142 C p.
 artikel
807 Preface to the special issue on Coordination Models and Languages (Coordination 2017) Jacquet, Jean-Marie
 2019
 141-142 C p. 16-17
 artikel
808 Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) Larsen, Kim G.
141-142 C p.
 artikel
809 Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014) Lang, Frédéric
 2016
 141-142 C p. 1-2
2 p.
 artikel
810 Preface to the special issue on Formal Methods: Foundations and Applications Massoni, Tiago
141-142 C p.
 artikel
811 Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018) Jacquet, Jean-Marie
141-142 C p.
 artikel
812 Preface to the special issue on Software Support for User Interface Description Languages (UIDL 2011) López-Jaquero, Víctor
 2014
 141-142 C p. 1-2
2 p.
 artikel
813 Preface to the special issue on success stories in model driven engineering Muñoz, Paula
141-142 C p.
 artikel
814 Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011) Brabrand, Claus
 2014
 141-142 C p. 1-
1 p.
 artikel
815 Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015) Ancona, Davide
 2017
 141-142 C p. 1-
1 p.
 artikel
816 Prescriptive procedure for manual code smell annotation Prokić, Simona
141-142 C p.
 artikel
817 Pre-synthesis of Petri nets based on prime cycles and distance paths Best, Eike
 2018
 141-142 C p. 41-55
 artikel
818 Prioritizing versions for performance regression testing: The Pharo case Sandoval Alcocer, Juan Pablo
141-142 C p.
 artikel
819 Probabilistic model checking for human activity recognition in medical serious games L'Yvonnet, Thibaud
141-142 C p.
 artikel
820 Process-aware web programming with Jolie Montesi, Fabrizio
 2016
 141-142 C p. 69-96
28 p.
 artikel
821 Program derivation through transformations: The evolution of list-copying algorithms van Diepen, N.W.P.
 1986
 141-142 C p. 213-272
60 p.
 artikel
822 Program extraction for mutable arrays Sakaguchi, Kazuhiko
141-142 C p.
 artikel
823 Program logic for higher-order probabilistic programs in Isabelle/HOL Hirata, Michikazu
141-142 C p.
 artikel
824 Programming interactions in collective adaptive systems by relying on attribute-based communication Abd Alrahman, Yehia
141-142 C p.
 artikel
825 Programming language foundations in Agda Kokke, Wen
141-142 C p.
 artikel
826 Programming System methodologies Meyer, Bertrand
 1985
 141-142 C p. 107-109
3 p.
 artikel
827 Projected control graph for computing relevant program behaviors Tamrawi, Ahmed
 2018
 141-142 C p. 93-114
 artikel
828 Projecting programs on specifications: Definition and implications Desharnais, Jules
 2017
 141-142 C p. 26-48
23 p.
 artikel
829 Proof assisted bounded and unbounded symbolic model checking of software and system models Krings, Sebastian
 2018
 141-142 C p. 41-63
 artikel
830 Proof theory for hybrid(ised) logics Neves, Renato
 2016
 141-142 C p. 73-93
21 p.
 artikel
831 Provably correct implementation of the AbC calculus De Nicola, Rocco
141-142 C p.
 artikel
832 Proving partial-correctness and invariance properties of transition-system models Rusu, Vlad
141-142 C p.
 artikel
833 PSTMonitor: Monitor synthesis from probabilistic session types Image 1 Bartolo Burlò, Christian
141-142 C p.
 artikel
834 PTRebeca: Modeling and analysis of distributed and asynchronous systems Jafari, Ali
 2016
 141-142 C p. 22-50
29 p.
 artikel
835 Publisher's Note 2018
 141-142 C p. iv
 artikel
836 Publisher's Note: Article Based Publishing 2018
 141-142 C p. iii
 artikel
837 PX-MBT: A framework for model-based player experience testing Gholizadeh Ansari, Saba
141-142 C p.
 artikel
838 QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development López, L.
141-142 C p.
 artikel
839 QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants Wu, Hao
141-142 C p.
 artikel
840 Qualification of proof assistants, checkers, and generators: Where are we and what next? Gleirscher, Mario
141-142 C p.
 artikel
841 Quantifying the interpretation overhead of Python Zhang, Qiang
141-142 C p.
 artikel
842 Quantifying the similarity of non-bisimilar labelled transition systems Salaün, Gwen
141-142 C p.
 artikel
843 Randomised testing of a microprocessor model using SMT-solver state generation Campbell, Brian
 2016
 141-142 C p. 60-76
17 p.
 artikel
844 Random test generators demystified: Differences and potential for compiler reliability Wang, Yang
141-142 C p.
 artikel
845 Ranking architecturally critical agglomerations of code smells Vidal, Santiago
141-142 C p. 64-85
 artikel
846 Ranking co-change candidates suggested by FLeCCS using programmer sensitivity Hamid, Abid Afsan
141-142 C p.
 artikel
847 Ranking programming languages by energy efficiency Pereira, Rui
141-142 C p.
 artikel
848 Reactive model transformation with ATL Martínez, Salvador
 2017
 141-142 C p. 1-16
16 p.
 artikel
849 Ready, set, Go! Fava, Daniel Schnetzer
141-142 C p.
 artikel
850 Realizability of schedules by stochastic time Petri nets with blocking semantics Hélouët, Loïc
 2018
 141-142 C p. 71-102
 artikel
851 Reasoning about almost-certain convergence properties using Event-B Hoang, Thai Son
 2014
 141-142 C p. 108-121
14 p.
 artikel
852 Reasoning about connectors using Coq and Z3 Zhang, Xiyue
 2019
 141-142 C p. 27-44
 artikel
853 Reasoning about logical systems in the Coq proof assistant Reynolds, Conor
141-142 C p.
 artikel
854 Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation Cámara, Javier
 2018
 141-142 C p. 51-69
 artikel
855 Reasoning about software reconfigurations: The behavioural and structural perspectives Oliveira, Nuno
 2015
 141-142 C p. 78-103
26 p.
 artikel
856 Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems Tigane, Samir
 2019
 141-142 C p.
 artikel
857 Reducing resource consumption of expandable collections: The Pharo case Bergel, Alexandre
141-142 C p. 34-56
 artikel
858 Reducing the verification cost of evolving product families using static analysis techniques Sabouri, Hamideh
 2014
 141-142 C p. 35-55
21 p.
 artikel
859 Refining a design thinking-based requirements elicitation process: Insights from a focus group Kahan, Ezequiel
141-142 C p.
 artikel
860 Reinforcing the applicability of multi-model environments for software process improvement using knowledge management Mejia, Jezreel
 2016
 141-142 C p. 3-15
13 p.
 artikel
861 Relational symbolic execution of SQL code for unit testing of database programs Marcozzi, Michaël
 2015
 141-142 C p. 44-72
29 p.
 artikel
862 Report on the larch shared language Guttag, J.V.
 1986
 141-142 C p. 103-134
32 p.
 artikel
863 Report to the readership
141-142 C p.
 artikel
864 Reshape your layouts, not your programs: A safe language extension for better cache locality Tasos, Alexandros
141-142 C p.
 artikel
865 REST4CEP: RESTful APIs for complex event processing Gamaza, Ángel
141-142 C p.
 artikel
866 Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm Manjhi, Devesh
141-142 C p.
 artikel
867 Reversible computation vs. reversibility in Petri nets Barylska, Kamila
141-142 C p. 48-60
 artikel
868 Reversible computing and implicit computational complexity Kristiansen, Lars
141-142 C p.
 artikel
869 Reversing an imperative concurrent programming language Hoey, James
141-142 C p.
 artikel
870 Revisiting monitors Santos, Renan
141-142 C p.
 artikel
871 Revisiting occurrence typing Castagna, Giuseppe
141-142 C p.
 artikel
872 Rewriting induction for constrained inequalities Nagao, Takahiro
 2018
 141-142 C p. 76-102
 artikel
873 Rewriting systems on FP expressions to reduce the number of sequences yielded Bellegarde, Françoise
 1986
 141-142 C p. 11-34
24 p.
 artikel
874 RML: Theory and practice of a domain specific language for runtime verification Ancona, Davide
141-142 C p.
 artikel
875 Robustness and closure properties of recognizable languages in adhesive categories Bruggink, H.J. Sander
 2015
 141-142 C p. 71-98
28 p.
 artikel
876 RRPlib: A spark library for representing HDFS blocks as a set of random sample data blocks Emara, Tamer Z.
 2019
 141-142 C p.
 artikel
877 RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus Ge, Ning
141-142 C p.
 artikel
878 Runtime enforcement of regular timed properties by suppressing and delaying events Falcone, Yliès
 2016
 141-142 C p. 2-41
40 p.
 artikel
879 Runtime monitoring of complex scenario-based requirements for autonomous driving functions Stemmer, Ralf
141-142 C p.
 artikel
880 Safe and efficient runtime testing framework applied in dynamic and distributed systems Lahami, Mariam
 2016
 141-142 C p. 1-28
28 p.
 artikel
881 Safe and infinite resource scheduling using energy timed automata Cuijpers, Pieter J.L.
141-142 C p.
 artikel
882 Safe automated refactoring for intelligent parallelization of Java 8 streams Khatchadourian, Raffi
141-142 C p.
 artikel
883 Safety assurance of an industrial robotic control system using hardware/software co-verification Murray, Yvonne
141-142 C p.
 artikel
884 Salespoint: A Java framework for teaching object-oriented software development Zschaler, Steffen
 2014
 141-142 C p. 189-203
15 p.
 artikel
885 SAMOS - A framework for model analytics and management Babur, Önder
141-142 C p.
 artikel
886 SApHESIA: An agent-based model and a criticality-based heuristic for cooperatively coupling SoSs Camps, Valérie
141-142 C p.
 artikel
887 SATDBailiff-mining and tracking self-admitted technical debt AlOmar, Eman Abdullah
141-142 C p.
 artikel
888 ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning Domini, D.
141-142 C p.
 artikel
889 ScenarioTools – A tool suite for the scenario-based modeling and analysis of reactive systems Greenyer, Joel
141-142 C p. 15-27
 artikel
890 Sciit: Embedding issue tracking in source control management Edwards, Nystrom
141-142 C p.
 artikel
891 SCJ-Circus : Specification and refinement of Safety-Critical Java programs Miyazawa, Alvaro
 2019
 141-142 C p. 140-176
 artikel
892 Script: A communication abstraction mechanism and its verification Francez, Nissim
 1986
 141-142 C p. 35-88
54 p.
 artikel
893 Selected and extended papers from ACM SVT 2014 Pang, Jun
 2016
 141-142 C p. 1-
1 p.
 artikel
894 Selected and extended papers from FACS 2016 Kouchnarenko, Olga
 2019
 141-142 C p. 43-44
 artikel
895 Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15) Asai, Kenichi
 2017
 141-142 C p. 1-
1 p.
 artikel
896 Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017) Cavalheiro, Simone
141-142 C p.
 artikel
897 Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021) Campos, Sérgio
141-142 C p.
 artikel
898 Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013) Gheyi, Rohit
 2015
 141-142 C p. 1-
1 p.
 artikel
899 Selected papers from the 2021 European Conference on Object-Oriented Programming Sridharan, Manu
141-142 C p.
 artikel
900 Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023 Méry, Dominique
141-142 C p.
 artikel
901 Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 Méry, Dominique
141-142 C p.
 artikel
902 Selected papers from the 25th Brazilian Symposium on Formal Methods – SBMF 2022 Lima, Lucas
141-142 C p.
 artikel
903 Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering Aoki, Toshiaki
141-142 C p.
 artikel
904 Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July – 1 August 2019, Guilin, China Méry, Dominique
141-142 C p.
 artikel
905 Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021) Zhang, Min
141-142 C p.
 artikel
906 Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14) Quintão Pereira, Fernando Magno
 2016
 141-142 C p. 1-2
2 p.
 artikel
907 Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16) Castor, Fernando
 2019
 141-142 C p. 1-2
 artikel
908 Semantics-based generation of verification conditions via program specialization De Angelis, E.
 2017
 141-142 C p. 78-108
31 p.
 artikel
909 Semantics, distributed implementation, and formal analysis of KLAIM models in Maude Eckhardt, Jonas
 2015
 141-142 C p. 24-74
51 p.
 artikel
910 Serialisable multi-level transaction control: A specification and verification Börger, Egon
 2016
 141-142 C p. 42-58
17 p.
 artikel
911 Service-oriented decomposition and verification of hybrid system models using feature models and contracts Liebrenz, Timm
141-142 C p.
 artikel
912 Session-ocaml: A session-based library with polarities and lenses Imai, Keigo
 2019
 141-142 C p. 135-159
 artikel
913 Several lifted abstract domains for static analysis of numerical program families Dimovski, Aleksandar S.
141-142 C p.
 artikel
914 Shared contract-obedient channels Lozes, Étienne
 2015
 141-142 C p. 28-60
33 p.
 artikel
915 Showing programs on a screen Meyer, Bertrand
 1985
 141-142 C p. 111-142
32 p.
 artikel
916 Sibilla: A tool for reasoning about collective systems Image 1 Del Giudice, Nicola
141-142 C p.
 artikel
917 Simpl DSL toolkit Freudenthal, Margus
 2015
 141-142 C p. 85-91
7 p.
 artikel
918 Simulation-based matching of cloud applications Bonchi, Filippo
 2018
 141-142 C p. 110-131
 artikel
919 Simulation of multicellular populations with Petri nets and genome scale intracellular networks Kędzia, Kamil
 2018
 141-142 C p. 3-16
 artikel
920 Six strategies for generalizing software engineering theories Wieringa, Roel
 2015
 141-142 C p. 136-152
17 p.
 artikel
921 Slicing of probabilistic programs based on specifications Navarro, Marcelo
141-142 C p.
 artikel
922 Small programming exercises 14 Rem, M.
 1986
 141-142 C p. 313-319
7 p.
 artikel
923 Small programming exercises 12 Rem, M.
 1986
 141-142 C p. 87-97
11 p.
 artikel
924 Small programming exercises 13 Rem, M.
 1986
 141-142 C p. 243-248
6 p.
 artikel
925 Small programming exercises 7 Rem, M.
 1985
 141-142 C p. 219-229
11 p.
 artikel
926 Small programming exercises 9 Rem, M.
 1986
 141-142 C p. 95-102
8 p.
 artikel
927 Small programming exercises 6 Rem, M.
 1985
 141-142 C p. 97-106
10 p.
 artikel
928 Small programming exercises 10 Rem, M.
 1986
 141-142 C p. 207-211
5 p.
 artikel
929 Small programming exercises 11 Rem, M.
 1986
 141-142 C p. 313-318
6 p.
 artikel
930 Small programming exercises 8 Rem, M.
 1985
 141-142 C p. 309-316
8 p.
 artikel
931 Smart contract vulnerability detection using wide and deep neural network Osei, Samuel Banning
141-142 C p.
 artikel
932 SMArtOp: A Java library for distributing high-dimensional sparse-matrix arithmetic operations Tommasel, Antonela
 2017
 141-142 C p. 26-30
5 p.
 artikel
933 SMORE: Towards a semantic modeling for knowledge representation on social media Villanueva, Daniel
 2016
 141-142 C p. 16-33
18 p.
 artikel
934 SMT-based robust model checking for signal temporal logic Lee, Jia
141-142 C p.
 artikel
935 S2O: A smart objects orchestrator framework based on the web of things Mezenner, Imene
141-142 C p.
 artikel
936 Soft component automata: Composition, compilation, logic, and verification Kappé, Tobias
 2019
 141-142 C p.
 artikel
937 Software architecture decision-making process: The practitioners' view from the Brazilian industry Carvalho, Lucas
141-142 C p.
 artikel
938 Software architecture for integration of institutional and social learning environments Raspopović, Miroslava
 2016
 141-142 C p. 92-102
11 p.
 artikel
939 Software development with Petri nets and agents: Approach, frameworks and tool set Cabac, Lawrence
 2018
 141-142 C p. 56-70
 artikel
940 Software evolutionary architecture: Automated planning for functional changes Chondamrongkul, Nacha
141-142 C p.
 artikel
941 Software-intensive Systems-of-Systems Drira, Khalil
141-142 C p.
 artikel
942 Software project management tools in practice in IT industry of Bangladesh Roy, Partha Protim
141-142 C p.
 artikel
943 Software verification with VeriFast: Industrial case studies Philippaerts, Pieter
 2014
 141-142 C p. 77-97
21 p.
 artikel
944 Some trade-offs in reducing the overhead of assertion run-time checks via static analysis Stulova, Nataliia
 2018
 141-142 C p. 3-26
 artikel
945 Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories Lepri, Daniela
 2015
 141-142 C p. 128-192
65 p.
 artikel
946 Sound conformance testing for cyber-physical systems: Theory and implementation Araujo, Hugo
 2018
 141-142 C p. 35-54
 artikel
947 Sound static analysis of regular expressions for vulnerabilities to denial of service attacks Parolini, Francesco
141-142 C p.
 artikel
948 Sourcerer: An infrastructure for large-scale collection and analysis of open-source code Bajracharya, Sushil
 2014
 141-142 C p. 241-259
19 p.
 artikel
949 Space-efficient acyclicity constraints: A declarative pearl Brock-Nannestad, Taus
 2018
 141-142 C p. 66-81
 artikel
950 Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020) Kehrer, Timo
141-142 C p.
 artikel
951 Special issue on Automated Verification of Critical Systems (AVoCS’11) Jones, Cliff
 2014
 141-142 C p. 1-
1 p.
 artikel
952 Special issue on eLearning Software Architectures Sierra, José-Luis
 2016
 141-142 C p. 1-2
2 p.
 artikel
953 Special Issue on Knowledge-based Software Engineering Valencia-García, Rafael
 2016
 141-142 C p. 1-2
2 p.
 artikel
954 Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018) Camarão, Carlos
141-142 C p.
 artikel
955 Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) Proença, José
141-142 C p.
 artikel
956 Special Issue on Selected Tools from the Tool Track of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Tool Track) Wang, Ying
141-142 C p.
 artikel
957 Special issue on ‘Software Engineering and Formal Methods’
141-142 C p.
 artikel
958 Special Issue on Software Health of Software Ecosystems Constantinou, Eleni
141-142 C p.
 artikel
959 Special Issue on Software Maintenance Tools at 35th International Conference on Software Maintenance and Evolution (ICSME 2019) Hayashi, Shinpei
141-142 C p.
 artikel
960 Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022) Liang, Peng
141-142 C p.
 artikel
961 Special section on Foundations of Coordination Languages and Software Architectures Kokash, Natallia
 2016
 141-142 C p. 147-148
2 p.
 artikel
962 Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014) Bošnački, Dragan
 2016
 141-142 C p. 1-
1 p.
 artikel
963 Special Section on Source Code Analysis and Manipulation (SCAM 2013) Adams, Bram
 2015
 141-142 C p. 1-2
2 p.
 artikel
964 Specification and verification of synchronization with condition variables de C. Gomes, Pedro
 2018
 141-142 C p. 174-189
 artikel
965 Specification of paraconsistent transition systems, revisited Cunha, Juliana
141-142 C p.
 artikel
966 Specification refinements: Calculi, tools, and applications Codescu, Mihai
 2017
 141-142 C p. 1-49
49 p.
 artikel
967 Specify and measure, cover and reveal: A unified framework for automated test generation Bardin, Sébastien
141-142 C p.
 artikel
968 Specifying and executing optimizations for generalized control flow graphs Mansky, William
 2016
 141-142 C p. 2-23
22 p.
 artikel
969 Specifying linked data structures in JML for combining formal verification and testing Gladisch, Christoph
 2015
 141-142 C p. 19-40
22 p.
 artikel
970 SSDTutor: A feedback-driven intelligent tutoring system for secure software development Newar, Dip Kiran Pradhan
141-142 C p.
 artikel
971 Stark: A tool for the analysis of CPSs robustness Castiglioni, Valentina
141-142 C p.
 artikel
972 State identification for labeled transition systems with inputs and outputs van den Bos, Petra
141-142 C p.
 artikel
973 State machines and assertions: An integrated approach to modeling and verification of distributed systems Joseph, Thomas A.
 1986
 141-142 C p. 1-22
22 p.
 artikel
974 State merging for concolic testing of event-driven applications Vandercammen, Maarten
141-142 C p.
 artikel
975 State-taint analysis for detecting resource bugs Xu, Zhiwu
 2018
 141-142 C p. 93-109
 artikel
976 Statically identifying XSS using deep learning Maurel, Heloise
141-142 C p.
 artikel
977 Static analysis by abstract interpretation against data leakage in machine learning Urban, Caterina
141-142 C p.
 artikel
978 Static analysis of cloud elasticity Garcia, Abel
 2017
 141-142 C p. 27-53
27 p.
 artikel
979 Static analysis of linear absolute value equalities among variables of a program Chen, Liqian
141-142 C p.
 artikel
980 Statistical and exact schedulability analysis of hierarchical scheduling systems Boudjadar, Abdeldjalil
 2016
 141-142 C p. 103-130
28 p.
 artikel
981 Stochastic analysis of BPMN with time in rewriting logic Durán, Francisco
 2018
 141-142 C p. 1-17
 artikel
982 Strictness analysis for higher-order functions Burn, Geoffrey L.
 1986
 141-142 C p. 249-278
30 p.
 artikel
983 Structure and behavior preserving statecharts refinements Syriani, Eugene
 2019
 141-142 C p. 45-79
 artikel
984 Structured development of implementations for divide-and-conquer specifications Bortin, Maksym
141-142 C p.
 artikel
985 Structuring the GLL parsing algorithm for performance Scott, Elizabeth
 2016
 141-142 C p. 1-22
22 p.
 artikel
986 Studying the commonalities, mappings and relationships between non-functional requirements using machine learning Alashqar, Abdelkareem M.
141-142 C p.
 artikel
987 Subsumption, correctness and relative correctness: Implications for software testing AlBlwi, Samia
141-142 C p.
 artikel
988 Supporting automated containment checking of software behavioural models using model transformations and model checking UL Muram, Faiz
 2019
 141-142 C p. 38-71
 artikel
989 Sustaining and improving graduated graph consistency: A static analysis of graph transformations Kosiol, Jens
141-142 C p.
 artikel
990 SWQL: A new domain-specific language for mining the social Web Guzmán-Guzmán, Xiomarah
141-142 C p.
 artikel
991 Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving Arias, Jaime
141-142 C p.
 artikel
992 Symbolic execution as a basis for termination analysis Vidal, Germán
 2015
 141-142 C p. 142-157
16 p.
 artikel
993 Symbolic execution for a clash-free subset of ASMs Schellhorn, Gerhard
 2018
 141-142 C p. 21-40
 artikel
994 Symbolic state space reduction with guarded terms for rewriting modulo SMT Bae, Kyungmin
 2019
 141-142 C p. 20-42
 artikel
995 Synthesis of hierarchical systems Aminof, Benjamin
 2014
 141-142 C p. 56-79
24 p.
 artikel
996 Synthesizing and optimizing FDIR recovery strategies from fault trees Müller, Sascha
141-142 C p.
 artikel
997 Synthesizing LTL contracts from component libraries using rich counterexamples Iannopollo, Antonio
141-142 C p.
 artikel
998 Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking Belzner, Lenz
141-142 C p.
 artikel
999 Systematic derivation of correct variability-aware program analyses Midtgaard, Jan
 2015
 141-142 C p. 145-170
26 p.
 artikel
1000 System components of a general theory of software engineering Stoica, Anca-Juliana
 2015
 141-142 C p. 42-65
24 p.
 artikel
                             1146 gevonden resultaten
 
   volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland