E-LIB Suche - Ergebnisse für: Maag, Stephane

1

The teaching of computer ethics on computer science and rel..:

Stavrakakis, Ioannis ; Gordon, Damian ; Tierney, Brendan...
International Journal of Ethics Education. 7 (2021) 1 - p. 101-129 , 2021

Link: https://doi.org/10.1007/..

2

A formal consensus-based distributed monitoring approach fo..:

Alvarez Aldana, Jose Alfredo ; Maag, Stephane ; Zaidi, Fatiha
Internet of Things. 13 (2021) - p. 100352 , 2021

Link: https://doi.org/10.1016/..

3

A Passive Testing Approach for Protocols in Wireless Sensor..:

Che, Xiaoping ; Maag, Stephane ; Tan, Hwee-Xian..
Sensors. 15 (2015) 11 - p. 29250-29272 , 2015

Link: https://doi.org/10.3390/..

4

Behavior evaluation for trust management based on formal di..:

Lopez, Jorge ; Maag, Stephane ; Morales, Gerardo
World Wide Web. 19 (2015) 1 - p. 21-39 , 2015

Link: https://doi.org/10.1007/..

5

Testing trust properties using a formal distributed network..:

Che, Xiaoping ; Lopez, Jorge ; Maag, Stephane.
annals of telecommunications - annales des télécommunications. 70 (2014) 3-4 - p. 95-105 , 2014

Link: https://doi.org/10.1007/..

6

Passive performance testing of network protocols:

Che, Xiaoping ; Maag, Stephane
Computer Communications. 51 (2014) - p. 36-47 , 2014

Link: https://doi.org/10.1016/..

7

Testing protocols in Internet of Things by a formal passive..:

Che, Xiaoping ; Maag, Stephane
Science China Information Sciences. 57 (2014) 3 - p. 1-13 , 2014

Link: https://doi.org/10.1007/..

8

A formal data-centric approach for passive testing of commu..:

Lalanne, Felipe ; Maag, Stephane
IEEE/ACM Transactions on Networking (TON). 21 (2013) 3 - p. 788-801 , 2013

Link: https://dl.acm.org/doi/1..

9

Using passive testing based on symbolic execution and slici..:

Mouttappa, Pramila ; Maag, Stephane ; Cavalli, Ana
Computer Networks. 57 (2013) 15 - p. 2992-3008 , 2013

Link: https://doi.org/10.1016/..

10

A Formal Data-Centric Approach for Passive Testing of Commu..:

Lalanne, Felipe ; Maag, Stephane
IEEE/ACM Transactions on Networking. 21 (2013) 3 - p. 788-801 , 2013

Link: https://doi.org/10.1109/..

11

One step forward: Linking wireless self-organizing network ..:

Viana, Aline Carneiro ; Maag, Stephane ; Zaidi, Fatiha
ACM Computing Surveys. 43 (2011) 2 - p. 1-36 , 2011

Link: https://doi.org/10.1145/..

12

One step forward : Linking wireless self-organizing netw..:

Viana, Aline Carneiro ; Maag, Stephane ; Zaidi, Fatiha
ACM Computing Surveys (CSUR). 43 (2011) 2 - p. 1-36 , 2011

Link: https://dl.acm.org/doi/1..

13

FSM-based conformance testing methods: A survey annotated w..:

Dorofeeva, Rita ; El-Fakih, Khaled ; Maag, Stephane..
Information and Software Technology. 52 (2010) 12 - p. 1286-1297 , 2010

Link: https://doi.org/10.1016/..

14

A formal validation methodology for MANET routing protocols..:

Maag, Stephane ; Grepet, Cyril ; Cavalli, Ana
Computer Communications. 31 (2008) 4 - p. 827-841 , 2008

Link: https://doi.org/10.1016/..

15

From UML models to automatic generated tests for the dotLRN..:

Cavalli, Ana ; Maag, Stéphane ; Papagiannaki, Sofia.
Electronic Notes in Theoretical Computer Science. 116 (2005) - p. 133-144 , 2005

Link: https://doi.org/10.1016/..