


Остановите войну!
for scientists:
Sylvain 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]