Filter your results
- 14
- 1
- 14
- 1
- 15
- 15
- 15
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Composing Families of Timed Automata7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.51-66, ⟨10.1007/978-3-319-68972-2_4⟩
Conference papers
hal-01760866v1
|
||
|
|
Automatic Transition System Model Identification for Network Applications from Packet Traces7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.212-227, ⟨10.1007/978-3-319-68972-2_14⟩
Conference papers
hal-01760863v1
|
||
|
|
Translating Active Objects into Colored Petri Nets for Communication Analysis7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.84-99, ⟨10.1007/978-3-319-68972-2_6⟩
Conference papers
hal-01760859v1
|
||
|
|
Quality-Aware Reactive Programming for the Internet of Things7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.180-195, ⟨10.1007/978-3-319-68972-2_12⟩
Conference papers
hal-01760858v1
|
||
|
|
A Formal Model for Multi SPLs7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.67-83, ⟨10.1007/978-3-319-68972-2_5⟩
Conference papers
hal-01760853v1
|
||
|
|
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.132-147, ⟨10.1007/978-3-319-68972-2_9⟩
Conference papers
hal-01760865v1
|
||
|
|
Purpose-Based Policy Enforcement in Actor-Based Systems7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.196-211, ⟨10.1007/978-3-319-68972-2_13⟩
Conference papers
hal-01760856v1
|
||
|
|
Fundamentals of Software EngineeringSpringer International Publishing, LNCS-10522, 2017, Lecture Notes in Computer Science, 978-3-319-68971-5. ⟨10.1007/978-3-319-68972-2⟩
Books
hal-01760860v1
|
||
|
|
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.100-115, ⟨10.1007/978-3-319-68972-2_7⟩
Conference papers
hal-01760852v1
|
||
|
|
Bisimilarity of Open Terms in Stream GSOS7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers
hal-01760851v1
|
||
|
|
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.164-179, ⟨10.1007/978-3-319-68972-2_11⟩
Conference papers
hal-01760849v1
|
||
|
|
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.148-163, ⟨10.1007/978-3-319-68972-2_10⟩
Conference papers
hal-01760857v1
|
||
|
|
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.244-259, ⟨10.1007/978-3-319-68972-2_16⟩
Conference papers
hal-01760864v1
|
||
|
|
Gray-Box Conformance Testing for Symbolic Reactive State Machines7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.228-243, ⟨10.1007/978-3-319-68972-2_15⟩
Conference papers
hal-01760861v1
|
||
|
|
Flexible Transactional Coordination in the Peer Model7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.116-131, ⟨10.1007/978-3-319-68972-2_8⟩
Conference papers
hal-01760850v1
|