 | 2012 |
|---|
| 34 |       | Suryakant Choudhary,
Mustafa Emre Dincturk,
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
Paul Ionescu:
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security.
ICST 2012: 850-857 |
| 2011 |
|---|
| 33 | | Gregor von Bochmann,
Guy-Vincent Jourdan,
Bo Wan:
Improved Usage Model for Web Application Reliability Testing.
ICTSS 2011: 15-31 |
| 32 | | Kamara Benjamin,
Gregor von Bochmann,
Mustafa Emre Dincturk,
Guy-Vincent Jourdan,
Iosif-Viorel Onut:
A Strategy for Efficient Crawling of Rich Internet Applications.
ICWE 2011: 74-89 |
| 2010 |
|---|
| 31 | | Ahmed Jeddah,
Guy-Vincent Jourdan,
Nejib Zaguia:
Some side effects of FHSS on Bluetooth networks distributed algorithms.
AICCSA 2010: 1-8 |
| 30 | | Kamara Benjamin,
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut:
Some Modeling Challenges When Testing Rich Internet Applications for Security.
ICST Workshops 2010: 403-409 |
| 29 | | Carlisle Adams,
Guy-Vincent Jourdan,
Jean-Pierre Levac,
François Prevost:
Lightweight protection against brute force login attacks on Web applications.
PST 2010: 181-188 |
| 28 | | Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün,
Ji Chao Zhang:
Lower bounds on lengths of checking sequences.
Formal Asp. Comput. 22(6): 667-679 (2010) |
| 2009 |
|---|
| 27 | | Ahmed Jeddah,
Nejib Zaguia,
Guy-Vincent Jourdan:
Analyzing the Device Discovery Phase of Bluetooth Scatternet Formation Algorithms.
ICDCS Workshops 2009: 468-471 |
| 26 | | Guy-Vincent Jourdan:
Software Security Vulnerabilities Seen As Feature Interactions.
ICFI 2009: 149-159 |
| 25 |  | Ahmed Jeddah,
Nejib Zaguia,
Guy-Vincent Jourdan:
An Analysis of the BluePleidas Algorithm's Device Discovery Phase.
ICTA 2009: 359-366 |
| 24 | | Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün,
Dong Zhu:
Using a SAT solver to generate checking sequences.
ISCIS 2009: 549-554 |
| 23 | | Ahmed Jeddah,
Nejib Zaguia,
Guy-Vincent Jourdan:
A Note on the Study of Bluetooth Networks' Distributed Algorithms.
MASS 2009: 953-958 |
| 22 | | Robert M. Hierons,
Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün:
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.
SEFM 2009: 157-166 |
| 21 | | Guy-Vincent Jourdan,
Gregor von Bochmann:
On Testing 1-Safe Petri Nets.
TASE 2009: 275-281 |
| 20 | | Gregor von Bochmann,
Guy-Vincent Jourdan:
Testing k-Safe Petri Nets.
TestCom/FATES 2009: 33-48 |
| 2008 |
|---|
| 19 | | Robert M. Hierons,
Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün:
Using adaptive distinguishing sequences in checking sequence constructions.
SAC 2008: 682-687 |
| 18 | | Gregor von Bochmann,
Stefan Haar,
Claude Jard,
Guy-Vincent Jourdan:
Testing Systems Specified as Partial Order Input/Output Automata.
TestCom/FATES 2008: 169-183 |
| 2007 |
|---|
| 17 | | Guy-Vincent Jourdan,
Hasan Ural,
Shen Wang,
Hüsnü Yenigün:
Recovering Repetitive Sub-functions from Observations.
FORTE 2007: 35-49 |
| 16 | | Stefan Haar,
Claude Jard,
Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata.
TestCom/FATES 2007: 171-185 |
| 15 | | Guy-Vincent Jourdan:
Centralized Web Proxy Services: Security and Privacy Considerations.
IEEE Internet Computing 11(6): 46-52 (2007) |
| 2006 |
|---|
| 14 | | Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün:
Minimizing Coordination Channels in Distributed Testing.
FORTE 2006: 451-466 |
| 13 | | Guy-Vincent Jourdan,
Panitee Ritthiruangdech,
Hasan Ural:
Test Suite Reduction Based on Dependence Analysis.
ISCIS 2006: 1021-1030 |
| 12 | | Jessica Chen,
Guy-Vincent Jourdan,
Wenxin Ma,
Hasan Ural:
Improving Coverage in Functional Testing.
QSIC 2006: 99-106 |
| 2005 |
|---|
| 11 | | Nejib Zaguia,
Guy-Vincent Jourdan,
Mustafa Alhashem:
On the Pagenumber of Bipartite Orders.
CCCG 2005: 252-255 |
| 10 | | Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün:
Recovering the Lattice of Repetitive Sub-functions.
ISCIS 2005: 956-965 |
| 9 | | Guy-Vincent Jourdan,
Hasan Ural,
Nejib Zaguia:
Minimizing the number of inputs while applying adaptive test cases.
Inf. Process. Lett. 94(4): 165-169 (2005) |
| 2003 |
|---|
| 8 | | Guy-Vincent Jourdan,
Ivan Rival,
Nejib Zaguia:
Degree Navigator™: The Journey of a Visualization Software.
Graph Drawing 2003: 491-493 |
| 1996 |
|---|
| 7 | | Claude Jard,
Guy-Vincent Jourdan:
Incremental Transitive Dependency Tracking in Distributed Computations.
Parallel Processing Letters 6(3): 427-435 (1996) |
| 1995 |
|---|
| 6 | | Eddy Fromentin,
Claude Jard,
Guy-Vincent Jourdan,
Michel Raynal:
Recognition of Patterns on Control Flows for Debugging Distributed Executions.
AADEBUG 1995: 221-232 |
| 5 | | Claude Jard,
Guy-Vincent Jourdan,
Jean-Xavier Rampon:
On-Line Computations of the Ideal Lattice of Posets.
ITA 29(3): 227-244 (1995) |
| 4 | | Eddy Fromentin,
Claude Jard,
Guy-Vincent Jourdan,
Michel Raynal:
On-The-Fly Analysis of Distributed Computations.
Inf. Process. Lett. 54(5): 267-274 (1995) |
| 1994 |
|---|
| 3 | | Guy-Vincent Jourdan,
Ivan Rival,
Nejib Zaguia:
Upward Drawing on the Plane Grid Using Less Ink.
Graph Drawing 1994: 318-327 |
| 2 | | Claude Jard,
Thierry Jéron,
Guy-Vincent Jourdan,
Jean-Xavier Rampon:
A General Approach to Trace-Checking in Distributed Computing Systems.
ICDCS 1994: 396-403 |
| 1 | | Claude Jard,
Guy-Vincent Jourdan:
On the Coding of Dependencies in Distributed Computations (Abstract).
PODC 1994: 377 |
Data released under the ODC-BY 1.0 license — See also our legal information page