Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDSylvain Hallé
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c102]Marc-Antoine Plourde, Sylvain Hallé:
Synthia: a Generic and Flexible Data Structure Generator. ICSE-Companion 2022: 207-211- [i12]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Marcos Kalinowski:
Towards Continuous Systematic Literature Review in Software Engineering. CoRR abs/2206.04177 (2022) - 2021
- [j24]Sylvain Hallé
:
Computer Simulations of Scientific Peer Reviewing. IEEE Access 9: 111595-111607 (2021) - [j23]Asma Razgallah, Raphaël Khoury, Sylvain Hallé, Kobra Khanmohammadi:
A survey of malware detection in Android apps: Recommendations and perspectives for future research. Comput. Sci. Rev. 39: 100358 (2021) - [j22]Massiva Roudjane, Djamal Rebaïne, Raphaël Khoury, Sylvain Hallé:
Detecting trend deviations with generic stream processing patterns. Inf. Syst. 101: 101446 (2021) - [j21]Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj:
The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives. J. Syst. Archit. 116: 102143 (2021) - [j20]Xavier Chamberland-Thibeault, Sylvain Hallé:
An An Empirical Study of Web Page Structural Properties. J. Web Eng. 20(4): 971-1002 (2021) - [j19]Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj:
The Botnet Simulator: A simulation tool for understanding the interaction between botnets. Softw. Impacts 10: 100173 (2021) - [j18]Raphaël Khoury, Sylvain Hallé, Yannick Lebrun:
Automata-based monitoring for LTL-FO+. Int. J. Softw. Tools Technol. Transf. 23(2): 137-154 (2021) - [c101]Sylvain Hallé, Hugo Tremblay:
Foundations of Fine-Grained Explainability. CAV (2) 2021: 500-523 - [c100]Bianca Minetto Napoleão, Katia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa:
Establishing a Search String to Detect Secondary Studies in Software Engineering. SEAA 2021: 9-16 - [c99]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic Mapping. SEAA 2021: 45-53 - [c98]Rania Taleb, Sylvain Hallé, Raphaël Khoury:
A Modular Runtime Enforcement Model Using Multi-traces. FPS 2021: 283-302 - [c97]Rania Taleb, Raphaël Khoury, Sylvain Hallé:
Runtime Verification Under Access Restrictions. FormaliSE@ICSE 2021: 31-41 - [c96]Sylvain Hallé, Raphaël Khoury:
Test Sequence Generation with Cayley Graphs. ICST Workshops 2021: 182-191 - [c95]Stéphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hallé:
Automated Repair of Layout Bugs in Web Pages with Linear Programming. ICWE 2021: 423-439 - [c94]Kun Xie, Sylvain Hallé:
Offline monitoring of LTL with bit vectors. SAC 2021: 1833-1836 - [c93]Alexis Bédard, Sylvain Hallé:
Model Checking of Stream Processing Pipelines. TIME 2021: 5:1-5:17 - [i11]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Continuous Systematic Literature Review: An Approach for Open Science. CoRR abs/2108.12922 (2021) - 2020
- [c92]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Open Source Software Development Process: A Systematic Review. EDOC 2020: 135-144 - [c91]Sylvain Hallé:
Explainable Queries over Event Logs. EDOC 2020: 171-180 - [c90]Katia Romero Felizardo, Érica Ferreira de Souza, Tamiris Malacrida, Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa:
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report. SEAA 2020: 471-478 - [c89]Raphaël Khoury, Benjamin Vignau, Sylvain Hallé, Abdelwahab Hamou-Lhadj, Asma Razgallah:
An Analysis of the Use of CVEs by IoT Malware. FPS 2020: 47-62 - [c88]Oussama Beroual, Francis Guérin, Sylvain Hallé:
Detecting Responsive Web Design Bugs with Declarative Specifications. ICWE 2020: 3-18 - [c87]Xavier Chamberland-Thibeault, Sylvain Hallé:
Structural Profiling of Web Sites in the Wild. ICWE 2020: 27-34 - [c86]Stéphane Jacquet, Sylvain Hallé:
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. IFM 2020: 387-394 - [c85]Sylvain Hallé, Hugo Tremblay:
A Generic Explainability Framework for Function Circuits. TaPP 2020 - [i10]Sylvain Hallé:
Explainable Queries over Event Logs. CoRR abs/2002.05589 (2020) - [i9]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
A Tertiary and Secondary Study Canvas. CoRR abs/2004.01315 (2020) - [i8]Kun Xie, Sylvain Hallé:
Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors. CoRR abs/2005.11737 (2020) - [i7]Bianca Minetto Napoleão, Fábio Petrillo, Sylvain Hallé:
Open Source Software Development Process: A Systematic Review. CoRR abs/2008.05015 (2020)
2010 – 2019
- 2019
- [j17]Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil:
Improving Hyperconnected Logistics With Blockchains and Smart Contracts. IT Prof. 21(4): 25-32 (2019) - [c84]Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé:
Predictive Analytics for Event Stream Processing. EDOC 2019: 171-182 - [c83]Julien Maitre, Sylvain Hallé, Kévin Bouchard, Sébastien Gaboury:
Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes. GOODTECHS 2019: 43-48 - [c82]Raphaël Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hallé, Fábio Petrillo:
TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension. ISSRE Workshops 2019: 406-413 - [c81]Michaël Larouche, Sylvain Hallé:
Efficient Generation of Test Data with Extended Cardinality Constraints. QRS 2019: 386-393 - [c80]Benjamin Vignau, Raphaël Khoury, Sylvain Hallé:
10 Years of IoT Malware: A Feature-Based Taxonomy. QRS Companion 2019: 458-465 - [i6]Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil:
Improving Hyperconnected Logistics with Blockchains and Smart Contracts. CoRR abs/1904.03633 (2019) - [i5]Bianca Minetto Napoleão, Katia Romero Felizardo, Érica Ferreira de Souza, Fábio Petrillo, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa, Sylvain Hallé:
Establishing a Search String to Detect Secondary Studies in Software Engineering. CoRR abs/1912.08861 (2019) - 2018
- [j16]Sylvain Hallé, Raphaël Khoury, Mewena Awesso:
Streamlining the Inclusion of Computer Experiments In a Research Paper. Computer 51(11): 78-89 (2018) - [j15]Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone:
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74(Part): 117-135 (2018) - [c79]Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé:
Real-Time Data Mining for Event Streams. EDOC 2018: 123-134 - [c78]Raphaël Khoury, Sylvain Hallé:
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. IRI 2018: 495-502 - [c77]Sylvain Hallé, Raphaël Khoury:
Writing Domain-Specific Languages for BeepBeep. RV 2018: 447-457 - [c76]Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury:
A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 1052-1056 - 2017
- [j14]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. Comput. Entertain. 15(1): 1:1-1:28 (2017) - [j13]Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé:
A Declarative Approach to Network Device Configuration Correctness. J. Netw. Syst. Manag. 25(1): 180-209 (2017) - [c75]Mohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé:
Monitoring of Security Properties Using BeepBeep. FPS 2017: 160-169 - [c74]Oussama Beroual, Francis Guerin, Sylvain Hallé:
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. SBST@ICSE 2017: 7-13 - [c73]Sylvain Hallé, Raphaël Khoury:
SealTest: a simple library for test sequence generation. ISSTA 2017: 392-395 - [c72]Sylvain Hallé:
LabPal: repeatable computer experiments made easy. ISSTA 2017: 404-407 - [c71]Sylvain Hallé, Raphaël Khoury:
Event Stream Processing with BeepBeep 3. RV-CuBES 2017: 81-88 - [c70]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
A Few Things We Heard About RV Tools (Position Paper). RV-CuBES 2017: 89-95 - [c69]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
Event Stream Processing with Multiple Threads. RV 2017: 359-369 - [c68]Chafik Meniar, Florence Opalvens, Sylvain Hallé:
Runtime Verification of User Interface Guidelines in Mobile Devices. RV 2017: 410-415 - [c67]Florentin Thullier, Valère Plantevin, Abdenour Bouzouane, Sylvain Hallé, Sébastien Gaboury:
A position-independent method for soil types recognition using inertial data from a wearable device. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-10 - [e8]Sylvain Hallé, Roger Villemaire, Robert Lagerström:
21st IEEE International Enterprise Distributed Object Computing Conference, EDOC 2017, Quebec City, QC, Canada, October 10-13, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-3045-3 [contents] - [e7]Sylvain Hallé, Remco M. Dijkman, James Lapalme:
21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1568-3 [contents] - [i4]Sylvain Hallé:
From Complex Event Processing to Simple Event Processing. CoRR abs/1702.08051 (2017) - [i3]Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
Event Stream Processing with Multiple Threads. CoRR abs/1707.02600 (2017) - 2016
- [j12]Kun Xie, Sébastien Gaboury, Sylvain Hallé:
Real-Time Streaming Communication With Optical Codes. IEEE Access 4: 284-298 (2016) - [j11]Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton, Oussama Beroual:
Declarative layout constraints for testing web applications. J. Log. Algebraic Methods Program. 85(5): 737-758 (2016) - [c66]Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard:
Activity Recognition Through Complex Event Processing: First Findings. AAAI Workshop: Artificial Intelligence Applied to Assistive Technologies and Smart Environments 2016 - [c65]Sylvain Hallé, Sébastien Gaboury, Raphaël Khoury:
A glue language for event stream processing. IEEE BigData 2016: 2384-2391 - [c64]Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone:
Decentralized Enforcement of Artifact Lifecycles. EDOC 2016: 1-10 - [c63]Raphaël Khoury, Sébastien Gaboury, Sylvain Hallé:
Three Views of Log Trace Triaging. FPS 2016: 179-195 - [c62]Raphaël Khoury, Sylvain Hallé, Omar Waldmann:
Execution Trace Analysis Using LTL-FO ^+. ISoLA (2) 2016: 356-362 - [c61]Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard:
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing. PETRA 2016: 3 - [c60]Giles Reger, Sylvain Hallé, Yliès Falcone:
Third International Competition on Runtime Verification - CRV 2016. RV 2016: 21-37 - [c59]Sylvain Hallé:
When RV Meets CEP. RV 2016: 68-91 - [c58]Sylvain Hallé, Oussama Beroual:
Fault Localization in Web Applications via Model Finding. CREST@ETAPS 2016: 55-67 - [i2]Yannick Lebrun, Raphaël Khoury, Sylvain Hallé:
An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. CoRR abs/1610.07080 (2016) - 2015
- [j10]Sylvain Hallé, Maxime Soucy-Boivin:
MapReduce for parallel trace validation of LTL properties. J. Cloud Comput. 4: 8 (2015) - [j9]Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard:
On piggyback runtime monitoring of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 17(2): 125-142 (2015) - [c57]Sylvain Hallé:
A Declarative Language Interpreter for CEP. EDOC Workshops 2015: 156-159 - [c56]Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement with Partial Control. FPS 2015: 102-116 - [c55]Sylvain Hallé, Raphaël Khoury:
Runtime Monitoring of Stream Logic Formulae. FPS 2015: 251-258 - [c54]Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton:
Testing Web Applications Through Layout Constraints. ICST 2015: 1-8 - [c53]Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher:
A data model for management of network device configuration heterogeneity. IM 2015: 1230-1233 - [c52]Sylvain Hallé, Edmond La Chance, Sébastien Gaboury:
Graph Methods for Generating Test Cases with Universal and Existential Constraints. ICTSS 2015: 55-70 - [c51]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
A generalized monitor verdict for log trace triaging. PCODA@SANER 2015: 13-18 - [e6]Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann:
19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9203-7 [contents] - [e5]Jens Kolb, Barbara Weber, Sylvain Hallé, Wolfgang Mayer, Aditya K. Ghose, Georg Grossmann:
19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9331-7 [contents] - [i1]Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement With Partial Control. CoRR abs/1508.06525 (2015) - 2014
- [c50]Sylvain Hallé, Simon Varvaressos:
A Formalization of Complex Event Stream Processing. EDOC 2014: 2-11 - [c49]Gabriel Le Breton, Nicolas Bergeron, Sylvain Hallé:
A Reference Framework for the Automated Exploration of Web Applications. ICECCS 2014: 81-90 - [c48]Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher:
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. ICECCS 2014: 190-193 - [c47]Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. ICST 2014: 143-152 - [c46]Sylvain Hallé, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Massé, Sébastien Gaboury:
Exhaustive Exploration of Ajax Web Applications with Selective Jumping. ICST Workshops 2014: 243-252 - [c45]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche:
Solving Equations on Words with Morphisms and Antimorphisms. LATA 2014: 186-197 - [c44]Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. RV 2014: 10-14 - [c43]Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé:
Portable Runtime Verification with Smartphones and Optical Codes. RV 2014: 80-84 - [e4]Georg Grossmann, Sylvain Hallé, Dimka Karastoyanova, Manfred Reichert, Stefanie Rinderle-Ma:
18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, Ulm, Germany, September 1-2, 2014. IEEE Computer Society 2014 [contents] - 2013
- [j8]Sylvain Hallé:
Cooperative runtime monitoring. Enterp. Inf. Syst. 7(4): 395-423 (2013) - [j7]Alexandre Blondin Massé, Sarah Desmeules, Sébastien Gaboury, Sylvain Hallé:
Multipseudoperiodic Words. Int. J. Found. Comput. Sci. 24(7): 1153-1166 (2013) - [c42]Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet:
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. EDOC Workshops 2013: 275-284 - [c41]Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui:
Distributed firewall anomaly detection through LTL model checking. IM 2013: 194-201 - [c40]Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé:
Runtime Monitoring of Temporal Logic Properties in a Platform Game. RV 2013: 346-351 - [c39]Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Solving equations on words through boolean satisfiability. SAC 2013: 104-106 - [c38]Gabriel Le Breton, Fabien Maronnaud, Sylvain Hallé:
Automated exploration and analysis of ajax web applications with WebMole. WWW (Companion Volume) 2013: 245-248 - [e3]Ebrahim Bagheri, Dragan Gasevic, Sylvain Hallé, Marek Hatala, Hamid R. Motahari Nezhad, Manfred Reichert:
17th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Vancouver, BC, Canada, September 9-13, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3048-7 [contents] - [e2]Domenico Bianculli, Sam Guinea, Sylvain Hallé, Andrea Polini:
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013. ACM 2013, ISBN 978-1-4503-2182-2 [contents] - 2012
- [j6]Roger Villemaire, Sylvain Hallé:
Reasoning about visibility. J. Appl. Log. 10(2): 163-178 (2012) - [j5]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca:
A Logical Approach to Data-Aware Automated Sequence Generation. Trans. Comput. Sci. 15: 192-216 (2012) - [j4]Sylvain Hallé, Roger Villemaire:
Runtime Enforcement of Web Service Message Contracts with Data. IEEE Trans. Serv. Comput. 5(2): 192-206 (2012) - [c37]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé:
Pseudoperiodic Words. Developments in Language Theory 2012: 308-319 - [c36]Sylvain Hallé, Roger Villemaire:
Constraint-based invocation of stateful web services: The beep store (case study). PESOS@ICSE 2012: 61-62 - [c35]Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé:
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. ICST 2012: 499-508 - [c34]Sylvain Hallé, Raphaël Tremblay-Lessard:
A Case for "Piggyback" Runtime Monitoring. ISoLA (1) 2012: 295-311 - [c33]Bassam Khorchani, Sylvain Hallé, Roger Villemaire:
Firewall anomaly detection with a model checker for visibility logic. NOMS 2012: 466-469 - [c32]Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire:
ValidMaker: A tool for managing device configurations using logical constraints. NOMS 2012: 1111-1118 - [c31]Sylvain Hallé, Omar Cherkaoui, Petko Valtchev:
Towards a semantic virtualization of configurations. NOMS 2012: 1268-1271 - [c30]Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet:
BabelTrace: A Collection of Transducers for Trace Validation. RV 2012: 126-130 - [c29]Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé:
MapReduce for Parallel Trace Validation of LTL Properties. RV 2012: 184-198 - [c28]Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé:
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. WS-FM 2012: 103-117 - 2011
- [j3]Dragan Gasevic, Georg Grossmann, Sylvain Hallé:
Guest Editorial. J. Res. Pract. Inf. Technol. 43(1): 1-4 (2011) - [c27]Dragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg:
Message from the EVL-BP 2011 Workshop Chairs. EDOCW 2011: 143-145 - [c26]Sylvain Hallé:
Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". EDOC 2011: 171-180 - [c25]Sylvain Hallé:
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. ICECCS 2011: 95-104 - 2010
- [j2]Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire:
Runtime Verification of Web Service Interface Contracts. Computer 43(3): 59-66 (2010) - [c24]Sylvain Hallé:
Cooperative Runtime Monitoring of LTL Interface Contracts. EDOC 2010: 227-236 - [c23]Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan:
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. ASE 2010: 235-244 - [c22]Sylvain Hallé, Roger Villemaire:
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV 2010: 106-121 - [c21]Sylvain Hallé, Tevfik Bultan:
Realizability analysis for message-based interactions using shared-state projections. SIGSOFT FSE 2010: 27-36 - [c20]Sylvain Hallé:
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. WS-FM 2010: 42-55 - [e1]Gwen Salaün, Xiang Fu, Sylvain Hallé:
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. EPTCS 35, 2010 [contents]